Sciweavers

593 search results - page 21 / 119
» tools 2011
Sort
View
133
Voted
DIMVA
2011
14 years 7 months ago
Escape from Monkey Island: Evading High-Interaction Honeyclients
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...
Alexandros Kapravelos, Marco Cova, Christopher Kru...
281
Voted
FPGA
2011
ACM
401views FPGA» more  FPGA 2011»
14 years 7 months ago
LegUp: high-level synthesis for FPGA-based processor/accelerator systems
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
Andrew Canis, Jongsok Choi, Mark Aldham, Victor Zh...
238
Voted
CADE
2011
Springer
14 years 3 months ago
ASASP: Automated Symbolic Analysis of Security Policies
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
Francesco Alberti, Alessandro Armando, Silvio Rani...
139
Voted
EOR
2011
113views more  EOR 2011»
14 years 10 months ago
A relation-algebraic approach to simple games
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...
Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinow...
228
Voted
ICONFERENCE
2011
14 years 10 months ago
Expressing well-being online: towards self-reflection and social awareness
Medicine, psychology and quality of life literature all point to the importance of not just asking ‘how are you?’, but assessing and being aware of self and others’ well-bei...
Paul André, Monica M. C. Schraefel, Alan J....