3828 search results - page 195 / 766 » Proof-Based System Engineering Using a Virtual System Model |
196
click to vote
KCAP
2009
ACM
16 years 28 days ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
154
click to vote
FASE
2007
Springer
16 years 17 days ago
2007
Springer
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
167
click to vote
COMSWARE
2007
IEEE
16 years 23 days ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
165
click to vote
AAAI
1994
15 years 7 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
159
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...