Search Sciweavers | Sciweavers

31387 search results - page 257 / 6278

» Abstracting abstract machines

141

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 10 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

142

click to vote

DIS
2009
Springer

105views Theoretical Computer Science» more DIS 2009»

Inference and Learning in Planning (Extended Abstract)

15 years 10 months ago

Download www.dtic.upf.edu

Hector Geffner

claim paper

Read More »

106

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

15 years 10 months ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

118

click to vote

HOTOS
2007
IEEE

138views Operating System» more HOTOS 2007»

MashupOS: Operating System Abstractions for Client Mashups

15 years 10 months ago

Download research.microsoft.com

Jon Howell, Collin Jackson, Helen J. Wang, Xiaofen...

claim paper

Read More »

164

click to vote

HYBRID
2007
Springer

122views Control Systems» more HYBRID 2007»

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers