322 search results - page 12 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
ICPR
2006
IEEE
14 years 1 months ago
2006
IEEE
We describe an efficient and robust method of tracking human forearms as skin colored regions. Of special consideration in the design of this system are real-time and robustness ...
COORDINATION
2010
Springer
13 years 10 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
GAMEON
2003
13 years 8 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
FIDJI
2003
Springer
14 years 21 days ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
ARTS
1997
Springer
13 years 11 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...