10038 search results - page 565 / 2008 » Model Checking for Managers |
193
click to vote
FMOODS
2003
15 years 8 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
204
click to vote
NAACL
1994
15 years 8 months ago
1994
This research characterizes the spontaneous spoken disfluencies typical of human-computer interaction, and presents a predictive model accounting for their occurrence. Data were c...
211
click to vote
HPCC
2010
Springer
15 years 8 months ago
2010
Springer
Dedicated computing clusters are typically sized based on an expected average workload over a period of years, rather than on peak workloads, which might exist for relatively shor...
179
click to vote
ANOR
2005
15 years 7 months ago
2005
This paper discusses decision making of project funding allocation under uncertain project costs. Because project costs are uncertain and funding allocations may not necessarily ma...
225
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...