Sciweavers

1824 search results - page 179 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
EDOC
2007
IEEE
15 years 10 months ago
On Interoperability and Conformance Assessment in Service Composition
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
Dick A. C. Quartel, Marten van Sinderen
COMPSAC
2005
IEEE
15 years 9 months ago
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. M...
IUI
2000
ACM
15 years 8 months ago
NaturalJava: a natural language interface for programming in Java
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
David Price, Ellen Riloff, Joseph L. Zachary, Bran...
127
Voted
ISSRE
2007
IEEE
15 years 5 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
ICIP
2000
IEEE
16 years 5 months ago
Model-Aided Coding of Multi-Viewpoint Image Data
The paper presents a novel coding technique based on approximate geometry for images taken from arbitrary recording positions around a 3-D scene. Such data structures occur in ima...
Marcus A. Magnor, Peter Eisert, Bernd Girod