Sciweavers

7429 search results - page 543 / 1486
» Embedded System Update
Sort
View
CHI
2007
ACM
16 years 7 months ago
Designing tangibles for children: what designers need to know
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
Alissa Nicole Antle
ISORC
2009
IEEE
16 years 1 months ago
Resource Scopes: Toward Language Support for Compositional Determinism
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
16 years 1 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
SEUS
2005
IEEE
16 years 18 days ago
Resource Management Based on Personal Service Aggregations in Smart Spaces
This paper introduces a novel resource management approach based on personal service aggregations(PSAs) for smart spaces. As a smart space is usually a sharable system that simult...
Peifeng Xiang, Yuanchun Shi
RTSS
2003
IEEE
16 years 9 days ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...