Search Sciweavers | Sciweavers

17298 search results - page 131 / 3460

» Abstract computing machines

131

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

16 years 6 days ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

136

click to vote

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

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

15 years 11 months ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

114

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

15 years 11 months ago

Download www.lirmm.fr

Valérie Berthé, Michel Rigo

claim paper

Read More »

128

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 11 months ago

Download www.comp.nus.edu.sg

Sufatrio, Roland H. C. Yap

claim paper

Read More »

130

click to vote

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers