Sciweavers

1894 search results - page 158 / 379
» Towards Mobile Reasoning
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda
JSAC
2010
120views more  JSAC 2010»
15 years 4 months ago
A simple and scalable algorithm for alignment in broadcast networks
We consider the problem of coordinating a group of mobile nodes communicating through a wireless medium. The objective of the network is the alignment of all the nodes towards a c...
Roberto Pagliari, Mehmet E. Yildiz, Shrut Kirti, K...
USAB
2010
15 years 4 months ago
Social Acceptance of Negotiation Support Systems
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
Alina Pommeranz, Pascal Wiggers, Willem-Paul Brink...
ANTSW
2004
Springer
15 years 9 months ago
Cooperative Transport of Objects of Different Shapes and Sizes
This paper addresses the design of control policies for groups of up to 16 simple autonomous mobile robots (called s-bots) for the cooperative transport of heavy objects of differe...
Roderich Groß, Marco Dorigo
JDCTA
2010
125views more  JDCTA 2010»
15 years 25 days ago
User Evaluation of a Community-centric Music Voting Service
In this paper, we present the user evaluation results of a Community-centric Music Voting service that relies on a DHT-based P2P network. For each user community, an independent D...
Timo Koskela, Janne Julkunen, Otso Kassinen, Mika ...