2024 search results - page 105 / 405 » A Formal Model of Multi-agent Computations |
123
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
166
click to vote
CCS
2010
ACM
15 years 10 months ago
2010
ACM
Secure provenance that records ownership and process history of data objects is vital to the success of data forensics in cloud computing, yet it is still a challenging issue toda...
129
click to vote
AAAI
2004
15 years 5 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
125
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
158
click to vote
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...