Search Sciweavers | Sciweavers

8022 search results - page 36 / 1605

» Predictability in Critical Systems

135

click to vote

SAFECOMP
2009
Springer

103views Security Privacy» more SAFECOMP 2009»

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware

16 years 1 months ago

Download wwwse.inf.tu-dresden.de

Christof Fetzer, Ute Schiffel, Martin Sü&szli...

claim paper

Read More »

153

click to vote

FMICS
2007
Springer

125views Formal Methods» more FMICS 2007»

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

16 years 20 days ago

Download www.cse.iitb.ac.in

Gérard Berry

claim paper

Read More »

117

click to vote

ACSAC
2005
IEEE

129views Security Privacy» more ACSAC 2005»

Survivability Architecture of a Mission Critical System: The DPASA Example

16 years 3 days ago

Download www.bbn.com

Jennifer Chong, Partha Pratim Pal, Michael Atighet...

claim paper

Read More »

156

click to vote

AE
2005
Springer

107views Artificial Intelligence» more AE 2005»

A Critical View of the Evolutionary Design of Self-assembling Systems

16 years 1 days ago

Download www.cs.nott.ac.uk

Natalio Krasnogor, Graciela Terrazas, David A. Pel...

claim paper

Read More »

133

click to vote

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers