Sciweavers

3785 search results - page 352 / 757
» Immune System Based Intrusion Detection System
Sort
View
ICFEM
2009
Springer
16 years 1 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
ADAEUROPE
2005
Springer
16 years 11 days ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...
166
Voted
DSOM
2004
Springer
16 years 6 days ago
Autonomous Management of Clustered Server Systems Using JINI
Abstract. A framework for the autonomous management of clustered server systems called LAMA1 (Large-scale system’s Autonomous Management Agent) is proposed in this paper. LAMA is...
Chul Lee, Seung Ho Lim, Sang Seok Lim, Kyu Ho Park
ROBOCUP
2004
Springer
116views Robotics» more  ROBOCUP 2004»
16 years 5 days ago
Using Layered Color Precision for a Self-Calibrating Vision System
This paper presents a vision system for robotic soccer which was tested on Sony’s four legged robot Aibo. The input for the vision system are images of the camera and the sensor ...
Matthias Jüngel
ISSTA
2009
ACM
15 years 11 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel