259 search results - page 28 / 52 » Model-based Generation of a Requirements Monitor |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
ENGL
2007
13 years 7 months ago
2007
– This paper analyses the results obtained when different topologies of 1-Dimensional Kohonen Networks where used to classify color pictures taken to Popocatépetl Volcano (locat...
COMSWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Wireless sensor networks (WSNs) promise finegrain monitoring in a wide variety of applications, which require dense sensor nodes deployment. Due to high density of nod...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
The emergence of large-scale receptor-based systems has enabled applications to execute complex business logic over data generated from monitoring the physical world. An important...