3971 search results - page 318 / 795 » On the Use of Properties in Java Applications |
205
click to vote
TSE
2010
15 years 1 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
157
click to vote
FCCM
2005
IEEE
16 years 9 days ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
180
click to vote
EUROPKI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
170
click to vote
MASCOTS
2010
15 years 8 months ago
2010
Recording raw network traffic for long-term periods can be extremely beneficial for a multitude of monitoring and security applications. However, storing all traffic of high volume...
196
click to vote
JCP
2006
15 years 6 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...