Search Sciweavers | Sciweavers

643 search results - page 8 / 129

» tools 1998

click to vote

SIGADA
1998
Springer

71views Programming Languages» more SIGADA 1998»

A Specification and Code Generation Tool for Message Translation and Validation

15 years 7 months ago

Download www.accelse.com

Charles Plinta, Richard D'Ippolito, Roger Van Scoy

claim paper

Read More »

117

Voted

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

An ASIS-Based Static Analysis Tool for High-Integrity Systems

15 years 7 months ago

Download www.adastat.com

William W. Pritchett IV, John D. Riley

claim paper

Read More »

100

click to vote

EUROMICRO
1998
IEEE

94views Software Engineering» more EUROMICRO 1998»

The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments

15 years 6 months ago

Download www.esat.kuleuven.be

Vincenzo De Florio, Geert Deconinck, Rudy Lauwerei...

claim paper

Read More »

click to vote

FLAIRS
1998

70views Artificial Intelligence» more FLAIRS 1998»

Tool for Knowledge Acquisition and Knowledge Visualization

15 years 4 months ago

Download www.cs.iit.edu

Injoo Jeong, Martha W. Evens, Yeong Kwun Kim

claim paper

Read More »

click to vote

IJUFKS
1998

31views more IJUFKS 1998»

ICOT: An Integrated C-Object Tool for Knowledge-Based Programming

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers