2210 search results - page 83 / 442 » Applying a Model-based Approach for Embedded System Developm... |
118
click to vote
SDL
2007
15 years 19 days 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...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...
107
click to vote
SIAMSC
2008
14 years 11 months ago
2008
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...
111
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
FORMATS
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...