9370 search results - page 193 / 1874 » An Abstract Notion of Application |
171
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...
216
click to vote
WISES
2008
15 years 8 months ago
2008
In South-East Asia, huge swarms of fireflies synchronously emit light flashes to attract mating partners. The underlying principle can be used to implement a robust and scalable d...
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
198
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
168
click to vote
COMPIMAGE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper presents a theoretical generalization of the circumcenter as the intersection of generalized perpendicular bisectors. We define generalized bisectors between ...