Sciweavers

503 search results - page 24 / 101
» A Framework for Reasoning on Component Composition
Sort
View
COOPIS
2003
IEEE
14 years 24 days ago
From Distributed Objects to Hierarchical Grid Components
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Françoise Baude, Denis Caromel, Matthieu Mo...
ICFEM
2010
Springer
13 years 5 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
CAISE
2003
Springer
14 years 22 days ago
From State to Structure: an XML Web Publishing Framework
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
Moira C. Norrie, Alexios Palinginis
DATE
2007
IEEE
223views Hardware» more  DATE 2007»
14 years 1 months ago
CARAT: a toolkit for design and performance analysis of component-based embedded systems
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
Egor R. V. Bondarev, Michel R. V. Chaudron, Peter ...
WECWIS
2005
IEEE
152views ECommerce» more  WECWIS 2005»
14 years 1 months ago
Semantic Web Service Composition in IRS-III: The Structured Approach
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
Farshad Hakimpour, Denilson Sell, Liliana Cabral, ...