Sciweavers

3747 search results - page 361 / 750
» Active Operations on Collections
Sort
View
AHS
2007
IEEE
269views Hardware» more  AHS 2007»
16 years 1 months ago
Automatic Synthesis of Fault Detection Modules for Mobile Robots
In this paper, we present a new approach for automatic synthesis of fault detection modules for autonomous mobile robots. The method relies on the fact that hardware faults typica...
Anders Lyhne Christensen, Rehan O'Grady, Mauro Bir...
CEC
2007
IEEE
16 years 1 months ago
AIS for misbehavior detection in wireless sensor networks: Performance and design principles
— A sensor network is a collection of wireless devices that are able to monitor physical or environmental conditions. These devices are expected to operate autonomously, be batte...
Martin Drozda, Sven Schaust, Helena Szczerbicka
ICSM
2007
IEEE
16 years 1 months ago
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
Thomas Østerlie, Alf Inge Wang
APNOMS
2007
Springer
16 years 26 days ago
Measurement Analysis of IP-Based Process Control Networks
This paper presents a measurement study of the traffic traces from the industrial process control IP networks. We present some interesting and unique traffic characteristics of the...
Young J. Won, Mi-Jung Choi, Myung-Sup Kim, Hong-Su...
ICLP
2007
Springer
16 years 25 days ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub