21430 search results - page 81 / 4286 » Abstract Effective Models |
147
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
136
click to vote
SAMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We briefly describe the results of an experimental study on the incremental creation of context out of the results of targeted queries, and discuss the increase in retri...
160
click to vote
AC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
161
click to vote
APLAS
2001
ACM
15 years 9 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
261
click to vote
TSE
2012
13 years 8 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...