172 search results - page 26 / 35 » Enforcing synchronous system properties on top of timed syst... |
SACMAT
2005
ACM
14 years 27 days ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
ICPP
2003
IEEE
14 years 19 days ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
ICDCS
2005
IEEE
14 years 29 days ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
MM
1993
ACM
13 years 11 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
ICMI
2003
Springer
14 years 16 days ago
2003
Springer
This paper describes techniques that allow users to collaborate on tablet computers that employ distributed sensing techniques to establish a privileged connection between devices...