3073 search results - page 42 / 615 » Real World Verification |
CSEE
1999
Springer
13 years 12 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
NDSS
1999
IEEE
13 years 12 months ago
1999
IEEE
Kerberos is a distributed authentication system that many organizations use to handle domain-wide password security. Although it has been known for quite some time that Kerberos i...
MA
1999
Springer
13 years 12 months ago
1999
Springer
Many real-world tasks can be decomposed into pipelines of sequential operations (where subtasks may themselves be composed of one or more pipelines). JGram is a framework enabling...
SIGMOD
1997
ACM
13 years 11 months ago
1997
ACM
COMPCON
1994
IEEE
13 years 11 months ago
1994
IEEE