793 search results - page 56 / 159 » Protocol Modeling with Model Program Composition |
CORR
2009
Springer
13 years 5 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
AOSD
2010
ACM
14 years 20 days ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
CONCURRENCY
2006
13 years 7 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...