Sciweavers

1089 search results - page 159 / 218
» An Authoring Environment for E-Learning
Sort
View
CONCUR
2005
Springer
15 years 12 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
ESAS
2005
Springer
15 years 12 months ago
Spontaneous Cooperation in Multi-domain Sensor Networks
Sensor networks are large scale networks consisting of several nodes and some base stations. The nodes are monitoring the environment and send their measurement data towards the ba...
Levente Buttyán, Tamás Holczer, P&ea...
MHCI
2005
Springer
15 years 11 months ago
Mystery in the museum: collaborative learning activities using handheld devices
In this paper, we describe the experience of designing a collaborative learning activity for a traditional historical/cultural museum. The activity, based on a “Mystery in the M...
Jorge Simarro Cabrera, Henar Muñoz Frutos, ...
PERVASIVE
2005
Springer
15 years 11 months ago
A Conceptual Framework for Camera Phone-Based Interaction Techniques
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
Michael Rohs, Philipp Zweifel
WAIM
2005
Springer
15 years 11 months ago
Integrative Security Management for Web-Based Enterprise Applications
In enterprise environment, security becomes increasingly important and costly. Enterprises are struggling to protect the increasing amount of disparate resources. Simple patchwork ...
Chen Zhao, Yang Chen, Dawei Xu, NuerMaimaiti Heili...