Sciweavers

643 search results - page 8 / 129
» tools 1998
Sort
View
101
Voted
SIGADA
1998
Springer
15 years 9 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
139
Voted
SIGADA
1998
Springer
15 years 9 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
120
Voted
EUROMICRO
1998
IEEE
15 years 9 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 6 months ago
Tool for Knowledge Acquisition and Knowledge Visualization
Injoo Jeong, Martha W. Evens, Yeong Kwun Kim
41
Voted
IJUFKS
1998
31views more  IJUFKS 1998»
15 years 4 months ago
ICOT: An Integrated C-Object Tool for Knowledge-Based Programming
Hyung Jeong Yang, Jae Dong Yang, Yeongho Kim