19003 search results - page 126 / 3801 » We Need Assurance! |
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
CISIS
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—We investigate distributed channel-aware random access for networks with arbitrary topologies and traffic distributions, where users can receive traffic from or send traffic ...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
ICSOC
2009
Springer
14 years 3 months ago
2009
Springer
Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to ch...