1980 search results - page 127 / 396 » Compositional Model Checking of Real Time Systems |
131
click to vote
SCP
2010
15 years 3 days ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
120
click to vote
PADS
2009
ACM
15 years 8 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
119
click to vote
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
123
click to vote
CCGRID
2009
IEEE
15 years 8 months ago
2009
IEEE
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
125
Voted
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...