4895 search results - page 737 / 979 » Tools for Grammar Engineering |
173
click to vote
RISE
2004
Springer
15 years 12 months ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
120
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
162
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
A typical software development team leaves behind a large amount of information. This information takes different forms, such as mail messages, software releases, version control ...
156
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...
156
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...