Sciweavers

7429 search results - page 1140 / 1486
» Embedded System Update
Sort
View
HASE
2002
IEEE
15 years 11 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
ICALP
2010
Springer
15 years 11 months ago
Compositionality in Graph Transformation
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
Arend Rensink
CASES
2009
ACM
15 years 11 months ago
Side channel analysis of AVR XMEGA crypto engine
AVR XMEGA is the recent general-purpose 8-bit microcontroller from Atmel featuring symmetric crypto engines. We analyze the resistance of XMEGA crypto engines to side channel atta...
Ilya Kizhvatov
HUC
2009
Springer
15 years 11 months ago
Wearable therapist: sensing garments for supporting children improve posture
This paper introduces a sensing garment to support posture coaching in children. The system measures back bending postures using acceleration sensors embedded in the garment. We p...
Holger Harms, Oliver Amft, Gerhard Tröster, M...
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 11 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
« Prev « First page 1140 / 1486 Last » Next »