259 search results - page 26 / 52 » Model-based Generation of a Requirements Monitor |
TELECARE
2004
13 years 9 months ago
2004
In this article we present the main features of Aingeru, a system that provides a new kind of tele assistance service. The purpose of developing Aingeru has been to overcome the ma...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Computing grids require the underlying network infrastructure to be properly configured in order to have appropriate communications among the grids’ nodes. The management of ne...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...
PERCOM
2009
ACM
14 years 8 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper discusses the problem of generating patrol paths for a team of mobile robots inside a designated target area. Patrolling requires an area to be visited repeatedly by...