902 search results - page 139 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
168
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
163
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
124
click to vote
PET
2009
Springer
16 years 22 days ago
2009
Springer
Delivery of products bought online can violate consumers’ privacy, although not in a straightforward way. In particular, delivery companies that have contracted with a website kn...
160
click to vote
ISPW
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...