Search Sciweavers | Sciweavers

8623 search results - page 96 / 1725

» Software engineering for secure systems

click to vote

CODES
2001
IEEE

76views Software Engineering» more CODES 2001»

Minimizing system modification in an incremental design approach

14 years 24 days ago

Download www.ida.liu.se

Paul Pop, Petru Eles, Traian Pop, Zebo Peng

claim paper

Read More »

click to vote

FSTTCS
2000
Springer

94views Software Engineering» more FSTTCS 2000»

Arithmetic Circuits and Polynomial Replacement Systems

14 years 22 days ago

Download www.thi.uni-hannover.de

Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner

claim paper

Read More »

click to vote

WCRE
1998
IEEE

94views Software Engineering» more WCRE 1998»

Program Comprehension in Multi-Language Systems

14 years 21 days ago

Download www.uni-koblenz.de

Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...

claim paper

Read More »

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

14 years 20 days ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers