Sciweavers

339 search results - page 33 / 68
» Semantics and Execution of Domain Specific Models
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
13 years 8 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
ENC
2007
IEEE
14 years 2 months ago
A MDA tool for the development of service-oriented component-based applications
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
Nestor Riba, Humberto Cervantes
DAGSTUHL
2006
13 years 9 months ago
Are we Ready to Embrace the Semantic Web?
action from low level features to high level semantics. Owing to the proliferation of multimedia content in the internet, there is widespread interest in the semantic web community...
Shankar Vembu, Stephan Baumann
MA
2000
Springer
104views Communications» more  MA 2000»
13 years 11 months ago
Portable Support for Transparent Thread Migration in Java
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...
Eddy Truyen, Bert Robben, Bart Vanhaute, Tim Conin...
POLICY
2005
Springer
14 years 1 months ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...