3429 search results - page 280 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
224
click to vote
OR
2011
Springer
14 years 11 months ago
2011
Springer
Developing Web-based systems for agriculture and rural development requires the collaboration of experts from different scientific fields and backgrounds. Thus, it is crucial to ...
133
Voted
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
193
click to vote
HOST
2011
IEEE
14 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
136
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
124
Voted
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...