70 search results - page 7 / 14 » re 2002 |
PG
2002
IEEE
13 years 11 months ago
2002
IEEE
In this paper we describe a fast and interactive model to simulate and control the fire phenomenon. We use a modified interactive fluid dynamics solver to describe the motion o...
RE
2002
Springer
13 years 6 months ago
2002
Springer
There are many different approaches to elicit requirements each having its strengths and weaknesses. Hence, some approaches may be ore suitable to one domain then another. Moreove...
RE
2002
Springer
13 years 6 months ago
2002
Springer
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
RE
2002
Springer
13 years 6 months ago
2002
Springer
Everyone agrees that security is a problem, ranging from Microsoft to the banks that have been recent victims of rogue traders. What is paradoxical is that there does not seem to ...
TCS
2002
13 years 6 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...