15885 search results - page 2524 / 3177 » Strategic Software Engineering |
243
click to vote
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
216
click to vote
ISSTA
2004
ACM
16 years 26 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
232
click to vote
IUI
2004
ACM
16 years 26 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
214
click to vote
MM
2004
ACM
16 years 26 days ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
229
click to vote
EDBTW
2004
Springer
16 years 25 days ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...