Search Sciweavers | Sciweavers

4211 search results - page 36 / 843

» A formal approach to MASQ

click to vote

AOSE
2004
Springer

114views Intelligent Agents» more AOSE 2004»

A Formal Reuse-Based Approach for Interactively Designing Organizations

14 years 4 months ago

Download www.ai.rug.nl

Catholijn M. Jonker, Jan Treur, Pinar Yolum

claim paper

Read More »

click to vote

ICFEM
2004
Springer

86views Software Engineering» more ICFEM 2004»

Model-Based Development: Combining Engineering Approaches and Formal Techniques

14 years 4 months ago

Download www4.in.tum.de

Bernhard Schätz

claim paper

Read More »

click to vote

CMSB
2003
Springer

101views Applied Computing» more CMSB 2003»

Formal Modeling of C. elegans Development: A Scenario-Based Approach

14 years 4 months ago

Download www.nyu.edu

Na'aman Kam, David Harel, Hillel Kugler, Rami Mare...

claim paper

Read More »

click to vote

GLVLSI
2002
IEEE

73views VLSI» more GLVLSI 2002»

An error simulation based approach to measure error coverage of formal properties

14 years 3 months ago

Download www.cecs.uci.edu

Paolo Azzoni, Andrea Fedeli, Franco Fummi, Grazian...

claim paper

Read More »

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers