Sciweavers

3248 search results - page 408 / 650
» Contexts for Human Action
Sort
View
CONCUR
2005
Springer
15 years 11 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...
ICWE
2005
Springer
15 years 11 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
ATAL
2004
Springer
15 years 11 months ago
Learning User Preferences for Wireless Services Provisioning
The problem of interest is how to dynamically allocate wireless access services in a competitive market which implements a take-it-or-leave-it allocation mechanism. In this paper ...
George Lee, Steven Bauer, Peyman Faratin, John Wro...
CW
2003
IEEE
15 years 11 months ago
Educative Distributed Virtual Environments For Children
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
Jean-Pierre Gerval, Dorin Mircea Popovici, Jacques...
HICSS
2003
IEEE
122views Biometrics» more  HICSS 2003»
15 years 11 months ago
Managing Quality Uncertainty Through Contingency Pricing
We analyze quality-contingent prices as a mechanism for mitigating the effects of quality uncertainty in e-commerce and IT goods services. A contingency pricing contract specifie...
Hemant K. Bhargava, Shankar Sundaresan