72 search results - page 15 / 15 » Space-Based Architectures as Abstraction Layer for Distribut... |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
SDL
2007
13 years 6 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...