2141 search results - page 233 / 429 » Embedded Software |
136
click to vote
JCM
2007
15 years 6 months ago
2007
—In this paper, we propose a wireless stand-alone, embedded system design that integrates the monitoring of three biomedical parameters into a single personal medical device. The...
182
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
163
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
IEEE 802.15.4/ZigBee and TinyOS have been playing an important role in leveraging a new generation of large-scale networked embedded systems. However, based on previous experience...
142
Voted
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
Versatile physical and behavioral features as well as their exploitation through computation-power onboard the robot-players are feasible and necessary goals for the RoboCup small ...
170
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...