Search Sciweavers | Sciweavers

4917 search results - page 155 / 984

» Software Engineering is Not Computer Science

159

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 1 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

160

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 1 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

146

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 25 days ago

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

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

claim paper

Read More »

143

click to vote

ISORC
2006
IEEE

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

Dependability Driven Integration of Mixed Criticality SW Components

16 years 25 days ago

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

Shariful Islam, Robert Lindstrom, Neeraj Suri

claim paper

Read More »

147

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers