15253 search results - page 2478 / 3051 » Integer-Programming Software Systems |
169
click to vote
DEXAW
2004
IEEE
15 years 11 months ago
2004
IEEE
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...
185
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
176
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
222
click to vote
CDVE
2006
Springer
15 years 11 months ago
2006
Springer
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
171
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...