Sciweavers

825 search results - page 66 / 165
» interactions 2011
Sort
View
134
Voted
NETWORKING
2011
14 years 3 months ago
STEPS - An Approach for Human Mobility Modeling
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
Anh Dung Nguyen, Patrick Sénac, Victor Rami...
230
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 7 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
IEAAIE
2011
Springer
14 years 4 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
104
Voted
CHI
2011
ACM
14 years 4 months ago
From the lab to the world: lessons from extending a pointing technique for real-world use
We present the Pointing Magnifier as a case study for understanding the issues and challenges of deploying lab-validated pointing facilitation techniques into the real world. The ...
Alex Jansen, Leah Findlater, Jacob O. Wobbrock
HCI
2011
14 years 4 months ago
Designing Pervasive Games for Learning
Pervasive games have been proposed as a suitable way to support learning, especially in places rich in information, as for example museums and cultural heritage sites. This paper r...
Carmelo Ardito, Rosa Lanzilotti, Dimitris Raptis, ...