1164 search results - page 118 / 233 » Case Studies in Event-Driven Control |
153
click to vote
COOP
2004
15 years 5 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
139
click to vote
WICSA
2004
15 years 5 months ago
2004
Research domains such as active networks, ad-hoc networks, ubiquitous computing, pervasive computing, grid computing, and sensor networks, clearly show that computer networks will...
124
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
119
click to vote
MOVEP
2000
15 years 8 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
156
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...