2687 search results - page 255 / 538 » Formal Analysis of PKCS |
173
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
162
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
192
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
193
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
174
click to vote
SCVMA
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...