4445 search results - page 433 / 889 » Reflective Authorization Systems |
164
click to vote
IEEEMSP
2002
IEEE
16 years 16 days ago
2002
IEEE
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
185
click to vote
EICS
2010
ACM
15 years 12 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
207
click to vote
ISIPTA
1999
IEEE
15 years 12 months ago
1999
IEEE
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...
202
click to vote
ICIAP
1999
ACM
15 years 12 months ago
1999
ACM
In the field of pattern recognition, the concept of Multiple Classifier Systems (MCSs) was proposed as a method for the development of high performance classification systems. At ...
194
click to vote
TACAS
1999
Springer
15 years 12 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...