3056 search results - page 395 / 612 » Open Implementation Analysis and Design |
177
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
178
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
170
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
198
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
168
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...