449 search results - page 74 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— Broadcast protocols play a vital role in multihop wireless networks. Due to the broadcast nature of radio signals, a node’s interference range can be larger than its transmis...
ENTCS
2007
14 years 11 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
108
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
101
Voted
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...