Sciweavers

7429 search results - page 1140 / 1486
» Embedded System Update
Sort
View
HASE
2002
IEEE
16 years 11 days 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
196
Voted
ICALP
2010
Springer
16 years 6 days 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
185
Voted
CASES
2009
ACM
16 years 3 days 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
16 years 1 days 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 12 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 »