3082 search results - page 447 / 617 » Deviation Analysis: A New Use of Model Checking |
169
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Hardware performance monitoring is the basis of modern performance analysis tools for application optimization. We are interested in providing such performance analysis tools for t...
182
click to vote
JIPS
2010
15 years 1 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
179
click to vote
CDVE
2007
Springer
16 years 16 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
191
click to vote
DEXA
2009
Springer
16 years 28 days ago
2009
Springer
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
169
click to vote
SEC
2008
15 years 7 months ago
2008
Many applications inherently disclose information because perfect privacy protection is prohibitively expensive. RFID tags, for example, cannot be equipped with the cryptographic p...