Sciweavers

470 search results - page 64 / 94
» A Component and Communication Model for Push Systems
Sort
View
DARE
2000
170views more  DARE 2000»
15 years 1 months ago
Augmented reality: which augmentation for which reality?
In this paper, we first present a brief review of approaches used for studying and designing Augmented Reality (AR) systems. The variety of approaches and definitions in AR requir...
Emmanuel Dubois, Laurence Nigay
ATAL
2003
Springer
15 years 5 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
ACSD
2009
IEEE
92views Hardware» more  ACSD 2009»
15 years 6 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
Jens Brandt, Mike Gemunde, Klaus Schneider
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 5 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ATAL
2008
Springer
15 years 1 months ago
A 'companion' ECA with planning and activity modelling
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...
Marc Cavazza, Cameron Smith, Daniel Charlton, Li Z...