Sciweavers

1412 search results - page 58 / 283
» An Architecture Description Language for Mobile Distributed ...
Sort
View
ICEIS
2003
IEEE
15 years 6 months ago
Code Generation for Distributed Systems
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
Markus Aleksy, Ralf Gitzel
ARES
1998
Springer
15 years 5 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
ICFP
2005
ACM
16 years 1 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
JLP
2006
126views more  JLP 2006»
15 years 1 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
SERP
2003
15 years 2 months ago
Integrated Tools for Performance-Oriented Distributed Software Development
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
Nicola Mazzocca, Emilio Mancini, Massimiliano Rak,...