2273 search results - page 221 / 455 » On the Expressiveness and Complexity of ATL |
169
click to vote
TRIDENTCOM
2006
IEEE
16 years 17 days ago
2006
IEEE
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
151
click to vote
APLAS
2006
ACM
16 years 16 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
135
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signi...
158
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
179
click to vote
DASFAA
2005
IEEE
16 years 5 days ago
2005
IEEE
: Semi-structured data has become more and more attention-getting with the emergence of XML, and it has aroused much enthusiasm for integrating XML and SQL in database community. D...