Sciweavers

337 search results - page 44 / 68
» Knowledge Engineering Technique for Cluster Development
Sort
View
DIMEA
2008
212views Multimedia» more  DIMEA 2008»
13 years 9 months ago
A game-engine based virtual museum authoring and presentation system
In this paper we present a system that facilitates virtual museum development and usage. The system is based on a game engine, ensuring thus minimal cost and good performance, and...
Victor Mateevitsi, Michael Sfakianos, George Lepou...
IDEAL
2005
Springer
14 years 1 months ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson
ITC
2003
IEEE
120views Hardware» more  ITC 2003»
14 years 1 months ago
High Quality ATPG for Delay Defects
: The paper presents a novel technique for generating effective vectors for delay defects. The test set achieves high path delay fault coverage to capture smalldistributed delay de...
Puneet Gupta, Michael S. Hsiao
ICSE
1999
IEEE-ACM
14 years 8 days ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
QSIC
2007
IEEE
14 years 2 months ago
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
Ishrar Hussain, Olga Ormandjieva, Leila Kosseim