Sciweavers

6199 search results - page 397 / 1240
» Monitoring the
Sort
View
SCP
2002
98views more  SCP 2002»
15 years 6 months ago
Reasoning about real-time repetitions: terminating and nonterminating
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to suppo...
Ian J. Hayes
SIGCSE
2002
ACM
128views Education» more  SIGCSE 2002»
15 years 6 months ago
The well-tempered semaphore: theme with variations
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...
Kenneth A. Reek
TJS
2002
118views more  TJS 2002»
15 years 6 months ago
The MAGNeT Toolkit: Design, Implementation and Evaluation
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
Wu-chun Feng, Mark K. Gardner, Jeffrey R. Hay
IHI
2010
219views Healthcare» more  IHI 2010»
15 years 1 months ago
Conditional random fields for activity recognition in smart environments
One of the most common functions of smart environments is to monitor and assist older adults with their activities of daily living. Activity recognition is a key component in this...
Ehsan Nazerfard, Barnan Das, Lawrence B. Holder, D...
TOPNOC
2010
15 years 1 months ago
On-the-Fly Auditing of Business Processes
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Ja...