613 search results - page 31 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
DFG
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
We present a method to classify images into different categories of pornographic content to create a system for filtering pornographic images from network traffic. Although differ...