2904 search results - page 548 / 581 » Valuing Design Repair |
157
Voted
POS
1994
Springer
15 years 8 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
177
Voted
SAS
1994
Springer
15 years 8 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
192
click to vote
UIST
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
160
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Norm-governed virtual organizations define, govern and facilitate coordinated resource sharing and problem solving in societies of agents. With an explicit account of norms, openn...
149
click to vote
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...