2514 search results - page 447 / 503 » The use of industrial-strength formal methods |
152
click to vote
ISTA
2004
15 years 7 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
143
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Functional laws may be known only at a finite number of points, and then the function can be completed by interpolation techniques obeying some smoothness conditions. We rather pr...
153
click to vote
SERP
2004
15 years 7 months ago
2004
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
164
click to vote
NDQA
2003
15 years 7 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...
139
click to vote
OAS
2003
15 years 7 months ago
2003
Current Web services standards enable publishing service descriptions and finding services by matching requested and published descriptions based on syntactic criteria such as me...