70 search results - page 10 / 14 » Combining Monitors for Runtime System Verification |
ICALP
2003
Springer
13 years 12 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
ICMCS
1999
IEEE
13 years 11 months ago
1999
IEEE
The Distributed Video Server (DVS) system provides a comprehensive solution for the management and distribution of a major future electronic commodity service, Video on Demand (VO...
SAS
2009
Springer
14 years 7 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...
ICIP
2008
IEEE
14 years 8 months ago
2008
IEEE
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...