Sciweavers

1669 search results - page 86 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 4 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
WAPCV
2007
Springer
14 years 3 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
STORYTELLING
2007
Springer
14 years 3 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
AINA
2006
IEEE
14 years 1 months ago
Towards an Unified Experimentation Framework for Protocol Engineering
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
Laurent Dairaine, Ernesto Exposito, Herve Thalmens...
RECOMB
2007
Springer
14 years 9 months ago
A Feature-Based Approach to Modeling Protein-DNA Interactions
Transcription factor (TF) binding to its DNA target site is a fundamental regulatory interaction. The most common model used to represent TF binding specificities is a position spe...
Eilon Sharon, Eran Segal