Search Sciweavers | Sciweavers

16725 search results - page 628 / 3345

» Engineering Software Correctness

148

click to vote

CGO
2007
IEEE

101views Software Engineering» more CGO 2007»

Graph-Based Procedural Abstraction

16 years 1 months ago

Download www2.informatik.uni-erlangen.de

A. Dreweke, Marc Wörlein, Ingrid Fischer, D. ...

claim paper

Read More »

154

click to vote

CISIS
2007
IEEE

100views Software Engineering» more CISIS 2007»

A Real-Time Component-Oriented Middleware for Wireless Sensor and Actor Networks

16 years 1 months ago

Download www.smepp.org

Javier Barbarán, Manuel Díaz, Inaki ...

claim paper

Read More »

122

click to vote

COMPSAC
2007
IEEE

129views Software Engineering» more COMPSAC 2007»

Study on GML Spatial Interoperability based on Web Service

16 years 1 months ago

Download rd.hwc.edu.tw

Shuliang Zhang, Jiayan Gan, LiZhi Miao, Guonian Lv...

claim paper

Read More »

138

click to vote

TASE
2007
IEEE

108views Software Engineering» more TASE 2007»

Varieties of Static Analyzers: A Comparison with ASTREE

16 years 1 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot, Jérôme...

claim paper

Read More »

138

click to vote

COMPSAC
2007
IEEE

128views Software Engineering» more COMPSAC 2007»

Adaptive Agent Model: an Agent Interaction and Computation Model

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers