E-Books durchsuchen

Formal Techniques for Distributed Systems [2010]

1
Formal Software Verification: How Close Are We?
2
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
17
Reactive Semantics for Distributed UML Activities
32
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
47
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
63
Testing Probabilistic Distributed Systems
78
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
87
Testing Attribute-Based Transactions in SOC
95
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
110
Forgetting the Time in Timed Process Algebra
125
Theory and Implementation of a Real-Time Extension to the <Emphasis Type="Italic">π</Emphasis>-Calculus
140
Fuzzy-Timed Automata
155
Model Checking of Hybrid Systems Using Shallow Synchronization
170
Heap-Dependent Expressions in Separation Logic
186
Static Type Analysis of Pattern Matching by Abstract Interpretation
201
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols
216
On Efficient Models for Model Checking Message-Passing Distributed Protocols
224
Logics for Contravariant Simulations
Feedback