9989 search results - page 398 / 1998 » A CLP Approach to Modelling Systems |
192
click to vote
IJSEKE
2006
15 years 6 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
188
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
157
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
200
click to vote
APSEC
2006
IEEE
16 years 26 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
163
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...