2623 search results - page 137 / 525 » tools 2010 |
ESORICS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
ASSETS
2010
ACM
13 years 10 months ago
2010
ACM
We conducted interviews with blind and deaf-blind people to understand how they use the public transit system. In this paper, we discuss key challenges our participants faced and ...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
We describe Currawong, a tool to perform system software architecture optimisation. Currawong is an extensible tool which applies optimisations at the point where an application i...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations o...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...