565 search results - page 41 / 113 » Stochastic modeling of a power-managed system: construction ... |
162
click to vote
ICTIR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. An open challenge in information distillation is the evaluation and optimization of the utility of ranked lists with respect to flexible user interactions over multiple ...
153
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
149
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
172
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
140
click to vote
ISSE
2010
15 years 4 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...