3104 search results - page 212 / 621 » Using quantitative analysis to implement autonomic IT system... |
149
click to vote
IMA
1997
Springer
15 years 8 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
153
click to vote
CRV
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
138
click to vote
USENIX
1996
15 years 5 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
151
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
135
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...