907 search results - page 24 / 182 » Monitoring of Real-Time Properties |
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
Increasingly, a number of applications across computer sciences and other science and engineering disciplines rely on, or can potentially benefit from, analysis and monitoring of d...
USENIX
2001
13 years 9 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
WSC
1997
13 years 9 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
IKE
2010
13 years 5 months ago
2010
Real-time information dissemination is essential for the success of key applications such as transportation management and battlefield monitoring. In these applications, relevant ...
HCI
2009
13 years 5 months ago
2009
Due to its convenient, low physical restraint, and electric noise tolerant features, functional near-infrared spectroscopy (fNIRS) is expected to be a useful tool in monitoring use...