3515 search results - page 598 / 703 » On the semantics of Strategy Logic |
294
click to vote
LICS
2003
IEEE
16 years 13 days ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
165
click to vote
CSFW
2002
IEEE
16 years 3 days ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
179
click to vote
DATE
2002
IEEE
16 years 3 days ago
2002
IEEE
As technology scales toward deep submicron, on-chip interconnects are becoming more and more sensitive to noise sources such as power supply noise, crosstalk, radiation induced ef...
189
click to vote
ESWS
2010
Springer
15 years 12 months ago
2010
Springer
The sizes of datasets available as RDF (e.g., as part of the Linked Data cloud) are increasing continuously. For instance, the recent DBpedia version consists of nearly 500 million...
187
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...