2607 search results - page 279 / 522 » On the Architecture of System Verification Environments |
202
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
204
click to vote
TFS
2011
15 years 1 months ago
2011
—Reinforcement learning (RL) is a valuable learning method when the systems require a selection of control actions whose consequences emerge over long periods for which input– ...
170
click to vote
EUC
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
190
click to vote
XSYM
2004
Springer
16 years 3 hour ago
2004
Springer
Processing XML documents in multi-user database management environments requires a suitable storage model of XML data, support of typical XML document processing (XDP) interfaces, ...
162
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...