882 search results - page 8 / 177 » Analysis of Composite Corridors |
HPCC
2007
Springer
14 years 14 days ago
2007
Springer
Abstract. Service composition, which enables users to construct complex services from atomic services, is an essential feature for the usability of Mobile Ad hoc Networks (MANETs)....
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
PASTE
1998
ACM
14 years 5 days ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
The Web services technology allows for easy creation of complex applications consisting of smaller components - Web services. This article performs an in-depth analysis of a Web s...