581 search results - page 80 / 117 » Systematic Implementation of Real-Time Models |
DBSEC
2001
13 years 11 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
CEC
2005
IEEE
14 years 3 months ago
2005
IEEE
The current work addresses the development of cognitive abilities in artificial organisms. In the proposed approach, neural network-based agent structures are employed to represen...
FMCO
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
Recent work on language models for information retrieval has shown that smoothing language models is crucial for achieving good retrieval performance. Many different effective smo...
ICCAD
2010
IEEE
13 years 7 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...