Search Sciweavers | Sciweavers

930 search results - page 9 / 186

» Advanced Engineering Informatics

click to vote

CADE
2007
Springer

147views Logical Reasoning» more CADE 2007»

ALICE: An Advanced Logic for Interactive Component Engineering

14 years 7 months ago

Download www.sse-tubs.de

This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...

Borislav Gajanovic, Bernhard Rumpe

claim paper

Read More »

click to vote

ISPE
2003

117views Distributed And Parallel Com...» more ISPE 2003»

An advanced infrastructure for collaborative engineering in electronic design automation

13 years 8 months ago

Download jerry.c-lab.de

Tomasz Kostienko, Wolfgang Müller 0003, Adam ...

claim paper

Read More »

click to vote

JUCS
2008

169views more JUCS 2008»

Advances in Document Engineering

13 years 7 months ago

Download www.jucs.org

Rafael Dueire Lins

claim paper

Read More »

click to vote

WCRE
2000
IEEE

74views Software Engineering» more WCRE 2000»

Advanced Clone-Analysis to Support Object-Oriented System Refactoring

13 years 12 months ago

Download www.swen.uwaterloo.ca

Magdalena Balazinska, Ettore Merlo, Michel Dagenai...

claim paper

Read More »

click to vote

SEMWEB
2005
Springer

86views Internet Technology» more SEMWEB 2005»

A Semantic Search Engine for the International Relation Sector

14 years 28 days ago

Download www.upgrade-cepis.org

onograph will be also published in Spanish (full version printed; summary, abstracts, and some articles online) by Novática, journal of the Spanish CEPIS society ATI (Asociación ...

Luis Rodrigo, V. Richard Benjamins, Jesús C...

claim paper

Read More »

« Prev « First page 9 / 186 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers