2705 search results - page 312 / 541 » Formal Ontology for Subject |
193
click to vote
FASE
2005
Springer
16 years 2 days 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...
145
click to vote
OOPSLA
2005
Springer
16 years 1 days 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...
163
click to vote
PPDP
2005
Springer
16 years 21 hour 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...
158
click to vote
PPDP
2005
Springer
16 years 21 hour 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 ...
171
click to vote
ERLANG
2004
ACM
15 years 12 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...