Search Sciweavers | Sciweavers

31387 search results - page 134 / 6278

» Abstracts

click to vote

CAISE
2007
Springer

98views Information Technology» more CAISE 2007»

Communication Abstractions for Distributed Business Processes

15 years 8 months ago

Download is.tm.tue.nl

Lachlan Aldred, Wil M. P. van der Aalst, Marlon Du...

claim paper

Read More »

Voted

CAV
2007
Springer

106views Hardware» more CAV 2007»

Leaping Loops in the Presence of Abstraction

15 years 8 months ago

Download www.cs.tau.ac.il

Thomas Ball, Orna Kupferman, Mooly Sagiv

claim paper

Read More »

Voted

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

15 years 8 months ago

Download www.cs.wisc.edu

Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly ...

claim paper

Read More »

click to vote

CAV
2007
Springer

159views Hardware» more CAV 2007»

Boolean Abstraction for Temporal Logic Satisfiability

15 years 8 months ago

Download www.schuppan.de

Alessandro Cimatti, Marco Roveri, Viktor Schuppan,...

claim paper

Read More »

click to vote

CAV
2007
Springer

114views Hardware» more CAV 2007»

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers