Sciweavers

3463 search results - page 66 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
IFIP
2007
Springer
15 years 10 months ago
A Framework for QoS Contract Negotiation in Component-Based Applications
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
Mesfin Mulugeta, Alexander Schill
ICDE
2006
IEEE
144views Database» more  ICDE 2006»
15 years 10 months ago
E - A Generic Event Model for Event-Centric Multimedia Data Management in eChronicle Applications
eChronicle applications are inherently event-centric, enabling users to find and explore important events in an application domain and providing unified access to any media that...
Utz Westermann, Ramesh Jain
128
Voted
FDL
2005
IEEE
15 years 9 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
ICFP
2007
ACM
16 years 3 months ago
McErlang: a model checker for a distributed functional programming language
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
Hans Svensson, Lars-Åke Fredlund
CBSE
2006
Springer
15 years 7 months ago
Defining and Checking Deployment Contracts for Software Components
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
Kung-Kiu Lau, Vladyslav Ukis