Sciweavers

1411 search results - page 92 / 283
» Case Studies of an Insider Framework
Sort
View
BPSC
2010
139views Business» more  BPSC 2010»
14 years 9 months ago
Static Information Flow Analysis of Workflow Models
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
Rafael Accorsi, Claus Wonnemann
HAIS
2011
Springer
14 years 2 months ago
JCLEC Meets WEKA!
WEKA has recently become a very referenced DM tool. In spite of all the functionality it provides, it does not include any framework for the development of evolutionary algorithms....
Alberto Cano, José María Luna, Juan ...
OZCHI
2006
ACM
15 years 5 months ago
Mobile helper for university students: a design for a mobile learning environment
This paper reports on a design case study for a mobile learning (M-learning) environment that follows a usercentred design approach. This development of the system applied an M-le...
Richard Brown, Hokyoung Ryu, David Parsons
VMCAI
2009
Springer
15 years 5 months ago
An Abort-Aware Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
Kousha Etessami, Patrice Godefroid
SAC
2009
ACM
15 years 3 months ago
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...