3799 search results - page 99 / 760 » An Engineering Approach to Formal Methods |
CCS
2009
ACM
14 years 9 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
DASFAA
2004
IEEE
14 years 25 days ago
2004
IEEE
A meta-search engine propagates user queries to its participant search engines following a server selection strategy. To facilitate server selection, the metasearch engine must ke...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
COMPSEC
2004
13 years 9 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
ASPDAC
2009
ACM
14 years 1 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...