372 search results - page 55 / 75 » From Data to Events: Checking Properties on the Control of a... |
SUTC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
MIDDLEWARE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...
CL
2002
Springer
13 years 8 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
SACMAT
2010
ACM
13 years 7 months ago
2010
ACM
Role mining from the existing permissions has been widely applied to aid the process of migrating to an RBAC system. While all permissions are treated evenly in previous approache...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper presents a system for video object generation and selective encoding with applications in surveillance, mobile videophones, and automotive industry. Object tracking and...