Search Sciweavers | Sciweavers

8623 search results - page 42 / 1725

» Software engineering for secure systems

134

click to vote

FASE
2009
Springer

126views Software Engineering» more FASE 2009»

CADS*: Computer-Aided Development of Self-* Systems

16 years 24 days ago

Download qav.comlab.ox.ac.uk

Radu Calinescu, Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

COMPSAC
2009
IEEE

94views Software Engineering» more COMPSAC 2009»

PAIDS: A Proximity-Assisted Intrusion Detection System for Unidentified Worms

16 years 23 days ago

Download web.eng.fiu.edu

Zhenyun Zhuang, Ying Li, Zesheng Chen

claim paper

Read More »

114

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 17 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

126

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

16 years 17 days ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

141

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers