439 search results - page 41 / 88 » On Aperiodic Trace Languages |
CSSE
2008
IEEE
13 years 9 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
ANSS
2006
IEEE
14 years 1 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
ER
2007
Springer
13 years 9 months ago
2007
Springer
The health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clini...
PERVASIVE
2010
Springer
13 years 9 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
We propose the demonstration of SP4, a software-based programmable packet processing platform that supports (1) stateful packet processing useful for analyzing traffic flows wit...