Sciweavers

3121 search results - page 253 / 625
» Information Survivability Control Systems
Sort
View
HYBRID
2005
Springer
16 years 3 days ago
A Homology Theory for Hybrid Systems: Hybrid Homology
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
Aaron D. Ames, Shankar Sastry
WOA
2010
15 years 4 months ago
A Context Aware Multi-robot Coordination System Based on Agent Technology
This paper presents an approach for multi-robot coordination based both on coordinated navigation and task allocation method. An ad hoc agent based architecture is defined in order...
Alberto Grosso, Davide Anghinolfi, Antonio Boccala...
AVSS
2006
IEEE
16 years 19 days ago
An Active Head Tracking System for Distance Education and Videoconferencing Applications
We present a system for automatic head tracking with a single pan-tilt-zoom (PTZ) camera. In distance education the PTZ tracking system developed can be used to follow a teacher a...
Sami Huttunen, Janne Heikkilä
COMPSAC
2002
IEEE
15 years 11 months ago
Renaissance: A Method to Support Software System Evolution
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...
Ian Warren, Jane Ransom
SP
2009
IEEE
101views Security Privacy» more  SP 2009»
16 years 1 months ago
Noninterference for a Practical DIFC-Based Operating System
The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be implemented as a practical ...
Maxwell N. Krohn, Eran Tromer