Results for:
"
Konstantin+Melnikov
" in Documents
- A Model for Security 2000 1 citations ? 0 self
- According to the FBI/CSI 1999/2001 Computer Crime and Security Survey: ? 93 % of US companies used access control mechanisms ? 55 % of US companies detected unauthorized access to information by insid...
-
Rating:
Views: (1003)
Pages: ()
Uploaded: 13-05-09
- Authentication Authorization Reference Monitor
- According to the FBI/CSI 1999/2001 Computer Crime and Security Survey: ? 93 % of US companies used access control mechanisms ? 55 % of US companies detected unauthorized access to information by insid...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- New Directions in Instantiation-Based Theorem Proving
- We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We give a model constructi...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 15-05-09
- New Directions in Instantiation-Based Theorem Proving
- We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We give a model constructi...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- TCP in Presence of Bursty Losses 2000
- In this paper we analyze the performance of a TCP-like AEow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate; whenever a loss occur...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- TCP in Presence of Bursty Losses 2000
- In this paper we analyze the performance of a TCP-like AEow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate; whenever a loss occur...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- TCP in Presence of Bursty Losses 2000
- In this paper we analyze the performance of a TCP-like AEow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate; whenever a loss occur...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- Safe Structural Conformance for Java 1998 19 citations ? 2 self
- In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conformance to interfaces: An...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09