Sciweavers

643 search results - page 8 / 129
» tools 1998
Sort
View
SIGADA
1998
Springer
15 years 4 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
98
Voted
SIGADA
1998
Springer
15 years 4 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
85
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments
Vincenzo De Florio, Geert Deconinck, Rudy Lauwerei...
FLAIRS
1998
15 years 1 months ago
Tool for Knowledge Acquisition and Knowledge Visualization
Injoo Jeong, Martha W. Evens, Yeong Kwun Kim
IJUFKS
1998
31views more  IJUFKS 1998»
15 years 1 days ago
ICOT: An Integrated C-Object Tool for Knowledge-Based Programming
Hyung Jeong Yang, Jae Dong Yang, Yeongho Kim