Sciweavers

4940 search results - page 109 / 988
» On the Complexity of Universal Programs
Sort
View
IQ
2000
15 years 5 months ago
Improving Information Quality in Loan Approval Processes for Fair Lending and Fair Pricing
: Current banking data management on loan approval processes has great room for improvements of information quality and prevention of data problems in general, but especially with ...
M. Cary Collins, Frank M. Guess
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 9 months ago
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery
The problem of enforcing bounded-time 2-phase recovery in real-time programs is often necessitated by conflict between faulttolerance requirements and timing constraints. In this ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
AGP
2010
IEEE
15 years 2 months ago
Concurrent and Reactive Constraint Programming
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
Maurizio Gabbrielli, Catuscia Palamidessi, Frank D...
ICSE
1995
IEEE-ACM
15 years 8 months ago
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...
Craig Chambers, Jeffrey Dean, David Grove
GROUP
2005
ACM
15 years 10 months ago
Pair programming and the re-appropriation of individual tools for collaborative programming
Although pair programming is becoming more prevalent in software development, and a number of reports have been written about it [4] [6], few have addressed the manner in which pa...
Sallyann Bryant, Pablo Romero, Benedict du Boulay