Search Sciweavers | Sciweavers

31387 search results - page 216 / 6278

» Abstracting abstract machines

140

click to vote

SIGECOM
2003
ACM

115views ECommerce» more SIGECOM 2003»

Certifying data from multiple sources (extended abstract)

15 years 12 months ago

Download truthsayer.cs.ucdavis.edu

Glen Nuckolls, Charles U. Martel, Stuart G. Stubbl...

claim paper

Read More »

114

click to vote

AIIA
2003
Springer

73views Artificial Intelligence» more AIIA 2003»

Planning by Abstraction Using HW[]

15 years 12 months ago

Download www.diee.unica.it

Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu

claim paper

Read More »

131

click to vote

ASIAN
2003
Springer

121views Algorithms» more ASIAN 2003»

Paradigm Regained: Abstraction Mechanisms for Access Control

15 years 12 months ago

Download www.eros-os.org

Mark S. Miller, Jonathan S. Shapiro

claim paper

Read More »

136

click to vote

ASM
2003
ASM

142views Computational Biology» more ASM 2003»

Abstract State Processes

15 years 12 months ago

Download www.di.unipi.it

Tommaso Bolognesi, Egon Börger

claim paper

Read More »

114

click to vote

CAISE
2003
Springer

100views Information Technology» more CAISE 2003»

Reusing Models of Different Abstraction Levels

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers