7960 search results - page 1227 / 1592 » Systems for Knowledge and Beliefs |
196
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
204
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
180
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
206
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery...
201
Voted
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. E-Learning grows on the fertile soil of the Internet technologies; it fails, however, to reach their full potential. With new, emerging technologies of the second generat...