3742 search results - page 546 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...
181
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
157
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents novel methodologies for the analysis of continuous cellular tower data from 215 randomly sampled subjects in a major urban city. We demonstrate the potential of...
160
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
In this work, we apply the rebound attack to the AES based SHA-3 candidate Lane. The hash function Lane uses a permutation based compression function, consisting of a linear messag...
158
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the application of restricted relationship graphs (RDF) and statistical NLP techniques to improve named entity annotation in challenging Informal English domain...