3013 search results - page 155 / 603 » Context-Oriented Domain Analysis |
150
click to vote
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
15 years 11 months ago
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...
167
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
141
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We describe ongoing research on segmenting and labeling HTML medical journal articles. In contrast to existing approaches in which HTML tags usually serve as strong indicators, we...
155
click to vote
EDM
2010
15 years 8 months ago
2010
This paper demonstrates the generality of the hidden Markov model approach for exploratory sequence analysis by applying the methodology to study students' learning behaviors ...
138
click to vote
EDM
2010
15 years 8 months ago
2010
Epistemic games are designed to help players develop domain-specific expertise that characterizes how professionals in a particular domain reason, communicate, and act [1, 11]. To ...