Sciweavers

4326 search results - page 722 / 866
» A Model for Process Service Interaction
Sort
View
127
Voted
CONTEXT
2005
Springer
15 years 9 months ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
117
Voted
AH
2004
Springer
15 years 8 months ago
Problem Solving with Adaptive Feedback
Abstract. The virtual laboratory (VILAB) supports interactive problem solving in computer science with access to complex software-tools. During the problem solving processes the le...
Rainer Lütticke
150
Voted
EUSAI
2004
Springer
15 years 8 months ago
End-User Configuration of Ambient Intelligence Environments: Feasibility from a User Perspective
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
Panos Markopoulos, Irene Mavrommati, Achilles Kame...
128
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 8 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ISOLA
2004
Springer
15 years 8 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...