2645 search results - page 62 / 529 » time 2003 |
125
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
151
click to vote
ADHOCNOW
2003
Springer
15 years 10 months ago
2003
Springer
We introduce Space-Time Routing (STR), a new approach to routing in mobile ad hoc networks. In STR, the age of routing state is considered jointly with the distance to the destinat...
182
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
150
click to vote
RTCSA
2003
IEEE
15 years 10 months ago
2003
IEEE
Previous real-time disk scheduling algorithms assume that each disk request incurs a disk mechanical operation and only consider how to move the disk head under real-time constrain...
133
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Since the remarkable work of Kocher [7], several papers considering different types of timing attacks have been published. In 2003, Brumley and Boneh presented a timing attack on...