2043 search results - page 372 / 409 » Reasoning About Security Models |
ETS
2000
IEEE
13 years 9 months ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...
JAISE
2010
13 years 4 months ago
2010
Negotiation is a process in which two or more parties aim to reach a joint agreement. As such negotiation involves rational decision making about options and issues. However, negot...
SPAA
2009
ACM
14 years 7 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
ZUM
1997
Springer
14 years 2 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...