3745 search results - page 430 / 749 » Sonic: System Description |
167
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
169
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
169
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
With the massive advance of electronic document repositories, usable interfaces to these repositories gain importance. While sophisticated information retrieval techniques provide...
146
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
152
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the CAVEStudy system that enables scientists to interactively steer a simulation from a virtual reality (VR) environment. No modification to the source code is necessa...