1097 search results - page 126 / 220 » Sequential Object Monitors |
151
click to vote
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
121
click to vote
CCE
2004
15 years 3 months ago
2004
Early detection of process disturbances and prediction of malfunctions in process equipment improve the safety of the process, minimize the time and resources needed for maintenan...
125
Voted
AAI
1999
1999
Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control
15 years 3 months ago
This paper describes Steve, an animated agent that helps students learn to perform physical, procedural tasks. The student and Steve cohabit a three-dimensional, simulated mock-up...
140
click to vote
TSMC
2008
15 years 2 months ago
2008
This paper presents an integrated approach for Web-based collaborative manufacturing, including distributed process planning, dynamic scheduling, real-time monitoring, and remote c...
145
click to vote
JUCS
2010
15 years 1 months ago
2010
: Telco operators and other players are searching for intelligent value-added services, i.e., communication applications that take advantage of the huge amount of user data availab...