2152 search results - page 131 / 431 » An Abstract Account of Composition |
181
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
173
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
159
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
180
click to vote
SDL
2007
15 years 8 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
167
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...