3733 search results - page 527 / 747 » Logics of communication and change |
157
click to vote
CCS
2004
ACM
16 years 12 hour 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...
201
click to vote
COORDINATION
2004
Springer
16 years 10 hour ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
168
click to vote
CSL
2004
Springer
16 years 9 hour ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
178
click to vote
IEAAIE
2004
Springer
15 years 12 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...
224
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...