5423 search results - page 158 / 1085 » Denial-of-service in automation systems |
171
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
161
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
171
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
166
click to vote
AIEDAM
2004
15 years 6 months ago
2004
Can artificial systems be creative? Can they be designed to be creative on their own? And what are the requirements of such creative artificial systems? To be able to support human...
165
click to vote
ISMB
1993
15 years 7 months ago
1993
Wesurvey and discuss issues required of intelligent systems to support research efforts in locus mapping. In particular wefocus on the issues of order, on howone can automate the ...