Sciweavers

107 search results - page 12 / 22
» Towards a UML Profile for Software Architecture Descriptions
Sort
View
STORYTELLING
2007
Springer
14 years 1 months ago
Automatic Direction of Interactive Storytelling: Formalizing the Game Master Paradigm
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
Federico Peinado, Pablo Gervás
SEFM
2005
IEEE
14 years 1 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
CRV
2006
IEEE
206views Robotics» more  CRV 2006»
14 years 1 months ago
Toward an Application of Content-Based Video Indexing to Computer- Assisted Descriptive Video
This paper presents the status of a project targeting the development of content-based video indexing tools, to assist a human in the generation of descriptive video for the hard ...
Langis Gagnon, France Laliberté, Marc Lalon...
FIDJI
2004
Springer
14 years 27 days ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
KBSE
1999
IEEE
13 years 11 months ago
AML: An Architecture Meta-Language
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
David S. Wile