2513 search results - page 363 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
79
Voted
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
ISCAS
2007
IEEE
15 years 4 months ago
2007
IEEE
— A raytracer calculates how a camera would observe a potentially complex scene consisting of numerous objects and light sources. If all the objects are modeled by n primitives, ...
98
Voted
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...
88
Voted
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....