Sciweavers

909 search results - page 67 / 182
» Supporting dynamic composition of components
Sort
View
HICSS
2005
IEEE
93views Biometrics» more  HICSS 2005»
15 years 9 months ago
Service Composition on Top of Exchangable Protocols
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
Stefan Böttcher, Christian Dannewitz
158
Voted
ECOOP
1992
Springer
15 years 7 months ago
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
Mehmet Aksit, Lodewijk Bergmans, Sinan Vural
111
Voted
CLOUDCOM
2010
Springer
15 years 1 months ago
Reliability Support in Virtual Infrastructures
Through the recent emergence of joint resource and network virtualization, dynamic composition and provisioning of time-limited and isolated virtual infrastructures is now possible...
Guilherme Piegas Koslovski, Wai-Leong Yeow, C&eacu...
SIGSOFT
2003
ACM
16 years 4 months ago
A strategy for efficiently verifying requirements
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
Ralph D. Jeffords, Constance L. Heitmeyer
110
Voted
FPL
2005
Springer
165views Hardware» more  FPL 2005»
15 years 9 months ago
DyNoC: A Dynamic Infrastructure for Communication in Dynamically Reconfigurable Devices
A new paradigm to support the communication among modules dynamically placed on a reconfigurable device at runtime is presented. Based on the network on chip (NoC) infrastructure...
Christophe Bobda, Ali Ahmadinia, Mateusz Majer, J&...