1419 search results - page 63 / 284 » Notes on Formalizing Context |
106
Voted
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
Pervasive computing environments introduce new requirements in expressiveness and flexibility of access control policies which are almost addressable leveraging contextual informa...
114
Voted
UAI
1996
15 years 1 months ago
1996
Bayesiannetworks provide a languagefor qualitatively representing the conditional independence properties of a distribution. This allows a natural and compact representation of th...
90
Voted
AAMAS
2008
Springer
15 years 22 days ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
220
Voted
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
108
Voted
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...