5353 search results - page 163 / 1071 » Modelling Contexts in the Or-BAC Model |
145
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Theoretical accounts of task resumption after interruption have almost exclusively argued for resumption as a primarily memory-based process. In contrast, for many task domains, r...
178
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
208
click to vote
IEEEICCI
2009
IEEE
16 years 1 months ago
2009
IEEE
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
241
click to vote
ECUMN
2007
Springer
16 years 23 days ago
2007
Springer
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...
160
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...