Search Sciweavers | Sciweavers

31387 search results - page 253 / 6278

» Abstracts

142

click to vote

CAV
2008
Springer

112views Hardware» more CAV 2008»

Automated Assume-Guarantee Reasoning by Abstraction Refinement

15 years 8 months ago

Download ti.arc.nasa.gov

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dim...

claim paper

Read More »

138

click to vote

CCS
2008
ACM

89views Security Privacy» more CCS 2008»

OMash: enabling secure web mashups via object abstractions

15 years 8 months ago

Download www.cs.ucdavis.edu

Steven Crites, Francis Hsu, Hao Chen

claim paper

Read More »

137

click to vote

AI
2005
Springer

91views Artificial Intelligence» more AI 2005»

Heuristic Search Applied to Abstract Combat Games

15 years 8 months ago

Download skatgame.net

Alexander Kovarsky, Michael Buro

claim paper

Read More »

118

click to vote

ASPDAC
2005
ACM

83views Hardware» more ASPDAC 2005»

Abstracting functionality for modular performance analysis of hard real-time systems

15 years 8 months ago

Download www.artist-embedded.org

Ernesto Wandeler, Lothar Thiele

claim paper

Read More »

141

click to vote

CC
2005
Springer

91views System Software» more CC 2005»

When Abstraction Fails

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers