2446 search results - page 410 / 490 » Principles of dataspace systems |
WORM
2003
13 years 10 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
ECIS
2000
13 years 10 months ago
2000
The concept of context-dependent access control has emerged during the last years: Information about the state of a process model of a working environment is combined with general ...
AVI
1996
13 years 10 months ago
1996
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...
IJCAI
1993
13 years 10 months ago
1993
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
CIIA
2009
13 years 10 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...