2004 search results - page 289 / 401 » Comparison of Model Checking Tools for Information Systems |
167
Voted
MASCOTS
2010
15 years 3 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,...
161
Voted
BMCBI
2006
15 years 5 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 ...
121
click to vote
AOSD
2006
ACM
15 years 11 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-...
152
click to vote
SAC
2006
ACM
15 years 5 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...
133
Voted
ISI
2007
Springer
15 years 11 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...