Search Sciweavers | Sciweavers

31387 search results - page 159 / 6278

» Abstracts

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 21 hour 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 21 hour 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 20 hour ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

165

click to vote

FMCO
2005
Springer

156views Formal Methods» more FMCO 2005»

Abstraction and Refinement in Model Checking

16 years 18 hour 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 »

121

click to vote

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

16 years 18 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers