Sciweavers

233 search results - page 20 / 47
» A Middleware for Model-Based Embedded Systems
Sort
View
SEUS
2008
IEEE
14 years 2 months ago
Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity
The widespread diffusion of portable devices with multiple wireless interfaces, e.g., UMTS/GPRS, IEEE 802.11, and/or Bluetooth, is enabling multi-homing and multi-channel scenarios...
Paolo Bellavista, Antonio Corradi, Carlo Giannelli
RTAS
2003
IEEE
14 years 28 days ago
Feedback Control Real-Time Scheduling in ORB Middleware
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
Chenyang Lu, Xiaorui Wang, Christopher D. Gill
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 5 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
14 years 1 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
ROBOCOMM
2007
IEEE
14 years 1 months ago
A middleware for ecologies of robotic devices
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
Mathias Broxvall