3742 search results - page 567 / 749 » On the Use of Formal Techniques for Validation |
143
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
171
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
175
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
187
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
156
click to vote
AAAI
2008
15 years 8 months ago
2008
We present a computational model, MoralDM, which integrates several AI techniques in order to model recent psychological findings on moral decision-making. Current theories of mor...