3971 search results - page 109 / 795 » On the Use of Properties in Java Applications |
163
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
120
click to vote
COMCOM
2000
15 years 4 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
135
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
A graph property is called monotone if it is closed under taking (not necessarily induced) subgraphs (or, equivalently, if it is closed under removal of edges and vertices). Many ...
134
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
136
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
We present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distr...