Sciweavers

3522 search results - page 184 / 705
» Modeling and Aspect Weaving
Sort
View
RTSS
2003
IEEE
15 years 6 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
83
Voted
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
15 years 5 months ago
First Steps in Programming: A Rationale for Attention Investment Models
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
Alan F. Blackwell
106
Voted
MM
2009
ACM
178views Multimedia» more  MM 2009»
15 years 5 months ago
Automatic role recognition in multiparty recordings using social networks and probabilistic sequential models
The automatic analysis of social interactions is attracting significant interest in the multimedia community. This work addresses one of the most important aspects of the problem...
Sarah Favre, Alfred Dielmann, Alessandro Vinciarel...
HASE
1999
IEEE
15 years 5 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
99
Voted
FLAIRS
2007
15 years 3 months ago
A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
David Brageul, Hans W. Guesgen