Sciweavers

2316 search results - page 137 / 464
» The many forms of hypercomputation
Sort
View
CIA
2007
Springer
15 years 8 months ago
Methods for Coalition Formation in Adaptation-Based Social Networks
: Coalition formation in social networks consisting of a graph of interdependent agents allows many choices of which task to select and with whom to partner in the social network. ...
Levi Barton, Vicki H. Allan
SAT
2010
Springer
160views Hardware» more  SAT 2010»
15 years 8 months ago
Reconstructing Solutions after Blocked Clause Elimination
Abstract. Preprocessing has proven important in enabling efficient Boolean satisfiability (SAT) solving. For many real application scenarios of SAT it is important to be able to ...
Matti Järvisalo, Armin Biere
AINA
2006
IEEE
15 years 8 months ago
Efficient Authentication for Reactive Routing Protocols
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
Raghav Bhaskar, Javier Herranz, Fabien Laguillaumi...
AUIC
2004
IEEE
15 years 8 months ago
From Snark to Park: Lessons Learnt Moving Pervasive Experiences From Indoors to Outdoors
Pervasive technologies are increasingly being developed and used outdoors in different and innovative ways. However, designing user experiences for outdoor environments presents m...
Eric Harris, Geraldine Fitzpatrick, Yvonne Rogers,...
175
Voted
DEXAW
2004
IEEE
166views Database» more  DEXAW 2004»
15 years 8 months ago
Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...
Jean-Paul Arcangeli, Sebastien Leriche, Marc Pante...