272 search results - page 24 / 55 » context 1999 |
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
WER
1999
Springer
14 years 2 months ago
1999
Springer
In this article we defend the idea that social aspects have strong influence in the software requirements elicitation (Goguen 1993), which drive us to find help in the social scien...
WIA
1999
Springer
1999
Springer
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing
14 years 2 months ago
Finite-state techniques are widely used in various areas of Natural Language Processing (NLP). As Kaplan and Kay [12] have argular expressions are the appropriate level of abstract...
ECIS
2004
13 years 11 months ago
2004
In this paper, we address the following research question: "How can we understand the nature of risk in IS projects in the context of globalization?" Based on a case stu...