306 search results - page 4 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
101
click to vote
ICISC
2009
14 years 9 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
INTELLCOMM
2004
Springer
15 years 4 months ago
2004
Springer
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
ECTEL
2007
Springer
15 years 5 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
102
click to vote
DKE
1998
14 years 11 months ago
1998
The main purpose of this paper is to investigate the characteristics that distinguish spatial databases systems from traditional ones. Hereto, we give an overview of some well-kno...