1521 search results - page 192 / 305 » On Sampled Semantics of Timed Systems |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This paper considers the problem of spectrum sensing in cognitive radio networks when the primary user is using Orthogonal Frequency Division Multiplexing (OFDM). For this we devel...
109
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
FASE
1998
Springer
15 years 2 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
110
click to vote
SDL
2007
14 years 11 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...
116
click to vote
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...