Search Sciweavers | Sciweavers

15777 search results - page 89 / 3156

» The Reformulation-Optimization Software Engine

click to vote

VMCAI
2007
Springer

77views Software Engineering» more VMCAI 2007»

Verifying Compensating Transactions

14 years 2 months ago

Download www.cs.ucla.edu

Michael Emmi, Rupak Majumdar

claim paper

Read More »

click to vote

VMCAI
2007
Springer

90views Software Engineering» more VMCAI 2007»

More Precise Partition Abstractions

14 years 2 months ago

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

14 years 2 months ago

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

click to vote

VMCAI
2007
Springer

76views Software Engineering» more VMCAI 2007»

The Spotlight Principle

14 years 2 months ago

Download rw4.cs.uni-sb.de

Björn Wachter, Bernd Westphal

claim paper

Read More »

click to vote

XPU
2007
Springer

144views Software Engineering» more XPU 2007»

Job Satisfaction and Motivation in a Large Agile Team

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers