1880 search results - page 310 / 376 » A Static Analysis for Beta-Binders |
142
click to vote
PDP
2009
IEEE
16 years 23 days ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
181
click to vote
COMPSAC
2009
IEEE
16 years 22 days ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
156
click to vote
DSN
2009
IEEE
16 years 22 days ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
135
click to vote
BPM
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Information security risk management (ISRM) heavily depends on realistic impact values representing the resources’ importance in the overall organizational context. Alt...
188
click to vote
FM
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...