4281 search results - page 661 / 857 » How to Disembed a Program |
112
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
127
Voted
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
117
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
The technique called progressive encryption is used in many areas of content security. However, the plain algorithm itself is only applicable in real transmission scenarios where n...
103
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new flow is based on measurements of the current traffic situation. An in-depth u...
153
Voted
MOBISEC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...