2513 search results - page 420 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
CCS
2004
ACM
14 years 3 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
ICSOC
2004
Springer
14 years 3 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
LCPC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
MM
1998
ACM
14 years 2 months ago
1998
ACM
Easy-to-use audio/video authoring tools play a crucial role in moving multimedia software from research curiosity to mainstream applications. However, research in multimedia author...