Sciweavers

1218 search results - page 76 / 244
» The many facets of natural computing
Sort
View
DANCE
2002
IEEE
15 years 11 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
ERSHOV
1999
Springer
15 years 10 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...
NDSS
1999
IEEE
15 years 10 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
CGI
1997
IEEE
15 years 10 months ago
Distortion Correction of Magnetic Fields for Position Tracking
Electro-magnetic tracking systems are in wide-spread use for measuring 6D positions. However, their accuracy is impaired seriously by distortions of the magnetic fields caused by...
Gabriel Zachmann
RANDOM
1998
Springer
15 years 10 months ago
A Derandomization Using Min-Wise Independent Permutations
abstract for submission to Random '98 not for distribution Andrei Z. Broder Moses Charikar Michael Mitzenmacher Min-wise independence is a recently introduced notion of limit...
Andrei Z. Broder, Moses Charikar, Michael Mitzenma...