821 search results - page 4 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
FAABS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
CAISE
2009
Springer
14 years 5 days ago
2009
Springer
Meta models are the core of enterprise architecture, but still few methods are available for the creation of meta models tailored for specific purposes. This paper presents two app...
AIED
2005
Springer
13 years 11 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
ECMDAFA
2005
Springer
13 years 11 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ISM
2006
IEEE
13 years 11 months ago
2006
IEEE
1 In this paper a data driven analysis of FelderSilverman Index of Learning Styles (ILS) is given. Results, obtained by Multiple Correspondence Analysis and cross-validated by cor...