Sciweavers

3804 search results - page 503 / 761
» interactions 2008
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
DEXA
2008
Springer
121views Database» more  DEXA 2008»
15 years 8 months ago
OLAP for Trajectories
In this paper, we present an OLAP framework for trajectories of moving objects. We introduce a new operator GROUP TRAJECTORIES for group-by operations on trajectories and present ...
Oliver Baltzer, Frank K. H. A. Dehne, Susanne E. H...
DIAGRAMS
2008
Springer
15 years 8 months ago
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving
State-space search methods in problem solving have often been illustrated using tree diagrams. We explore a set of issues related to coordination in collaborative problem solving a...
Steven L. Tanimoto
DIS
2008
Springer
15 years 8 months ago
A Framework for Knowledge Discovery in a Society of Agents
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
Gauvain Bourgne, Vincent Corruble
ECAI
2008
Springer
15 years 8 months ago
Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...