306 search results - page 4 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
147
Voted
ICISC
2009
15 years 1 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...
125
click to vote
INTELLCOMM
2004
Springer
15 years 9 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...
131
Voted
ECTEL
2007
Springer
15 years 10 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...
144
Voted
OOPSLA
2004
Springer
15 years 9 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...
143
click to vote
DKE
1998
15 years 3 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...