886 search results - page 162 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
3DPVT
2006
IEEE
15 years 3 months ago
2006
IEEE
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...
106
click to vote
CONSTRAINTS
2008
14 years 10 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
ISMAR
2002
IEEE
15 years 2 months ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
PPPJ
2003
ACM
15 years 3 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...