435 search results - page 38 / 87 » A Model-based Simulation Approach to Error Analysis of IT Se... |
CCR
2004
13 years 8 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
In this paper, a new control approach for real time speed synchronization of multiple induction motors during speed acceleration and load changes is developed. The control strategy...
ICWS
2010
IEEE
13 years 10 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...
AP2PC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
TON
2002
13 years 8 months ago
2002
Abstract--Research on congestion-control algorithms has traditionally focused more on performance than on robustness of the closed-loop system to changes in network conditions. As ...