687 search results - page 48 / 138 » Specification and Verification of Model Transformations Usin... |
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
109
click to vote
ENTCS
2006
15 years 17 days ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
126
Voted
IJCAT
2010
14 years 11 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
114
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
107
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). ...