1054 search results - page 35 / 211 » Translation Validation of System Abstractions |
153
click to vote
JNW
2008
15 years 6 months ago
2008
Abstract-- The Domain Name System (DNS) is a distributed tree-based database largely used to translate a human readable machine name into an IP address. The DNS security extensions...
171
click to vote
DSRT
2005
IEEE
15 years 11 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
179
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
143
click to vote
ACSD
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
192
click to vote
ZUM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...