Search Sciweavers | Sciweavers

1143 search results - page 33 / 229

» Extraction in software watermarking

click to vote

SPIN
2007
Springer

134views Theoretical Computer Science» more SPIN 2007»

Model Extraction for ARINC 653 Based Avionics Software

14 years 1 months ago

Download spinroot.com

One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...

Pedro de la Cámara, María-del-Mar Ga...

claim paper

Read More »

click to vote

WCRE
2005
IEEE

110views Software Engineering» more WCRE 2005»

Source versus Object Code Extraction for Recovering Software Architecture

14 years 1 months ago

Download plg.uwaterloo.ca

The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...

Ahmed E. Hassan, Zhen Ming Jiang, Richard C. Holt

claim paper

Read More »

click to vote

WEBI
2009
Springer

427views Internet Technology» more WEBI 2009»

A Software System for Topic Extraction and Document Classification

14 years 2 months ago

Download www.mad.disco.unimib.it

Davide Magatti, Fabio Stella, Marco Faini

claim paper

Read More »