8644 search results - page 84 / 1729 » On the Composition of Secure Systems |
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper presents a new method for planning motions of multi-arm systems in constrained workspaces, for which state-of-the-art planners behave poorly. The method is based on ...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...
ICHIM
2001
13 years 10 months ago
2001
The employment of artificial intelligence techniques for supporting activities traditionally performed by humans and considered as creative has increasingly spread in recent years...
ENTCS
2002
13 years 8 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...