10633 search results - page 1784 / 2127 » Relating Distributed Objects |
127
click to vote
ATAL
2005
Springer
15 years 8 months 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...
130
click to vote
CCS
2005
ACM
15 years 8 months 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 ...
143
click to vote
CCS
2005
ACM
15 years 8 months 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 ...
100
click to vote
CONCUR
2005
Springer
15 years 8 months 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...
139
click to vote
EMSOFT
2005
Springer
15 years 8 months 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...