Sciweavers

15840 search results - page 2956 / 3168
» The Control of Synchronous Systems
Sort
View
JWSR
2008
147views more  JWSR 2008»
15 years 5 months ago
Karma2: Provenance Management for Data-Driven Workflows
: The increasing ability for the sciences to sense the world around us is resulting in a growing need for data driven applications that are under the control of workflows composed ...
Yogesh L. Simmhan, Beth Plale, Dennis Gannon
ENTCS
2007
109views more  ENTCS 2007»
15 years 5 months ago
Modular Structural Operational Semantics with Strategies
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
Christiano Braga, Alberto Verdejo
ENTCS
2007
101views more  ENTCS 2007»
15 years 5 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
116
Voted
JSAC
2006
107views more  JSAC 2006»
15 years 5 months ago
Efficiency and Braess' Paradox under pricing in general networks
We study the flow control and routing decisions of self-interested users in a general congested network where a single profit-maximizing service provider sets prices for different ...
Xin Huang, Asuman E. Ozdaglar, Daron Acemoglu
ENTCS
2007
101views more  ENTCS 2007»
15 years 5 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
« Prev « First page 2956 / 3168 Last » Next »