3387 search results - page 555 / 678 » Model-Checking for Real-Time Systems |
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
118
Voted
SOSP
1997
ACM
15 years 2 months ago
1997
ACM
Real-time applications such as multimedia audio and video are increasingly populating the workstation desktop. To support the execution of these applications in conjunction with t...
104
click to vote
DAGSTUHL
2010
15 years 1 months ago
2010
Abstract. We present an interactive, real-time mapping system for digital elevation maps (DEMs), which allows Earth scientists to map and therefore understand the deformation of th...
105
Voted
RECSYS
2010
ACM
15 years 29 days ago
2010
ACM
The so-called real-time web (RTW) is a web of opinions, comments, and personal viewpoints, often expressed in the form of short, 140-character text messages providing abbreviated ...
125
Voted
CASES
2010
ACM
14 years 10 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...