Search Sciweavers | Sciweavers

15777 search results - page 692 / 3156

» The Reformulation-Optimization Software Engine

169

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 »

181

click to vote

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

16 years 1 months ago

Download goanna.cs.rmit.edu.au

Juraj Polakovic, Sebastien Mazare, Jean-Bernard St...

claim paper

Read More »

149

click to vote

CBSE
2007
Springer

72views Software Engineering» more CBSE 2007»

A Framework for Contract-Based Collaborative Verification and Validation of Web Services

16 years 1 months ago

Download goanna.cs.rmit.edu.au

Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsa...

claim paper

Read More »

168

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 »

123

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers