Sciweavers

4099 search results - page 403 / 820
» A Framework for Interactive Proof
Sort
View
179
Voted
RR
2007
Springer
16 years 27 days ago
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
ICMCS
2005
IEEE
116views Multimedia» more  ICMCS 2005»
16 years 12 days ago
Multimodal Emotion Recognition and Expressivity Analysis
The paper presents the framework of a special session that aims at investigating the best possible techniques for multimodal emotion recognition and expressivity analysis in human...
Stefanos D. Kollias, Kostas Karpouzis
DSVIS
2005
Springer
16 years 10 days ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
ACMACE
2004
ACM
16 years 7 days ago
Massively multi-player games: matching game design with technical design
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
Anne-Gwenn Bosser
ISAS
2004
Springer
16 years 5 days ago
On Enhancing the Robustness of Commercial Operating Systems
A ubiquitous computing system derives its operations from the collective interactions of its constituent components. Consequently, a robust ubiquitous system entails that the discr...
Andréas Johansson, Adina Sarbu, Arshad Jhum...