2645 search results - page 62 / 529 » time 2003 |
CHARME
2003
Springer
14 years 1 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...
ADHOCNOW
2003
Springer
14 years 3 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...
RTAS
2003
IEEE
14 years 3 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...
RTCSA
2003
IEEE
14 years 3 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...
CCS
2005
ACM
14 years 3 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...