449 search results - page 51 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
112
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
111
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
101
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—The Internet AS level topology, upon which BGP4 runs, plays a vital role in the analysis and study of the global routing behavior. However, the study of the topology itself is n...
118
Voted
ACISP
2007
Springer
15 years 7 months ago
2007
Springer
This paper studies the interplay of network connectivity and perfectly secure message transmission under the corrupting influence of a Byzantine mobile adversary that may move from...
127
Voted
ICCSA
2007
Springer
15 years 9 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...