Search Sciweavers | Sciweavers

15777 search results - page 114 / 3156

» The Reformulation-Optimization Software Engine

159

click to vote

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Behavior Capture and Test for Verifying Evolving Component-Based Systems

16 years 3 days ago

Download www.lta.disco.unimib.it

Leonardo Mariani

claim paper

Read More »

155

click to vote

PSSE
2004
Springer

105views Software Engineering» more PSSE 2004»

A Tutorial Introduction to CSP in Unifying Theories of Programming

16 years 3 days ago

Download www.cs.york.ac.uk

Ana Cavalcanti, Jim Woodcock

claim paper

Read More »

143

click to vote

PSSE
2004
Springer

100views Software Engineering» more PSSE 2004»

Real-Time and Fault-Tolerant Systems

16 years 3 days ago

Download www.iist.unu.edu

Zhiming Liu, Mathai Joseph

claim paper

Read More »

137

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

16 years 2 days ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

178

Voted

VMCAI
2004
Springer

200views Software Engineering» more VMCAI 2004»

A Complete Method for the Synthesis of Linear Ranking Functions

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers