139 search results - page 13 / 28 » From Synchronous to Asynchronous: An Automatic Approach |
123
click to vote
FMOODS
2008
15 years 1 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
133
click to vote
ICDCN
2011
Springer
14 years 3 months ago
2011
Springer
We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the ...
104
click to vote
DCOSS
2010
Springer
15 years 4 months ago
2010
Springer
Sensor network MAC protocols are typically configured for an intended deployment scenario once and for all at compile time. This approach, however, leads to suboptimal performance...
74
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
E-services refer to the services offered over the Internet. The globalization of economy accelerates the provision of e-services across organizations. Instead of being built from ...
WWW
2003
ACM
16 years 10 days ago
2003
ACM
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...