Sciweavers

10396 search results - page 1854 / 2080
» Testing Web Applications
Sort
View
DGO
2003
175views Education» more  DGO 2003»
15 years 7 months ago
Coastal Mapping and Change Detection Using High--Resolution IKONOS Satellite Imagery
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
Kaichang Di, Ruijin Ma, Jue Wang, Ron Li
ISSA
2004
15 years 7 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche
IWEC
2004
15 years 7 months ago
New Behavioural Approaches for Virtual Environments
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 ...
Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Paol...
IJCAI
2001
15 years 7 months ago
Backjumping for Quantified Boolean Logic Satisfiability
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
ECIS
2003
15 years 7 months ago
A qualitative approach to investigating the behavioural definitions of the four-paradigm theory of information systems developme
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
Donal J. Flynn, Zahid I. Hussain
« Prev « First page 1854 / 2080 Last » Next »