523 search results - page 32 / 105 » Embedded Software Development with Projectional Language Wor... |
145
click to vote
SDL
2007
15 years 3 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...
126
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
106
click to vote
COBUILD
1998
Springer
15 years 6 months ago
1998
Springer
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
108
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Migration is an important aspect of cellular behaviour and is therefore widely studied in cell biology. Numerous components are known to participate in this process in...
115
click to vote
WMTE
2005
IEEE
15 years 7 months ago
2005
IEEE
The continuous development of wireless and mobile technologies has allowed the creation of an additional platform for supporting learning, one that can be embedded in the same phy...