2632 search results - page 206 / 527 » Alternating Timed Automata |
119
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
124
click to vote
WEA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider how to maintain the topological order of a directed acyclic graph (DAG) in the presence of edge insertions and deletions. We present a new algorithm and, alth...
122
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...
107
click to vote
WSC
2008
15 years 6 months ago
2008
To prepare for the event of bioterrorism, which could spread contagious disease such as anthrax, plague, smallpox, or tularemia to public, local governments in the United States a...
129
click to vote
BC
2007
15 years 4 months ago
2007
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...