3815 search results - page 127 / 763 » An Implementation of Session Types |
ASIAN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
The scope of implementing a virtual instructor is to achieve enhanced learning outcomes during an autonomous training (education) sessions of a human learner. Based on the evidenc...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents NavEx, an adaptive environment for accessing interactive programming examples. NavEx implements a specific kind of adaptive navigation support known as adaptive...
ESANN
2007
13 years 9 months ago
2007
This paper reviews the recent surge of interest in convex optimization in a context of pattern recognition and machine learning. The main thesis of this paper is that the design of...
FORTE
2004
13 years 9 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...