Search Sciweavers | Sciweavers

31387 search results - page 209 / 6278

» Abstracting abstract machines

137

click to vote

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

15 years 12 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

117

click to vote

ICALP
2004
Springer

99views Programming Languages» more ICALP 2004»

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

15 years 12 months ago

Download people.scs.carleton.ca

Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...

claim paper

Read More »

171

click to vote

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

15 years 12 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

137

click to vote

ICLP
2004
Springer

88views Automated Reasoning» more ICLP 2004»

Termination by Abstraction

15 years 12 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

126

click to vote

ICWE
2004
Springer

85views Internet Technology» more ICWE 2004»

Designing Multi-Device Interactive Services through Multiple Abstraction Levels

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers