Sciweavers

484 search results - page 81 / 97
» Guessing Games and Distributed Computations in Synchronous N...
Sort
View
123
Voted
CONEXT
2007
ACM
15 years 7 months ago
Internet economics: the use of Shapley value for ISP settlement
Within the current Internet, autonomous ISPs implement bilateral agreements, with each ISP establishing agreements that suit its own local objective to maximize its profit. Peerin...
Richard T. B. Ma, Dah-Ming Chiu, John C. S. Lui, V...
135
Voted
DSOM
2005
Springer
15 years 9 months ago
Towards Automated Deployment of Built-to-Order Systems
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
Akhil Sahai, Calton Pu, Gueyoung Jung, Qinyi Wu, W...
129
Voted
PERCOM
2009
ACM
15 years 10 months ago
A Middleware Service for Coordinated Adaptation of Communication Services in Groups of Devices
—Recent research in pervasive computing has shown that context-awareness and dynamic adaptation are fundamental requirements of mobile distributed applications. However, most app...
Jordan Janeiro, Thomas Springer, Markus Endler
135
Voted
ICDCS
2007
IEEE
15 years 10 months ago
Fault Tolerance in Multiprocessor Systems Via Application Cloning
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
Philippe Bergheaud, Dinesh Subhraveti, Marc Vertes
159
Voted
CONCUR
1999
Springer
15 years 8 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea