Search Sciweavers | Sciweavers

31387 search results - page 194 / 6278

» Abstracting abstract machines

125

click to vote

EMSOFT
2005
Springer

93views Software Engineering» more EMSOFT 2005»

Systems architecture: the empirical way: abstract architectures to 'optimal' systems

16 years 3 days ago

Download www.cecs.uci.edu

Graham R. Hellestrand

claim paper

Read More »

127

click to vote

EMSOFT
2005
Springer

82views Software Engineering» more EMSOFT 2005»

Power consumption profile analysis for security attack simulation in smart cards at high abstraction level

16 years 3 days ago

Download www.cs.york.ac.uk

Klaus Rothbart, Ulrich Neffe, Christian Steger, Re...

claim paper

Read More »

124

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

16 years 3 days ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

166

click to vote

FMCO
2005
Springer

156views Formal Methods» more FMCO 2005»

Abstraction and Refinement in Model Checking

16 years 3 days ago

Download fmco.liacs.nl

ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005

Orna Grumberg

claim paper

Read More »

122

click to vote

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers