3428 search results - page 486 / 686 » Making the Case |
186
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
143
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
178
click to vote
SIGECOM
2006
ACM
16 years 16 days ago
2006
ACM
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
177
click to vote
SIGMETRICS
2005
ACM
16 years 4 days ago
2005
ACM
We define the class of SMART scheduling policies. These are policies that bias towards jobs with small remaining service times, jobs with small original sizes, or both, with the ...
195
click to vote
WOSP
2005
ACM
16 years 4 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...