669 search results - page 33 / 134 » Modeling Dynamic Architectures Using Nets-Within-Nets |
JSW
2008
14 years 11 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
DIMVA
2009
15 years 26 days ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
100
click to vote
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
107
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
QOSA
2007
Springer
15 years 5 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...