Sciweavers

1953 search results - page 121 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
173
Voted
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 9 hour ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
ESEC
1997
Springer
15 years 9 months ago
A View-Oriented Approach to System Modelling Based on Graph Transformation
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Ha...
CLUSTER
2009
IEEE
15 years 9 months ago
Analytical modeling and optimization for affinity based thread scheduling on multicore systems
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
Fengguang Song, Shirley Moore, Jack Dongarra
175
Voted
JUCS
2008
155views more  JUCS 2008»
15 years 5 months ago
Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...
Sergios Soursos, Costas Courcoubetis, Richard R. W...
BIRTHDAY
2004
Springer
15 years 10 months ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow