3458 search results - page 117 / 692 » Abstracting Control |
130
click to vote
ISAMI
2010
14 years 9 months ago
2010
Abstract. In the present paper we describe IntelliDomo's learning model, an ontology-based expert system able to control a home automation system and to learn user's beha...
141
click to vote
MASS
2010
14 years 9 months ago
2010
Abstract--The impact of a jamming attack on wireless communication depends on a number of physical characteristics and network protocol parameters. In particular, it depends on the...
159
click to vote
IJSEKE
2011
14 years 5 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
303
Voted
ICSE
2012
IEEE-ACM
13 years 4 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
115
click to vote
DBSEC
2007
15 years 3 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...