Sciweavers

503 search results - page 56 / 101
» A Framework for Reasoning on Component Composition
Sort
View
CSLP
2004
Springer
14 years 1 months ago
Metagrammar Redux
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
Benoît Crabbé, Denys Duchier
GI
2004
Springer
14 years 1 months ago
Towards a Framework and a Design Methodology for Autonomic Integrated Systems
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
Andreas Herkersdorf, Wolfgang Rosenstiel
ISF
2007
105views more  ISF 2007»
13 years 7 months ago
COSMO: A conceptual framework for service modelling and refinement
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
ICIW
2009
IEEE
13 years 5 months ago
SynCFr: Synchronization Collaboration Framework
We present the SynCFr framework (Synchronization Collaboration Framework) supporting the management of composite applications and the synchronization of heterogeneous applications...
Liliana Ardissono, Anna Goy, Giovanna Petrone, Mar...
BIRTHDAY
2004
Springer
14 years 1 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira