285 search results - page 28 / 57 » Towards a Compositional Approach to the Design and Verificat... |
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...
WOODPECKER
2001
13 years 9 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
AGENTS
2000
Springer
14 years 25 days ago
2000
Springer
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...