902 search results - page 156 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
137
Voted
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
86
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
92
Voted
LORI
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
108
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
92
Voted
EUROCRYPT
1999
Springer
15 years 4 months ago
1999
Springer
In one proposed use of digital watermarks, the owner of a document D sells slightly different documents, D1 , D2 , . . . to each buyer; if a buyer posts his/her document Di to the...