10182 search results - page 1470 / 2037 » Case Studies |
203
Voted
ENTCS
2006
15 years 7 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
225
click to vote
ENTCS
2006
15 years 7 months ago
2006
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
226
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
186
click to vote
EOR
2006
15 years 7 months ago
2006
The success of a company increasingly depends on timely information (internal or external) being available to the right person at the right time for crucial managerial decision-ma...
268
click to vote
IJDMMM
2008
15 years 7 months ago
2008
: Combining multiple data sources, each with its own features, to achieve optimal inference has received a lot of attention in recent years. In inference from multiple data sources...