902 search results - page 139 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
106
Voted
KCAP
2003
ACM
15 years 5 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 ...
127
click to vote
POPL
2012
ACM
13 years 8 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...
109
click to vote
ESORICS
2002
Springer
16 years 4 days 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...
77
Voted
PET
2009
Springer
15 years 7 months 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...
109
Voted
ISPW
2006
IEEE
15 years 6 months 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...