1024 search results - page 42 / 205 » Compositional Methods for Probabilistic Systems |
112
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
108
click to vote
FORTE
2004
15 years 2 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
100
click to vote
ICDCSW
2000
IEEE
15 years 4 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
110
click to vote
SSS
2009
Springer
15 years 5 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
GCC
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...