Sciweavers

3482 search results - page 427 / 697
» Cooperative Assembly Systems
Sort
View
TKDE
2010
272views more  TKDE 2010»
15 years 5 months ago
P2P Reputation Management Using Distributed Identities and Decentralized Recommendation Chains
—Peer-to-peer (P2P) networks are vulnerable to peers who cheat, propagate malicious code, leech on the network, or simply do not cooperate. The traditional security techniques de...
Prashant Dewan, Partha Dasgupta
CLIMA
2011
14 years 6 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CSCW
2012
ACM
14 years 2 months ago
Come meet me at Ulduar: progression raiding in world of warcraft
In spite of decades of research on virtual worlds, our understanding of one popular form of virtual world behavior— raiding—remains limited. Raiding is important because it en...
Jeffrey Bardzell, Jeffrey Nichols, Tyler Pace, Sha...
CADE
2003
Springer
16 years 7 months ago
Proof Search and Proof Check for Equational and Inductive Theorems
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
Eric Deplagne, Claude Kirchner, Hélè...
VTC
2007
IEEE
16 years 29 days ago
Toward Scalable, Automated Tower-Top Phased Array Calibration
Abstract— The tower-top deployment of base station electronics could prove of utility in future cellular communication applications. We present a scalable, non-radiative, automat...
Tim Cooper, Justine McCormack, Ronan Farrell, Gera...