1562 search results - page 152 / 313 » Convenience Over Correctness |
CN
2004
13 years 9 months ago
2004
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
DEBU
2000
13 years 9 months ago
2000
A critical problem in developing information agents for the Web is accessing data that is formatted for human use. We have developed a set of tools for extracting data from web si...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
ENTCS
2002
13 years 9 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
SLOGICA
2002
13 years 9 months ago
2002
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...