4341 search results - page 19 / 869 » Quantitative Model checking |
SEMCO
2008
IEEE
14 years 3 months ago
2008
IEEE
Where are all the semantic Web services today? In this paper, we report on quantitative results of searching the surface Web and the prominent citeseer archive as one element of t...
NIPS
2001
13 years 10 months ago
2001
In this paper we explore two quantitative approaches to the modelling of counterfactual reasoning
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
IM
2003
13 years 10 months ago
2003
: Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...
APSEC
2010
IEEE
13 years 3 months ago
2010
IEEE
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...