2705 search results - page 312 / 541 » Formal Ontology for Subject |
123
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
84
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
90
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
102
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
101
Voted
ERLANG
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...