1768 search results - page 302 / 354 » A Logic for Algebraic Effects |
137
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
144
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
132
click to vote
FPGA
2004
ACM
15 years 11 months ago
2004
ACM
In this work, we parameterize and explore the interconnect structure of pipelined FPGAs. Specifically, we explore the effects of interconnect register population, length of regist...
147
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
161
click to vote
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...