2702 search results - page 176 / 541 » Requirements Processes: An Experience Report |
284
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
We report on our experience from design and implementation of a powerful map application for managing, querying and visualizing evolving locations of moving objects. Instead of bu...
287
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Wireless sensor networks (WSNs) can provide real-time information about geospatial environments, and so have the potential to play an important role in the monitoring of geographi...
199
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Conventional deformable registration methods are mostly driven by the interface between different brain structures. In recent years, Diffusion Tensor Magnetic Resonance Imaging (D...
167
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
155
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...