4799 search results - page 755 / 960 » Model Based Requirements Engineering for Embedded Software |
206
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
165
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
168
click to vote
INTEGRATION
2007
15 years 6 months ago
2007
The Data Encryption Standard (DES) is a cipher that is still used in a broad range of applications, from smartcards, where it is often implemented as a tamperresistant embedded co...
150
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
173
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...