2513 search results - page 33 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
CODES
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
ODRL
2004
13 years 11 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
HPCA
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...