3387 search results - page 555 / 678 » Model-Checking for Real-Time Systems |
102
Voted
ATAL
2006
Springer
15 years 6 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...
136
click to vote
SOSP
1997
ACM
15 years 3 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...
125
Voted
DAGSTUHL
2010
15 years 3 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...
121
click to vote
RECSYS
2010
ACM
15 years 2 months 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 ...
140
Voted
CASES
2010
ACM
15 years 17 days 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...