Sciweavers

5186 search results - page 557 / 1038
» Embedded Systems
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
16 years 2 days ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
ICDCS
1998
IEEE
15 years 11 months ago
Structuring Remote Object Systems for Mobile Hosts with Intermittent Connectivity
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...
Girish Welling, Maximilian Ott
MC
2001
140views Computer Science» more  MC 2001»
15 years 8 months ago
Cooperative model production in systems design to support knowledge management
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Christoph Clases
JFR
2006
108views more  JFR 2006»
15 years 6 months ago
Learning in a hierarchical control system: 4D/RCS in the DARPA LAGR program
The Defense Applied Research Projects Agency (DARPA) Learning Applied to Ground Vehicles (LAGR) program aims to develop algorithms for autonomous vehicle navigation that learn how...
James S. Albus, Roger Bostelman, Tommy Chang, Tsai...
DAC
2006
ACM
16 years 7 months ago
SMERT: energy-efficient design of a multimedia messaging system for mobile devices
Customized multimedia content delivery has become one of the most desirable applications to mobile device users. However its intense usage of wireless and user interfaces poses a ...
Lin Zhong, Bin Wei, Michael J. Sinclair