1115 search results - page 70 / 223 » An Abstract Look at Realizability |
RE
2001
Springer
14 years 2 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
ILP
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. We consider the task of tagging Slovene words with morphosyntactic descriptions (MSDs). MSDs contain not only part-of-speech information but also attributes such as gende...
ICCCN
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper analyzes both the strong points and weak points of OSPF routing protocol from security perspective. On its strong points, we abstract its features of information least ...
RT
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The appearance of many natural materials is largely influenced by the environment in which they are situated. Capturing the effects of such environmental factors is esse...
CP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...