250 search results - page 34 / 50 » Implementing a Control System Framework for Automatic Genera... |
150
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
148
Voted
CL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
159
Voted
HPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
129
Voted
SSS
2010
Springer
15 years 15 days ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
169
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...