813 search results - page 113 / 163 » Correctness Properties for Multiagent Systems |
128
Voted
GRAPHITE
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we describe a real-time system for AR/MR rendering applications in a painterly style. Impressionistic images are created using a large number of brush strokes, which...
130
Voted
FAST
2007
15 years 5 months ago
2007
This paper presents the design, implementation, and evaluation of CATS, a network storage service with strong accountability properties. A CATS server annotates read and write res...
134
Voted
MMMACNS
2005
Springer
15 years 9 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
120
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
146
Voted
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...