2835 search results - page 538 / 567 » Imperfect Requirements in Software Development |
VLDB
1997
ACM
14 years 2 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
POPL
2010
ACM
14 years 10 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
BPSC
2007
13 years 11 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
EFDBS
2003
13 years 11 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
In this paper, we describe a method for structural noun phrase disambiguation which mainly relies on the examination of the text corpus under analysis and doesn't need to int...