標(biāo)題: Titlebook: Reachability Problems; 10th International W Kim Guldstrand Larsen,Igor Potapov,Ji?í Srba Conference proceedings 2016 Springer International [打印本頁] 作者: ATE 時(shí)間: 2025-3-21 16:09
書目名稱Reachability Problems影響因子(影響力)
作者: V切開 時(shí)間: 2025-3-22 00:05
Alain Finkelem requirement is ill suited to develop true requirements for such systems. It regards requirements as goals to be discovered and solutions as separate technical elements. In consequence, current Requirements Engineering (RE) theory separates these issues and reduces RE to an activity where a techni作者: condone 時(shí)間: 2025-3-22 00:25
Axel Legay,Sean Sedwards,Louis-Marie Traonouez up the architectural metaphor quite literally, borrowing its key notions from Christopher Alexander, an innovative master builder of houses, neighborhoods, and towns. However, the software industry has missed the obvious: that architecture is a secondary concern that precipitates from the structure作者: Camouflage 時(shí)間: 2025-3-22 08:15 作者: 玷污 時(shí)間: 2025-3-22 08:56 作者: 輕觸 時(shí)間: 2025-3-22 14:30
Giorgio Delzannoanized by INSTICC (Institute for Systems and Technologies of Information, Communication and Control) in collaboration with FLORIDA INTERNATIONAL UNIVERSITY, who hosted the event. Following the route started in 1999, ICEIS has become a major point of contact between research scientists, engineers and作者: garrulous 時(shí)間: 2025-3-22 17:49 作者: 形容詞詞尾 時(shí)間: 2025-3-23 00:10 作者: MOAN 時(shí)間: 2025-3-23 01:54
Sam A. M. Jones,Richard M. Thomasfacilitate utilization of information on the Web. XML has become the new standard for semi-structured data exchange over the Web. In this paper, therefore, we study the XML web warehouse and propose an approach to the problems of change detection and warehouse maintenance in an XML web warehouse sys作者: offense 時(shí)間: 2025-3-23 09:06 作者: Cognizance 時(shí)間: 2025-3-23 12:56
Adrien Le Co?nt,Laurent Fribourg,Romain Soulatorks explaining enterprises from the innovation system perspective. The book is based on the existing literature involving national innovation system, regional innovation system, and industrial/sectional innovation system and reviews intra-organizational innovation system researches and inter-organi作者: cuticle 時(shí)間: 2025-3-23 16:01
Matthew Hague,Anthony Widjaja Lin 140 7. 3. 2 The metadatabase as the GlobaVEnterprise Schema 142 8 THE GLOBAL QUERY SYSTEM 145 8. 1 MODEL ASSISTED GLOBAL QUERY 145 8. l. l The Need for Metadata Support 145 8. l. 2 User Interface for Query Formulation 147 8. 1. 3 Integrated Schema for Global Query 147 8. 2 THE CONCEPTUAL MODEL 148 作者: 歡樂中國 時(shí)間: 2025-3-23 21:24
Reino Niskanen 140 7. 3. 2 The metadatabase as the GlobaVEnterprise Schema 142 8 THE GLOBAL QUERY SYSTEM 145 8. 1 MODEL ASSISTED GLOBAL QUERY 145 8. l. l The Need for Metadata Support 145 8. l. 2 User Interface for Query Formulation 147 8. 1. 3 Integrated Schema for Global Query 147 8. 2 THE CONCEPTUAL MODEL 148 作者: 掙扎 時(shí)間: 2025-3-24 00:58
Igor Potapov,Olena Prianychnykova,Sergey Verlanonal consen- sus (IC) and public awareness on enterprise integration. In these proceedings we intend to present the current status in inter- and intra-organisational inte- gration for electronic commerce and thereby to further increase awareness and consensus within academia and industry about enter作者: pacific 時(shí)間: 2025-3-24 03:41
onal consen- sus (IC) and public awareness on enterprise integration. In these proceedings we intend to present the current status in inter- and intra-organisational inte- gration for electronic commerce and thereby to further increase awareness and consensus within academia and industry about enter作者: AGGER 時(shí)間: 2025-3-24 09:34
o-incident factor of the reference event of interest. We define the event as positive direction of data change or negative direction of data change above a threshold value. From these patterns we infer predisposing and co-incident factors with respect to a reference variable. For this purpose we stu作者: ADOPT 時(shí)間: 2025-3-24 12:33
Alain Finkelis leads to equate requirements engineering with heterogeneous engineering. The admitted heterogeneity of technological activity avoids a commitment to social (or technological) reductionism. Requirements engineers need to be seen as “heterogeneous engineers” who must associate entities that range f作者: Synovial-Fluid 時(shí)間: 2025-3-24 16:43
Axel Legay,Sean Sedwards,Louis-Marie Traonouezure of software exists more to serve those who build it than those who use it. This parallel has been shifting, but not on the software side: modern buildings, driven more by technology that make it possible to create 100-foot spans on the ground floor of a skyscraper, pay homage to the technology t作者: 借喻 時(shí)間: 2025-3-24 21:42 作者: 未開化 時(shí)間: 2025-3-25 00:38 作者: 不容置疑 時(shí)間: 2025-3-25 04:56
Giorgio Delzannoficial Intelligence and Decision Support Systems”, “Information Systems Analysis and Specification”, “Software Agents and Internet Computing” and “Human-Computer Interaction”. The sections of this book reflect the conference tracks. ICEIS 2005 received 459 paper submissions from 41 different countri作者: 破譯 時(shí)間: 2025-3-25 09:40
Thomas Geffroy,Jér?me Leroux,Grégoire Sutreficial Intelligence and Decision Support Systems”, “Information Systems Analysis and Specification”, “Software Agents and Internet Computing” and “Human-Computer Interaction”. The sections of this book reflect the conference tracks. ICEIS 2005 received 459 paper submissions from 41 different countri作者: 返老還童 時(shí)間: 2025-3-25 14:15 作者: 欲望小妹 時(shí)間: 2025-3-25 19:23
Sam A. M. Jones,Richard M. Thomasthe web warehouse. We compared our approach with a rewriting approach to storage and maintenance of the XML web warehouse by experiments. Performance evaluation shows that our approach is more efficient than the rewriting approach in terms of the response time and storage space of the web warehouse.作者: 危機(jī) 時(shí)間: 2025-3-25 21:43 作者: 條約 時(shí)間: 2025-3-26 03:45 作者: DEAF 時(shí)間: 2025-3-26 06:45
Matthew Hague,Anthony Widjaja Linel of ROPE 167 9. 2. 2 The Static Structure of ROPE 169 9. 2. 3 The Dynamic Structure of ROPE 173 9. 3 THE OPERATION OF ROPE 174 9. 3. 1 Rule Processing Operations 174 9. 3. 2 Knowledge Management Operations 176 9. 4 IMPLEMENTATION: ALABORATORYEIM 177 9. 5 SATISFACTION OF ElM REQUIREMENTS 180 10 MAN作者: 頭腦冷靜 時(shí)間: 2025-3-26 09:23
Reino Niskanenel of ROPE 167 9. 2. 2 The Static Structure of ROPE 169 9. 2. 3 The Dynamic Structure of ROPE 173 9. 3 THE OPERATION OF ROPE 174 9. 3. 1 Rule Processing Operations 174 9. 3. 2 Knowledge Management Operations 176 9. 4 IMPLEMENTATION: ALABORATORYEIM 177 9. 5 SATISFACTION OF ElM REQUIREMENTS 180 10 MAN作者: Cardioversion 時(shí)間: 2025-3-26 13:01
Plain, Bounded, Reversible, Persistent, and ,-marked Petri Nets Have Marked Graph Reachability Grapked graph Petri nets. This characterisation involves the notion of backward persistence, i.e., persistence in the reverse reachability graph, as well as some other properties which are true in the given context. The technical contribution of this paper is to prove that backward persistence is implie作者: 阻撓 時(shí)間: 2025-3-26 17:08
Characterizing Word Problems of Groups, We choose some natural conditions that apply to word problems and then characterize which sets of these conditions are sufficient to guarantee that the language in question really is the word problem of a group. We finish by investigating the decidability of these conditions for the families of reg作者: Heresy 時(shí)間: 2025-3-26 23:44
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism,at reachability becomes NP-complete. In fact, it is poly-time reducible to satisfaction over existential Presburger formulas, which allows one to tap into highly optimised SMT solvers. Our decidable approximation strictly generalises known decidable models including (i) weakly-synchronised ground-tr作者: parallelism 時(shí)間: 2025-3-27 02:14 作者: averse 時(shí)間: 2025-3-27 09:16 作者: 無彈性 時(shí)間: 2025-3-27 12:25 作者: 刺耳的聲音 時(shí)間: 2025-3-27 14:25
Distributed Synthesis of State-Dependent Switching Control,s method can be performed in a distributed manner. The method has been implemented and successfully applied to the synthesis of a distributed control of a concrete floor heating system with 11 rooms and . switching modes.作者: Gingivitis 時(shí)間: 2025-3-27 21:41 作者: RAG 時(shí)間: 2025-3-27 23:00 作者: neolith 時(shí)間: 2025-3-28 06:05 作者: 六邊形 時(shí)間: 2025-3-28 07:44 作者: minion 時(shí)間: 2025-3-28 13:53
On the Complexity of Resource-Bounded Logics,extension of RBTL with arbitrary path formulae), namely .-complete, proving a new decidability result as a by-product of the approach. Finally, we establish that the model-checking problem for RB.ATL. is decidable by a reduction to parity games, and show how to synthesise values for resource parameters.作者: 收到 時(shí)間: 2025-3-28 18:16
Robot Games with States in Dimension One,problem is to decide whether or not Eve has a winning strategy. In this paper we prove that deciding the winner in a robot game with states in dimension one is .-complete. Additionally we study a subclass of robot games with states where deciding the winner is in ..作者: Dislocation 時(shí)間: 2025-3-28 18:49 作者: 圓柱 時(shí)間: 2025-3-29 00:48 作者: 積極詞匯 時(shí)間: 2025-3-29 05:05 作者: bypass 時(shí)間: 2025-3-29 09:19
0302-9743 rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms..978-3-319-45993-6978-3-319-45994-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Affection 時(shí)間: 2025-3-29 11:49
The Ideal Theory for WSTS,in new deep results on Petri nets and extensions. We argue that the theory of ideals prompts a renewal of the theory of WSTS by providing a way to define a new class of monotonic systems, the so-called Well Behaved Transition Systems, which properly contains WSTS, and for which coverability is still作者: Friction 時(shí)間: 2025-3-29 18:09
On the Complexity of Resource-Bounded Logics,he complexity of (decidable) model-checking problems. We show that the model-checking problem for the logic RB.ATL is .-complete by using recent results on alternating VASS. In addition, we establish that the model-checking problem for RBTL is decidable and has the same complexity as for RBTL. (the 作者: HIKE 時(shí)間: 2025-3-29 20:18 作者: CAPE 時(shí)間: 2025-3-30 03:34
Reachability Predicates for Graph Assertions,age for reasoning about infinite sets of graph configurations in which we use reachability predicates to specify paths of arbitrary length. For the considered assertional language and a restricted class of update rules, we define a symbolic procedure to compute predecessor configurations.作者: 艱苦地移動(dòng) 時(shí)間: 2025-3-30 07:02 作者: 同義聯(lián)想法 時(shí)間: 2025-3-30 08:37
Safety Property-Driven Stubborn Sets,the safety property that is being verified. Typical earlier methods only take the property into account in one state of each cycle or in one state of each terminal strong component of the reduced state space. They may fire totally irrelevant transitions in the other states. Where the property is tak作者: 隼鷹 時(shí)間: 2025-3-30 13:14
Characterizing Word Problems of Groups,s of the group that represent the identity element of the group. This definition allows us to consider a word problem as a formal language and a rich topic of research concerns the connection between the complexity of this language and the algebraic structure of the corresponding group..Another inte作者: archenemy 時(shí)間: 2025-3-30 16:58
Distributed Synthesis of State-Dependent Switching Control,the state space, the method builds a capture set . and a control which steers any element of . into .. The method works by iterated backward reachability from .. More precisely, . is given as a parametric extension of ., and the maximum value of the parameter is solved by linear programming. The met作者: deactivate 時(shí)間: 2025-3-31 00:13
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations,olean network (BN). This merely consists in replacing a global fixed-point computation by a composition of local fixed-point computations. Once these approximations have been computed, it becomes much more tractable to generate the exact sets of attractors and basins of attraction. We illustrate the作者: 澄清 時(shí)間: 2025-3-31 04:30
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism, integer variables. Since the threads in each program configuration are structured in a hierarchical fashion, our model is state-extended ground-tree rewrite systems equipped with shared unbounded integer counters that can be incremented, decremented, and compared against an integer constant. Since
