Search Sciweavers | Sciweavers

16725 search results - page 104 / 3345

» Engineering Software Correctness

165

Voted

GECCO
2006
Springer

202views Optimization» more GECCO 2006»

Human competitive security protocols synthesis

15 years 11 months ago

Download www.cs.bham.ac.uk

This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...

Hao Chen, John A. Clark, Jeremy Jacob

claim paper

Read More »

138

Voted

ICSE
2009
IEEE-ACM

94views Software Engineering» more ICSE 2009»

Automatic dimension inference and checking for object-oriented programs

16 years 8 months ago

Download suif.stanford.edu

Sudheendra Hangal, Monica S. Lam

claim paper

Read More »

128

click to vote

SIGSOFT
2003
ACM

76views Software Engineering» more SIGSOFT 2003»

Gravity: supporting dynamically available services in client-side applications

16 years 8 months ago

Download www.humbertocervantes.net

Richard S. Hall, Humberto Cervantes

claim paper

Read More »

173

click to vote

SIGSOFT
2003
ACM

164views Software Engineering» more SIGSOFT 2003»

Computer modelling and natural phenomena

16 years 8 months ago

Download www.unitn.it

Giuseppe Longo

claim paper

Read More »

165

click to vote

SIGSOFT
2003
ACM

131views Software Engineering» more SIGSOFT 2003»

Verified systems by composition from verified components

16 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers