2513 search results - page 6 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
131
click to vote
ECBS
2004
IEEE
15 years 5 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...
135
click to vote
EMSOFT
2010
Springer
14 years 11 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...
102
click to vote
CLEIEJ
2010
14 years 11 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,...
98
Voted
COMPSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
111
click to vote
ECAI
2006
Springer
15 years 5 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...