7124 search results - page 1126 / 1425 » Programming Languages and Operating Systems |
157
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
162
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
121
click to vote
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
123
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an evaluation study that measures the effect of modifying feedback generality in an Intelligent Tutoring System (ITS) based on Student Models. A taxonomy of the...
124
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...