Sciweavers

3018 search results - page 343 / 604
» Replicating for Performance: Case Studies
Sort
View
CASCON
2007
104views Education» more  CASCON 2007»
15 years 8 months ago
Identifying fault-prone files using static analysis alerts through singular value decomposition
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
Mark Sherriff, Sarah Smith Heckman, Mike Lake, Lau...
CLIMA
2007
15 years 8 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
IPCO
2008
114views Optimization» more  IPCO 2008»
15 years 8 months ago
The Stochastic Machine Replenishment Problem
We study the stochastic machine replenishment problem, which is a canonical special case of closed multiclass queuing systems in Markov decision theory. The problem models the sche...
Kamesh Munagala, Peng Shi
LREC
2008
112views Education» more  LREC 2008»
15 years 8 months ago
Can we Evaluate the Quality of Generated Text?
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...
David Hardcastle, Donia Scott
PTS
2008
123views Hardware» more  PTS 2008»
15 years 8 months ago
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...