1236 search results - page 47 / 248 » Rapid Prototyping of Embedded Hardware Software Systems |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
ASPDAC
2010
ACM
13 years 6 months ago
2010
ACM
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
ITNG
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
IESS
2007
Springer
14 years 2 months ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...