Sciweavers

4949 search results - page 671 / 990
» Consistency and Set Intersection
Sort
View
ISCC
2006
IEEE
127views Communications» more  ISCC 2006»
16 years 21 days ago
Aggregating Distributed Sensor Data for Network Intrusion Detection
Distributed network intrusion detection systems which incorporate tens, hundreds, even thousands, of sensors are becoming increasing popular. Managing and presenting the informati...
John C. McEachen, Cheng Kah Wai, Vonda L. Olsavsky
JVA
2006
IEEE
16 years 21 days ago
Dependability in Hybrid Grid Systems: A Virtual Clusters Approach
With the rapid evolution of mobile and ubiquitous computing, small-scale devices like personal digital assistants, smart "converged" phones and laptops now dominate the ...
Stavros Isaiadis, Vladimir Getov
QEST
2006
IEEE
16 years 21 days ago
Strategy Improvement for Concurrent Reachability Games
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
ROBIO
2006
IEEE
469views Robotics» more  ROBIO 2006»
16 years 21 days ago
FPGA-Implementation of Inverse Kinematics and Servo Controller for Robot Manipulator
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...
Ying-Shieh Kung, Kuan-Hsuan Tseng, Chia-Sheng Chen...
RTAS
2006
IEEE
16 years 21 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic