2661 search results - page 104 / 533 » Model Checking Performability Properties |
102
Voted
SOCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
114
click to vote
FLAIRS
2000
15 years 3 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...
114
Voted
CAV
2009
Springer
15 years 9 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
127
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
114
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...