4511 search results - page 305 / 903 » Observation Based System Security |
171
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
150
click to vote
WCET
2008
15 years 8 months ago
2008
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
209
Voted
KES
2008
Springer
15 years 6 months ago
2008
Springer
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
166
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we describe a new nonlinear estimator for filtering systems with nonlinear process and observation models, based on the optimization with RGO (Restricted Ge...
206
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Role based access control (RBAC) allows users access to resources based on their competencies and responsibilities within an organization. Typically, RBAC is provided as a securit...