Search Sciweavers | Sciweavers

7393 search results - page 77 / 1479

» Synthesis-for-testability using transformations

101

click to vote

ECEASST
2008

79views more ECEASST 2008»

Using Graph Transformation Systems to Specify and Verify Data Abstractions

15 years 3 months ago

Download opus.kobv.de

fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tizi...

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia...

claim paper

Read More »

106

click to vote

ECEASST
2008

70views more ECEASST 2008»

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems

15 years 3 months ago

Download rap.dsi.unifi.it

Ajab Khan, Paolo Torrini, Reiko Heckel

claim paper

Read More »

click to vote

ECEASST
2006

48views more ECEASST 2006»

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

15 years 2 months ago

Download www.dsi.unive.it

Szilvia Varró-Gyapay, Dániel Varr&oa...

claim paper

Read More »

click to vote

IEICET
2006

46views more IEICET 2006»

A Linear Time Algorithm for Binary Fingerprint Image Denoising Using Distance Transform

15 years 2 months ago

Download www.jaist.ac.jp

Xuefeng Liang, Tetsuo Asano

claim paper

Read More »

click to vote

IEICET
2006

50views more IEICET 2006»

Synthesizing Microstrip Dual-Band Bandpass Filters Using Frequency Transformation and Circuit Conversion Technique

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers