2903 search results - page 66 / 581 » On the univalence of an integral operator |
160
click to vote
IH
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
171
click to vote
ACISP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The PCBC block cipher mode of operation has many variants, of which one, due to Meyer and Matyas, dates back over 20 years. Whilst a particularly simple variant of PCBC h...
163
click to vote
TAPSOFT
1991
Springer
15 years 9 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
173
click to vote
FAST
2009
15 years 4 months ago
2009
We present DIADS, an integrated DIAgnosis tool for Databases and Storage area networks (SANs). Existing diagnosis tools in this domain have a database-only (e.g., [11]) or SAN-onl...
183
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...