5423 search results - page 293 / 1085 » Denial-of-service in automation systems |
170
click to vote
PATAT
1997
Springer
15 years 11 months ago
1997
Springer
In October, 1996 we sent a questionnaire on the subject of university space allocation to the estate managers of ninety six British universities. This was conducted as part of the...
163
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
145
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
We describe a prototype system, the Interactive Office, which supports the occupant's daily activities in an office. Discrete sensors embedded in an office detect the occupan...
147
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
185
click to vote
LOPSTR
1994
Springer
15 years 11 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...