Sciweavers

5239 search results - page 425 / 1048
» Model-Integrated Embedded Systems
Sort
View
135
Voted
WWW
2001
ACM
16 years 7 months ago
Building a distributed full-text index for the Web
We identify crucial design issues in building a distributed inverted index for a large collection of web pages. We introduce a novel pipelining technique for structuring the core ...
Sergey Melnik, Sriram Raghavan, Beverly Yang, Hect...
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
202
Voted
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
166
Voted
SEUS
2005
IEEE
16 years 13 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