Search Sciweavers | Sciweavers

17298 search results - page 131 / 3460

» Abstract computing machines

103

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

15 years 9 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

111

Voted

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

Exploring students' understanding of the concept of algorithm: levels of abstraction

15 years 9 months ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

15 years 8 months ago

Download www.lirmm.fr

Valérie Berthé, Michel Rigo

claim paper

Read More »

click to vote

RAID
2005
Springer

125views Computer Networks» more RAID 2005»

Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks

15 years 8 months ago

Download www.comp.nus.edu.sg

Sufatrio, Roland H. C. Yap

claim paper

Read More »

click to vote

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers