2513 search results - page 77 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
QUATIC
2007
IEEE
14 years 4 months ago
2007
IEEE
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
ADAEUROPE
2007
Springer
13 years 11 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
FPL
2007
Springer
14 years 4 months ago
2007
Springer
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
DEXAW
2007
IEEE
14 years 4 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...