2043 search results - page 233 / 409 » Reasoning About Security Models |
149
click to vote
AAAI
1997
15 years 7 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
146
click to vote
AAAI
1996
15 years 7 months ago
1996
Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...
152
click to vote
IPL
2010
15 years 4 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
173
click to vote
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
190
click to vote
ESOP
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...