Sciweavers

68 search results - page 3 / 14
» Rule-Based Composition Behaviors in Dynamic Plug-In Systems
Sort
View
RTCSA
1997
IEEE
13 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
SIGMOD
2005
ACM
153views Database» more  SIGMOD 2005»
14 years 7 months ago
Tools for composite web services: a short overview
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
Richard Hull, Jianwen Su
DEXAW
2005
IEEE
132views Database» more  DEXAW 2005»
14 years 1 months ago
A Decentralized Agent Framework for Dynamic Composition and Coordination for Autonomic Applications
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...
Zhen Li, Manish Parashar
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
13 years 2 months ago
Sufficient conditions for flocking via graph robustness analysis
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
Samuel Martin, Antoine Girard
ER
2010
Springer
144views Database» more  ER 2010»
13 years 6 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...