Sciweavers

8496 search results - page 1219 / 1700
» Problem Solving and Complex Systems
Sort
View
MSR
2005
ACM
16 years 13 days ago
When do changes induce fixes?
As a software system evolves, programmers make changes that sometimes cause problems. We analyze CVS archives for fix-inducing changes—changes that lead to problems, indicated ...
Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller
CP
2004
Springer
16 years 8 days ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
ECAI
2004
Springer
16 years 8 days ago
Preferences for Queries in a Mediator Approach
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
Alain Bidault, Sarah Cohen Boulakia, Christine Fro...
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
16 years 6 days ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
INFOVIS
2003
IEEE
16 years 4 days ago
Developing Architectural Lighting Representations
This paper reports on the development of a visualization system for architectural lighting designers. It starts by motivating the problem as both complex in its physics and social...
Daniel C. Glaser, Roger Tan, John F. Canny, Ellen ...
« Prev « First page 1219 / 1700 Last » Next »