449 search results - page 26 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
101
Voted
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...
115
click to vote
SIMVIS
2004
15 years 2 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
109
click to vote
DAGSTUHL
2004
15 years 2 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
127
click to vote
SASN
2003
ACM
15 years 6 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
114
click to vote
IFM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...