449 search results - page 51 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
ISOLA
2010
Springer
14 years 12 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...
DAC
2005
ACM
16 years 2 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...
86
Voted
ICC
2007
IEEE
15 years 7 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...
100
click to vote
ACISP
2007
Springer
15 years 5 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...
108
click to vote
ICCSA
2007
Springer
15 years 7 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...