Sciweavers

3425 search results - page 288 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
CVPR
2012
IEEE
13 years 7 months ago
Parameterizing interpersonal behaviour with Laban movement analysis - A Bayesian approach
—In this paper we propose a probabilistic model to parameterize human interactive behaviour from human motion. To Support the model taxonomy, we use Laban Movement Analysis (LMA)...
Kamrad Khoshhal Roudposhti, Luís Santos, Ha...
GPCE
2007
Springer
15 years 10 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
SIGADA
2007
Springer
15 years 10 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec
125
Voted
AADEBUG
1997
Springer
15 years 8 months ago
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
Adele E. Howe, Gabriel Somlo
ICSE
2009
IEEE-ACM
15 years 2 months ago
A non-intrusive component-based approach for deploying unanticipated self-management behaviour
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
Sandro Santos Andrade, Raimundo José de Ara...