Sciweavers

3122 search results - page 89 / 625
» A Theory of Network Equivalence
Sort
View
FROCOS
2007
Springer
16 years 11 days ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
EUSFLAT
2003
131views Fuzzy Logic» more  EUSFLAT 2003»
15 years 7 months ago
From communication networks to fuzzy sets
In 1931 and 1935, Ernst Adolph Guillemin, professor of electrical engineering at Masachusetts Institute of Technology (MIT), published the two volumes of his book “Communication...
Rudolf Seising
HICSS
2006
IEEE
62views Biometrics» more  HICSS 2006»
16 years 7 days ago
Structuration, Emancipation and Democracy
The study investigates the role of ICT in facilitating democracy. The role of ICT in maintaining status quo, or structure of the society can be explained using structuration theor...
Ook Lee
CCR
2008
88views more  CCR 2008»
15 years 6 months ago
My ten favorite "practical theory" papers
As the saying goes, "In theory there is no difference between theory and practice. But, in practice, there is." Networking research has a wealth of good papers on both s...
Jennifer Rexford
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 7 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson