4385 search results - page 346 / 877 » Abstraction for Concurrent Objects |
158
click to vote
EDOC
2003
IEEE
16 years 1 days ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
153
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. In the paper two notions related to local (distributed) computations are identified and discussed. The first one is the notion of reducible graphs. A graph is reducible...
202
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
225
click to vote
DSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
169
click to vote
OTM
2004
Springer
16 years 2 days ago
2004
Springer
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...