2687 search results - page 67 / 538 » Formal Analysis of PKCS |
121
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
98
Voted
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
131
Voted
ANTSW
2010
Springer
14 years 10 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
98
Voted
IJCAI
2007
15 years 2 months ago
2007
Motivated by basic ideas from formal concept analysis, we propose two ways to directly encode closure operators on finite sets in a 3-layered feed forward neural network.