Sciweavers

3804 search results - page 329 / 761
» interactions 2008
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
DALT
2008
Springer
15 years 8 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
ECTEL
2008
Springer
15 years 8 months ago
Knowledge Services for Work-Integrated Learning
In order to support work-integrated learning scenarios task- and competency-aware knowledge services are needed. In this paper we introduce three key knowledge services of the APOS...
Stefanie N. Lindstaedt, Peter Scheir, Robert Lokai...
CORR
2008
Springer
115views Education» more  CORR 2008»
15 years 7 months ago
Playing With Population Protocols
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous ...
Olivier Bournez, Jérémie Chalopin, J...
166
Voted
ERCIMDL
2010
Springer
118views Education» more  ERCIMDL 2010»
15 years 7 months ago
Relevance in Technicolor
In this article we propose the concept of relevance criteria profiles, which provide a global view of user behaviour in judging the relevance of retrieved information. We further p...
Ulises Cerviño Beresi, Yunhyong Kim, Dawei ...