Search Sciweavers | Sciweavers

12745 search results - page 184 / 2549

» Automating test automation

120

click to vote

TIME
1997
IEEE

72views Automated Reasoning» more TIME 1997»

Similarity of Event Sequences

15 years 10 months ago

Download www.lans.ece.utexas.edu

d Abstract) Heikki Mannila and Pirjo Ronkainen

Heikki Mannila, Pirjo Ronkainen

claim paper

Read More »

163

click to vote

TIME
1997
IEEE

110views Automated Reasoning» more TIME 1997»

Visual Query Operators for Temporal Databases

15 years 10 months ago

Download www.dsc.ufcg.edu.br

Sônia Fernandes Silva, Ulrich Schiel, Tizian...

claim paper

Read More »

135

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 months ago

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

126

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 10 months ago

Download repository.readscheme.org

Michael Leuschel, Bern Martens, Konstantinos F. Sa...

claim paper

Read More »

141

click to vote

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers