3073 search results - page 42 / 615 » Real World Verification |
112
click to vote
CSEE
1999
Springer
15 years 4 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
15 years 4 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...
129
click to vote
MA
1999
Springer
15 years 4 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
15 years 4 months ago
1997
ACM
COMPCON
1994
IEEE
15 years 4 months ago
1994
IEEE