4212 search results - page 361 / 843 » Rights Expression Languages |
183
click to vote
COORDINATION
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
209
click to vote
INAP
2005
Springer
16 years 7 days ago
2005
Springer
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
149
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
162
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
165
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
As Java is being considered an appropriate environment for high performance computing, we describe advanced techniques of highly expressive and efficient combining of Java with exi...