2255 search results - page 225 / 451 » High Assurance Software Systems |
171
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
192
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
168
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
172
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Data management functionality is not only needed in large-scale server systems, but also in embedded systems. Resource restrictions and heterogeneity of hardware, however, complic...
163
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...