1669 search results - page 206 / 334 » Structured Specification of Model Interpreters |
120
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
157
Voted
CA
1998
IEEE
15 years 8 months ago
1998
IEEE
The new MPEG-4 standard, scheduled to become an International Standard in February 1999, will include support not only for natural video and audio, but also for synthetic graphics...
118
Voted
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
135
Voted
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
141
Voted
UAI
2001
15 years 5 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...