429 search results - page 39 / 86 » An Adaptation-based Approach to Incrementally Build Componen... |
129
click to vote
PAMI
2000
15 years 4 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
130
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
105
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
129
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
135
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...