1128 search results - page 64 / 226 » Dynamic Communication Models in Embedded System Co-Simulatio... |
FM
2006
Springer
15 years 1 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
— We focus in this paper on the cross-layer modeling of the integration of streaming and elastic flows in the downlink of UMTS/HSDPA systems. Streaming flows are transported ov...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...
SOFTVIS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...