Search Sciweavers | Sciweavers

4917 search results - page 155 / 984

» Software Engineering is Not Computer Science

152

click to vote

ISORC
2007
IEEE

127views Distributed And Parallel Com...» more ISORC 2007»

A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols

16 years 23 days ago

Download www.dis.uniroma1.it

Roberto Baldoni, Jean-Michel Hélary, Sara T...

claim paper

Read More »

151

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 19 days ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

137

click to vote

ISORC
2006
IEEE

84views Distributed And Parallel Com...» more ISORC 2006»

On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances

16 years 15 days ago

Download www.real-time.ece.vt.edu

Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Dou...

claim paper

Read More »

134

click to vote

ISORC
2006
IEEE

91views Distributed And Parallel Com...» more ISORC 2006»

Dependability Driven Integration of Mixed Criticality SW Components

16 years 15 days ago

Download www.deeds.informatik.tu-darmstadt.de

Shariful Islam, Robert Lindstrom, Neeraj Suri

claim paper

Read More »

136

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers