Sciweavers

2163 search results - page 6 / 433

» cases 2004

65

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

Verifying the Equivalence of Logic Programs in the Disjunctive Case

15 years 2 months ago

Verifying the Equivalence of Logic Programs in the Disjunctive Case

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

78

SAMOS
2004
Springer

76views Embedded Systems» more SAMOS 2004»

IDF Models for Trace Transformations: A Case Study in Computational Refinement

15 years 2 months ago

IDF Models for Trace Transformations: A Case Study in Computational Refinement

Download sesamesim.sourceforge.net

Cagkan Erbas, Simon Polstra, Andy D. Pimentel

claim paper

Read More »

67

ASWEC
2004
IEEE

103views Software Engineering» more ASWEC 2004»

Generating Web Applications from Use Case Scenarios

15 years 1 months ago

Generating Web Applications from Use Case Scenarios

Download liris.cnrs.fr

Allan Loh, Mike Robey

claim paper

Read More »

61

ECRTS
2004
IEEE

95views Embedded Systems» more ECRTS 2004»

Worst-Case Execution Time Analysis for Dynamic Branch Predictors

15 years 1 months ago

Worst-Case Execution Time Analysis for Dynamic Branch Predictors

Download www.cs.york.ac.uk

Iain Bate, Ralf Reutemann

claim paper

Read More »

56

AAAI
2004

122views Intelligent Agents» more AAAI 2004»

CaBMA: Case-Based Project Management Assistant

14 years 11 months ago

CaBMA: Case-Based Project Management Assistant

Download www.cse.lehigh.edu

Ke Xu, Héctor Muñoz-Avila

claim paper

Read More »

« Prev « First page 6 / 433 Last » Next »