Sciweavers

31 search results - page 1 / 7
» ieeeares 2010
Sort
View
111
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
Multi-dimensional Uncertainty Analysis in Secure and Dependable Domain
Yudistira Asnar, Paolo Giorgini
120
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
Information Flow in Disaster Management Systems
Achim D. Brucker, Dieter Hutter
IEEEARES
2010
IEEE
15 years 8 months ago
Formal Specification and Analysis of an E-voting System
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...
IEEEARES
2010
IEEE
15 years 10 months ago
Katana: A Hot Patching Framework for ELF Executables
Ashwin Ramaswamy, Sergey Bratus, Sean W. Smith, Mi...
IEEEARES
2010
IEEE
15 years 10 months ago
Investigating the Limitations of Java Annotations for Input Validation
—Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security....
Federico Mancini, Dag Hovland, Khalid A. Mughal