182 search results - page 33 / 37 » Design by Contract Deontic Design Language for Multiagent Sy... |
88
Voted
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
116
click to vote
ATAL
2007
Springer
15 years 1 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...
115
click to vote
ASPLOS
1987
ACM
15 years 3 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...
106
Voted
OSDI
1996
ACM
15 years 28 days ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...