2513 search results - page 229 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
164
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
146
click to vote
ERLANG
2006
ACM
16 years 13 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
170
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
169
click to vote
ICSEA
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
145
click to vote
ARCS
2005
Springer
16 years 13 hour ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...