1146 search results - page 99 / 230 » Formal Specification Generation from Requirement Documents |
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents an algorithm to generate possible variants for biomedical terms. The algorithm gives each variant its generation probability representing its plausibility, whi...
ER
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
A botnet is a network of compromised hosts that is under the control of a single, malicious entity, often called the botmaster. We present a system that aims to detect bots, indepe...
EMNLP
2009
14 years 7 months ago
2009
Textual entailment recognition plays a fundamental role in tasks that require indepth natural language understanding. In order to use entailment recognition technologies for real-...
DAGSTUHL
2006
14 years 11 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...