2776 search results - page 324 / 556 » System-Level Abstraction Semantics |
247
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
155
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
145
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
164
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
152
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...