639 search results - page 3 / 128 » About Norms and Causes |
CCS
2005
ACM
13 years 11 months ago
2005
ACM
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciï...
POPL
2003
ACM
14 years 5 months 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...
NIPS
2008
13 years 7 months ago
2008
We describe an application of probabilistic modeling and inference technology to the problem of analyzing sensor data in the setting of an intensive care unit (ICU). In particular...
AIL
1999
13 years 5 months ago
1999
In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide th...