Sciweavers

6796 search results - page 348 / 1360
» Java for Embedded Systems
Sort
View
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 10 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
IJHPCN
2008
63views more  IJHPCN 2008»
15 years 4 months ago
On the secure creation, organisation and discovery of topics in distributed publish/subscribe systems
: Publish/Subscribe infrastructures have gained significant traction recently with several specifications such as the Java Message Service (JMS), WS-Eventing and WS-Notification. I...
Shrideep Pallickara, Geoffrey Fox, Harshawardhan G...
SSIRI
2010
15 years 2 months ago
Modelling and Implementing Complex Systems with Timebands
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
MSE
2005
IEEE
148views Hardware» more  MSE 2005»
15 years 10 months ago
Teaching System-Level Design Using SpecC and SystemC
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
Robert D. Walstrom, Joseph Schneider, Diane T. Rov...
AC
1999
Springer
15 years 8 months ago
FlexiNet: A Flexible, Component-Oriented Middleware System
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
Richard Hayton, Andrew Herbert