805 search results - page 131 / 161 » On the Semantics of Conditional Commitment |
125
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
101
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
In open MAS it is often a problem to achieve agents' interoperability. The heterogeneity of its components turns the establishment of interaction or cooperation among them in...
101
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specific...
SAS
2007
Springer
15 years 8 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...