Sciweavers

31 search results - page 1 / 7
» ieeeares 2010
Sort
View
IEEEARES
2010
IEEE
14 years 9 days ago
Information Flow in Disaster Management Systems
Achim D. Brucker, Dieter Hutter
IEEEARES
2010
IEEE
13 years 9 months ago
Formal Specification and Analysis of an E-voting System
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...
IEEEARES
2010
IEEE
14 years 9 days ago
Katana: A Hot Patching Framework for ELF Executables
Ashwin Ramaswamy, Sergey Bratus, Sean W. Smith, Mi...
IEEEARES
2010
IEEE
14 years 9 days 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