2004 search results - page 289 / 401 » Comparison of Model Checking Tools for Information Systems |
158
click to vote
MASCOTS
2010
15 years 2 months ago
2010
—Flash-based Solid-State Drives (SSDs) have become a promising alternative to magnetic Hard Disk Drives (HDDs) thanks to the large improvements in performance, power consumption,...
157
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
118
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
144
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
129
click to vote
ISI
2007
Springer
15 years 10 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...