1662 search results - page 102 / 333 » Privately Finding Specifications |
220
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Graphs have become popular for modeling structured data. As a result, graph queries are becoming common and graph indexing has come to play an essential role in query processing. ...
139
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
181
Voted
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
123
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
People regularly interact with different representations of Web pages. A person looking for new information may initially find a Web page represented as a short snippet rendered b...
117
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
We present results from a study examining how American Protestant Christians' faith affects their domestic life. There are two contributions of this work for the HCI communit...