6413 search results - page 1159 / 1283 » Classes of cycle bases |
99
Voted
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
130
click to vote
RTCSA
2003
IEEE
15 years 6 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
110
click to vote
ADBIS
2003
Springer
15 years 6 months ago
2003
Springer
Recent research has shown the integration of multiple classifiers to be one of the most important directions in machine learning and data mining. It was shown that, for an ensemble...
108
click to vote
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
We deal with computational assumptions needed in order to design secure cryptographic schemes. We suggest a classi£cation of such assumptions based on the complexity of falsifying...
126
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...