10633 search results - page 1784 / 2127 » Relating Distributed Objects |
173
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This publication summarizes research on the the design and implementation of liberalized version of existing truth-finding protocols for argumentation, such as the standard two-a...
194
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
The internet and related technologies have made multidomain collaborations a reality. Collaboration enables domains to effectively share resources; however it introduces several ...
206
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
143
Voted
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
210
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...