Sciweavers

12783 search results - page 870 / 2557
» Experimenting with computing
Sort
View
NDSS
1999
IEEE
15 years 12 months ago
A Real-World Analysis of Kerberos Password Security
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...
Thomas D. Wu
WCRE
1999
IEEE
15 years 12 months ago
Restructuring Functions with Low Cohesion
We present a technique for restructuring functions with low cohesion into functions with high cohesion. Such restructuring is desirable when re-architecting a legacy system into a...
Arun Lakhotia, Jean-Christophe Deprez
ICS
1999
Tsinghua U.
15 years 12 months ago
Performance impact of proxies in data intensive client-server applications
Large client-server data intensive applications can place high demands on system and network resources. This is especially true when the connection between the client and server s...
Michael D. Beynon, Alan Sussman, Joel H. Saltz
SPIN
1999
Springer
15 years 12 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
IPPS
1998
IEEE
15 years 12 months ago
SIMD and Mixed-Mode Implementations of a Visual Tracking Algorithm
This paper describes the implementation of a featurebased visual tracking algorithm on a SIMD MasPar MP-1 and the mixed-mode PASM prototype. The sequential algorithm is introduced...
Mark Bernd Kulaczewski, Howard Jay Siegel