Sciweavers

3156 search results - page 12 / 632
» An address translation simulator
Sort
View
FASE
2008
Springer
14 years 11 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
CORR
2008
Springer
143views Education» more  CORR 2008»
14 years 9 months ago
On Reliability of Dynamic Addressing Routing Protocols in Mobile Ad Hoc Networks
In this paper, a reliability analysis is carried out to state a performance comparison between two recently proposed proactive routing algorithms. These protocols are able to scale...
Marcello Caleffi, Giancarlo Ferraiuolo, Luigi Paur...
NFM
2011
254views Formal Methods» more  NFM 2011»
14 years 4 months ago
A Tabular Expression Toolbox for Matlab/Simulink
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
Colin Eles, Mark Lawford
KIVS
2007
Springer
15 years 3 months ago
Key Exchange for Service Discovery in Secure Content Addressable Sensor Networks
Abstract. Secure Content Addressable Network (SCAN) is an architecture for service discovery in service centric sensor networks that enables dynamic service composition. This paper...
Hans-Joachim Hof, Ingmar Baumgart, Martina Zitterb...
SIPS
2007
IEEE
15 years 3 months ago
A New Video Compression Scheme Combining Conditional Replenishment and Address Event Representation
A novel video compression scheme is presented in this paper. This algorithm is implemented based on a conditional replenishment Address Event Representation (AER) imager, where im...
Harry. L. Hu, Amine Bermak, Dominique Martinez