Search Sciweavers | Sciweavers

2836 search results - page 33 / 568

» Model Checking for Software Architectures

108

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

15 years 10 months ago

Download swerl.tudelft.nl

Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG

Paul Taverne, Cornelis Pronk

claim paper

Read More »

100

Voted

DAC
2003
ACM

123views Computer Architecture» more DAC 2003»

SAT-based unbounded symbolic model checking

16 years 4 months ago

Download ics.kaist.ac.kr

Hyeong-Ju Kang, In-Cheol Park

claim paper

Read More »

click to vote

DAC
1999
ACM

128views Computer Architecture» more DAC 1999»

Symbolic Model Checking Using SAT Procedures instead of BDDs

16 years 4 months ago

Download reports-archive.adm.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

Voted

CHI
1997
ACM

106views Human Computer Interaction» more CHI 1997»

From Single-User Architectural Design to PAC*: a Generic Software Architecture Model for CSCW

15 years 7 months ago

Download iihm.imag.fr

Gaëlle Calvary, Joëlle Coutaz, Laurence ...

claim paper

Read More »

Voted

DAGSTUHL
2004

86views Software Engineering» more DAGSTUHL 2004»

Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers