Sciweavers

2523 search results - page 338 / 505
» Correct Development of Embedded Systems
Sort
View
IASTEDSE
2004
13 years 10 months ago
Security and reliability challenges in component-based software for consumer devices
Consumer devices have domain specific constraints imposed by end-users, device manufacturers and service providers. These constraints focus on the need for security and reliabilit...
Stefano Campadello, Ronan MacLaverty, Titos Sarida...
VCIP
2003
132views Communications» more  VCIP 2003»
13 years 10 months ago
Layered self-identifiable and scalable video codec for delivery to heterogeneous receivers
This paper describes the development of a layered structure of a multi-resolutional scalable video codec based on the Color Set Partitioning in Hierarchical Trees (CSPIHT) scheme....
Wei Feng, Ashraf A. Kassim, Chen-Khong Tham
IJON
2006
68views more  IJON 2006»
13 years 9 months ago
Dendritic cable with active spines: A modelling study in the spike-diffuse-spike framework
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modelled with a simple integrate-and-fire process, whil...
Yulia Timofeeva, Gabriel J. Lord, Stephen Coombes
IPL
2007
105views more  IPL 2007»
13 years 9 months ago
Improving the arithmetic of elliptic curves in the Jacobi model
The use of elliptic curve cryptosystems on embedded systems has been becoming widespread for some years. Therefore the resistance of such cryptosystems to side-channel attacks is ...
Sylvain Duquesne
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 7 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...