578 search results - page 3 / 116 » Correctness by Construction: Developing a Commercial Secure ... |
EH
2002
IEEE
13 years 10 months ago
2002
IEEE
When will we be secure? Nobody knows for sure ā but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersā...
ENTCS
2007
13 years 5 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
āFormal methods provide remarkable tools allowing for high levels of conļ¬dence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
GRID
2007
Springer
13 years 5 months ago
2007
Springer
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...
SIAMDM
2010
13 years 3 months ago
2010
In this paper we study the problem of ļ¬nding maximally sized subsets of binary strings (codes) of equal length that are immune to a given number r of repetitions, in the sense th...