854 search results - page 123 / 171 » Relational Model Driven Application Design |
AE
2001
Springer
14 years 3 months ago
2001
Springer
In the last few years, the coevolutionary paradigm has shown an increasing interest thanks to its high ability to manage huge search spaces. Particularly, the cooperative interacti...
FM
2006
Springer
14 years 2 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
MSS
2000
IEEE
14 years 3 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
MM
2004
ACM
14 years 4 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
DFG
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...