2513 search results - page 6 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ECBS
2004
IEEE
14 years 1 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
CLEIEJ
2010
13 years 7 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
COMPSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...