10159 search results - page 616 / 2032 » System Design Validation Using Formal Models |
192
click to vote
KI
1994
Springer
15 years 11 months ago
1994
Springer
The modeling of noncooperative dialogs, as opposed to dialogs in which the goals of the participants coincide, presents novel challenges to a pragmatically oriented dialog system. ...
193
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
313
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out ...
182
click to vote
SAMOS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
256
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
A reasonable definition of intrusion is: entering a community to which one does not belong. This suggests that in a network, intrusion attempts may be detected by looking for com...