3971 search results - page 194 / 795 » On the Use of Properties in Java Applications |
181
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
162
click to vote
COLCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
In contrast to a large body of theoretical work on computer systems, distributed systems are not idealised constructions, unconstrained by physical world limitations. They must be...
178
click to vote
JCSS
2010
15 years 4 months ago
2010
We develop an algorithmically useful refinement of a forbidden submatrix characterization of 0/1-matrices fulfilling the Consecutive Ones Property (C1P). This characterization ...
165
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
140
click to vote
IJSN
2006
15 years 6 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...