590 search results - page 68 / 118 » On the Systematic Analysis of Natural Language Requirements ... |
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
SAS
1992
Springer
14 years 1 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
CIKM
2011
Springer
12 years 9 months ago
2011
Springer
Factoid questions often contain one or more assertions (facts) about their answers. However, existing question-answering (QA) systems have not investigated how the multiple facts ...
ER
2008
Springer
13 years 10 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...