4595 search results - page 784 / 919 » Reasoning about Plans |
CIB
2002
13 years 8 months ago
2002
The web log data embed much of web users' browsing behavior. From the web logs, one can discover patterns that predict the users' future requests based on their current b...
COMPSEC
2002
13 years 8 months ago
2002
In a user hierarchy we say that a security class is subordinate to another security class if the former has a lower security privilege than the latter. To implement such a hierarc...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
ETS
2000
IEEE
13 years 8 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...
ENTCS
2002
13 years 8 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...