172 search results - page 26 / 35 » Enforcing synchronous system properties on top of timed syst... |
124
click to vote
SACMAT
2005
ACM
15 years 7 months 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...
124
click to vote
ICPP
2003
IEEE
15 years 7 months 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 ...
141
click to vote
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
136
click to vote
MM
1993
ACM
15 years 6 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...
113
click to vote
ICMI
2003
Springer
15 years 7 months 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...