Sciweavers

12333 search results - page 297 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
IESS
2007
Springer
158views Hardware» more  IESS 2007»
16 years 24 days ago
Dynamic Software Update of Resource-Constrained Distributed Embedded Systems
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
Meik Felser, Rüdiger Kapitza, Jürgen Kle...
HCI
2009
15 years 4 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
SMC
2007
IEEE
105views Control Systems» more  SMC 2007»
16 years 27 days ago
A software architecture for adaptive modular sensing systems
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
Andrew C. Lyle, Michael D. Naish
COMPSAC
2005
IEEE
16 years 8 days ago
A Comparison of Network Level Fault Injection with Code Insertion
This paper describes our research into the application of fault injection to Simple Object Access Protocol (SOAP) based Service Oriented-Architectures (SOA). We show that our prev...
Nik Looker, Malcolm Munro, Jie Xu
CCGRID
2003
IEEE
15 years 10 months ago
Kernel Level Speculative DSM
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
Cristian Tapus