1980 search results - page 298 / 396 » Compositional Model Checking of Real Time Systems |
172
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
106
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
144
click to vote
ICS
1993
Tsinghua U.
15 years 7 months ago
1993
Tsinghua U.
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
147
click to vote
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
117
click to vote
HAPTICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Multi-fingers haptic device that enables multiple point of contact is essential for medical education. There is a strong need for palpation training in the detection of subsurface...