Search Sciweavers | Sciweavers

10669 search results - page 84 / 2134

» Software - Implemented Self-healing System

167

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 10 months ago

Download react.cs.uni-sb.de

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

claim paper

Read More »

128

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

15 years 8 months ago

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...

claim paper

Read More »

130

click to vote

IESA
2007

103views Software Engineering» more IESA 2007»

Towards Interoperable Healthcare Information Systems: The HL7 Conformance Profile Approach

15 years 8 months ago

Download www.itl.nist.gov

Robert Snelick, P. Rontey, Leonard Gebase, L. Carn...

claim paper

Read More »

131

click to vote

ADAEUROPE
2010
Springer

237views Software Engineering» more ADAEUROPE 2010»

Cache-Aware Development of High-Integrity Systems

15 years 7 months ago

Download www.disca.upv.es

Enrico Mezzetti, Adam Betts, José Ruiz, Tul...

claim paper

Read More »

147

click to vote

ADAEUROPE
2010
Springer

242views Software Engineering» more ADAEUROPE 2010»

Managing Transactions in Flexible Distributed Real-Time Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers