285 search results - page 30 / 57 » Towards a Compositional Approach to the Design and Verificat... |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
STEP
2003
IEEE
14 years 1 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
TSMC
2010
13 years 3 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
ISM
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
USENIX
2000
13 years 9 months ago
2000
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...