6171 search results - page 595 / 1235 » The FrameNet Data and Software |
164
click to vote
PEPM
2004
ACM
16 years 12 days ago
2004
ACM
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
168
click to vote
SIGADA
2004
Springer
16 years 12 days 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...
195
click to vote
VMCAI
2004
Springer
16 years 12 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
180
click to vote
ICEIS
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
163
click to vote
AOSD
2003
ACM
16 years 9 days ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...