1888 search results - page 244 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
159
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
132
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
The Semantic Web (SW) offers an opportunity to develop novel, sophisticated forms of question answering (QA). Specifically, the availability of distributed semantic markup on a lar...
143
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a system deployed on parallel clusters to manage a collection of parallel simulations that make up a computational study. It explores how such a system can ext...
123
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
138
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...