9210 search results - page 1463 / 1842 » Analyzing Real-Time Systems |
220
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— We propose a vision-based inertial system that overcomes the problems associated with slow update rates in navigation systems based on high-resolution cameras. Due to bandwidth...
239
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
236
click to vote
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
255
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
218
click to vote
E4MAS
2005
Springer
16 years 1 months ago
2005
Springer
Stigmergy (the coordination of agents through signs they make and sense in a shared environment) was originally articulated in the study of social insects. Its basic processes are ...