1124 search results - page 162 / 225 » Generalized Conditioning in Neighbourhood Models |
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe an approach to building security services for context-aware environments. Specifically, we focus on the design of security services that incorporate the use of securi...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
HRI
2007
ACM
14 years 23 days ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
DAGSTUHL
2007
13 years 10 months ago
2007
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
AIML
2004
13 years 10 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...