5353 search results - page 993 / 1071 » Modelling Contexts in the Or-BAC Model |
195
click to vote
ETFA
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— This article presents some results about schedulability analysis of tasks with offsets also known as transactions, in the particular case of monotonic transactions. The...
185
click to vote
ICPP
2006
IEEE
16 years 13 days ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
216
click to vote
IROS
2006
IEEE
16 years 13 days ago
2006
IEEE
— To operate outdoors or on non-flat surfaces, mobile robots need appropriate data structures that provide a compact representation of the environment and at the same time suppo...
169
click to vote
PODC
2006
ACM
16 years 11 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
167
click to vote
STORAGESS
2006
ACM
16 years 11 days ago
2006
ACM
Archival storage systems are designed for a write-once, read-maybe usage model which places an emphasis on the long-term preservation of their data contents. In contrast to tradit...