4434 search results - page 770 / 887 » On the Composition of Hybrid Systems |
190
click to vote
AICT
2006
IEEE
16 years 15 days ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
169
click to vote
HICSS
2006
IEEE
16 years 14 days ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
165
click to vote
ICPP
2006
IEEE
16 years 14 days ago
2006
IEEE
We present an analytic performance model of a largescale hydrodynamics code developed at Los Alamos National Laboratory. This modeling work is part of an ongoing effort to develop...
183
click to vote
RTAS
2006
IEEE
16 years 13 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
175
click to vote
CONEXT
2006
ACM
16 years 12 days ago
2006
ACM
In the context of a reconfigurable transport protocol, this paper introduces two protocol instances based on the composition and specialisation of the TFRC congestion control and...