Search Sciweavers | Sciweavers

4211 search results - page 36 / 843

» A formal approach to MASQ

144

click to vote

AOSE
2004
Springer

114views Intelligent Agents» more AOSE 2004»

A Formal Reuse-Based Approach for Interactively Designing Organizations

15 years 11 months ago

Download www.ai.rug.nl

Catholijn M. Jonker, Jan Treur, Pinar Yolum

claim paper

Read More »

174

click to vote

ICFEM
2004
Springer

86views Software Engineering» more ICFEM 2004»

Model-Based Development: Combining Engineering Approaches and Formal Techniques

15 years 11 months ago

Download www4.in.tum.de

Bernhard Schätz

claim paper

Read More »

116

click to vote

CMSB
2003
Springer

101views Applied Computing» more CMSB 2003»

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

15 years 11 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

15 years 11 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

113

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers