4930 search results - page 803 / 986 » Testing a Safety-Critical Application |
165
click to vote
IWEC
2004
15 years 8 months ago
2004
We describe a new approach to the behaviour of 3D environments that supports the definition of physical processes and interactive phenomena. The work takes as a starting point the ...
156
click to vote
IJCAI
2001
15 years 8 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
161
click to vote
ECIS
2003
15 years 8 months ago
2003
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
187
click to vote
ECIS
2003
15 years 8 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
201
click to vote
GRAPHICSINTERFACE
2003
15 years 8 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...