9842 search results - page 96 / 1969 » Compositional timing analysis |
ARTS
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
The use of high performance composite materials provides a substantial performance improvement for microrobotics. Such materials have great benefits over common MEMs materials su...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
We present a Web service composition approach that relies on three selection criteria: execution cost, execution time, and location of provider hosts. A Web service is an accessibl...
FORTE
2008
13 years 10 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...