1501 search results - page 14 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
DATE
2000
IEEE
15 years 3 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
107
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
121
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
ICALT
2007
IEEE
15 years 5 months ago
2007
IEEE
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
CIC
2006
15 years 19 days ago
2006
The main goal of this paper is to make a step towards the development of a unified approach that incorporates both reliability and traffic engineering aspects into a common, unifie...