Sciweavers

11462 search results - page 326 / 2293
» Developing Application-Centric Methods
Sort
View
INFSOF
2000
96views more  INFSOF 2000»
15 years 4 months ago
Improving software quality using statistical testing techniques
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
David P. Kelly, Robert Oshana
INFFUS
2002
162views more  INFFUS 2002»
15 years 4 months ago
Fusion of multiple classifiers
The security of computer networks plays a strategic role in modern computer systems. In order to enforce high protection levels against threats, a number of software tools have be...
Fabio Roli, Josef Kittler
ET
1998
99views more  ET 1998»
15 years 4 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
163
Voted
JUCS
2002
146views more  JUCS 2002»
15 years 4 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
PRESENCE
1998
91views more  PRESENCE 1998»
15 years 4 months ago
Integrating Pedagogical Agents into Virtual Environments
In order for a virtual environment to be effective as a training tool, it is not enough to concentrate on the fidelity of the renderings and the accuracy of the simulated behavior...
W. Lewis Johnson, Jeff Rickel, Randy Stiles, Allen...