948 search results - page 35 / 190 » An Open Architecture for Pervasive Systems |
SDL
2007
13 years 9 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...
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
Smartphones enable a new, rich user experience in pervasive computing, but their hardware is still very limited in terms of computation, memory, and energy reserves, thus limiting...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
ICWE
2010
Springer
13 years 11 months ago
2010
Springer
Future Web applications will increasingly require real-time data from the physical world collected by a myriad of sensors and actuators. Currently, integration of such devices requ...
ECOOP
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...