315 search results - page 27 / 63 » A generic type system for the Pi-calculus |
GPCE
2008
Springer
13 years 9 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
ICMI
2007
Springer
14 years 2 months ago
2007
Springer
In the context of natural multimodal dialogue systems, we address the challenging issue of the definition of cooperative answers in an appropriate multimodal form. Highlighting th...
EFDBS
2001
13 years 9 months ago
2001
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...