Search Sciweavers | Sciweavers

31387 search results - page 144 / 6278

» Abstracting abstract machines

135

click to vote

CISIS
2010
IEEE

139views Software Engineering» more CISIS 2010»

Space-Based Architectures as Abstraction Layer for Distributed Business Applications

16 years 1 months ago

Download cocoon.ifs.tuwien.ac.at

Richard Mordinyi, eva Kühn, Alexander Schatte...

claim paper

Read More »

click to vote

CHI
2010
ACM

129views Human Computer Interaction» more CHI 2010»

Understanding the impact of abstracted audio preview of SMS

16 years 1 months ago

Download www.pervasive.wiwi.uni-due.de

Alireza Sahami Shirazi, Ari-Heikki Sarjanoja, Flor...

claim paper

Read More »

139

click to vote

SAC
2010
ACM

151views Applied Computing» more SAC 2010»

An operating system abstraction layer for portable applications in wireless sensor networks

16 years 1 months ago

Download rts.eit.uni-kl.de

Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohl...

claim paper

Read More »

149

click to vote

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

16 years 1 months ago

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

123

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers