1268 search results - page 214 / 254 » Verifying distributed systems: the operational approach |
121
click to vote
ICAC
2007
IEEE
15 years 8 months ago
2007
IEEE
As the use of virtualization and partitioning grows, it becomes possible to deploy a multi-tier web-based application with a variable amount of computing power. This introduces th...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
JSAC
2007
15 years 1 months ago
2007
— Vehicular Networks (VNs) are emerging, among civilian applications, as a convincing instantiation of the mobile networking technology. However, security is a critical factor an...
118
click to vote
JUCS
2010
15 years 11 days ago
2010
: This paper presents an agent-based system for building and operating agent-based context-aware services in public spaces, including museums. The system provides users with agents...