Sciweavers

1356 search results - page 177 / 272
» A variable-free dynamic semantics
Sort
View
IJIEM
2007
78views more  IJIEM 2007»
15 years 4 months ago
Supporting the design of service contracts with interaction models
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
Peter Rittgen
ANSOFT
2002
111views more  ANSOFT 2002»
15 years 4 months ago
Using UML Profiles for Documenting Web-Based Application Frameworks
Abstract. The Web now offers an exceptional infrastructure for the development of distributed collaborative services and applications. However, most of the existing applications on...
Lidia Fuentes, José M. Troya, Antonio Valle...
EMSOFT
2004
Springer
15 years 9 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...
IPPS
2003
IEEE
15 years 9 months ago
RMIX: A Multiprotocol RMI Framework for Java
With the increasing adoption of Java for parallel and distributed computing, there is a strong motivation for enhancing the expressive elegance of the RMI paradigm with flexible ...
Dawid Kurzyniec, Tomasz Wrzosek, Vaidy S. Sunderam...
PLDI
2009
ACM
16 years 4 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...