Search Sciweavers | Sciweavers

7209 search results - page 71 / 1442

» Software Engineering for Multi-Agent Systems

185

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 »

142

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

15 years 9 months ago

Download users.eecs.northwestern.edu

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

claim paper

Read More »

143

Voted

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 »

153

click to vote

ADAEUROPE
2010
Springer

237views Software Engineering» more ADAEUROPE 2010»

Cache-Aware Development of High-Integrity Systems

15 years 8 months ago

Download www.disca.upv.es

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

claim paper

Read More »

162

click to vote

ADAEUROPE
2010
Springer

242views Software Engineering» more ADAEUROPE 2010»

Managing Transactions in Flexible Distributed Real-Time Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers