489 search results - page 40 / 98 » Reasoning about confidentiality at requirements engineering ... |
106
click to vote
MMMACNS
2005
Springer
15 years 6 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
125
click to vote
AAAI
2012
13 years 2 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
208
click to vote
POPL
2003
ACM
16 years 24 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
80
Voted
CHI
2009
ACM
15 years 5 months ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...
102
Voted
DEON
2006
Springer
15 years 4 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...