Search Sciweavers | Sciweavers

15155 search results - page 37 / 3031

» System Software

104

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

137

click to vote

APSEC
2002
IEEE

93views Software Engineering» more APSEC 2002»

Extracting threads from concurrent objects for the design of embedded systems

15 years 11 months ago

Download www-dse.doc.ic.ac.uk

Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama

claim paper

Read More »

134

click to vote

COMPSAC
2002
IEEE

119views Software Engineering» more COMPSAC 2002»

Dependable On-Line Upgrading of Distributed Systems

15 years 11 months ago

Download www.cs.ncl.ac.uk

Alexander B. Romanovsky, Iain Smith

claim paper

Read More »

109

click to vote

ICSM
2002
IEEE

94views Software Engineering» more ICSM 2002»

Using Execution Trace Data to Improve Distributed Systems

15 years 10 months ago

Download www.sm.luth.se

Johan Moe, Kristian Sandahl

claim paper

Read More »

138

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers