Search Sciweavers | Sciweavers

974 search results - page 7 / 195

» Formal Modeling of Communication Traces

168

Voted

EMSOFT
2008
Springer

169views Software Engineering» more EMSOFT 2008»

Automatically transforming and relating Uppaal models of embedded systems

15 years 8 months ago

Download www.tbrk.org

Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...

Timothy Bourke, Arcot Sowmya

claim paper

Read More »

149

click to vote

WMCSA
2008
IEEE

129views Communications» more WMCSA 2008»

Seeing our signals: combining location traces and web-based models for personal discovery

16 years 24 days ago

Download research.cens.ucla.edu

E. Agapie, Gong Chen, D. Houston, Eric Howard, J. ...

claim paper

Read More »

180

Voted

ECMDAFA
2007
Springer

100views Hardware» more ECMDAFA 2007»

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study

16 years 18 days ago

Download www.crim.ca

The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...

Andreas Ulrich, Alexandre Petrenko

claim paper

Read More »

175

click to vote

ICW
2005
IEEE

165views Communications» more ICW 2005»

Advanced Mobility Models for Ad Hoc Network Simulations

16 years 22 hour ago

Download www.it-innovations.ae

Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...

Abdoul-Kader Harouna Souley, Soumaya Cherkaoui

claim paper

Read More »

134

Voted

IFIP
2007
Springer

73views Programming Languages» more IFIP 2007»

Formal Modeling and Analysis of the Modbus Protocol

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers