Sciweavers

3248 search results - page 408 / 650
» Contexts for Human Action
Sort
View
CONCUR
2005
Springer
14 years 4 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
14 years 4 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
14 years 4 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
14 years 4 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»
14 years 4 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