2638 search results - page 385 / 528 » Frameworks for Reasoning about Agent Based Systems |
161
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
157
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
153
click to vote
COMCOM
2000
15 years 6 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
137
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...
184
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we empirically evaluate fundamental design trade-offs among the most recent multicore processors and accelerator technologies. Our primary aim is to aid application...