Search Sciweavers | Sciweavers

15784 search results - page 735 / 3157

» Mega Software Engineering

144

click to vote

ISORC
2007
IEEE

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

Hardware-Near Programming in the Common Language Infrastructure

16 years 1 months ago

Download www.dcl.hpi.uni-potsdam.de

Stefan Richter, Andreas Rasche, Andreas Polze

claim paper

Read More »

173

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 »

186

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 »

153

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 »

170

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers