10072 search results - page 129 / 2015 » Composition of Model Programs |
156
Voted
CLADE
2003
IEEE
15 years 8 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
161
Voted
FORTE
2009
15 years 11 days ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
159
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a reflective architecture and an implemented prototype that supports aspect oriented programming in Smalltalk. The aspects are metaobjects which are weaved dyn...
122
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
113
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Domain specific aspect languages (DSALs) are becoming more popular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. H...