1676 search results - page 148 / 336 » Formal System Development with KIV |
179
Voted
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
139
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
While many fields have well-defined research agendas, evolution of the field of digital forensics has been largely driven by practitioners in the field. As a result, the majority ...
129
click to vote
SIAMREV
2010
14 years 11 months ago
2010
The Lorenz attractor is one of the best known examples of applied mathematics. However, much of what is known about it is a result of numerical calculations and not of mathematica...
143
click to vote
TAAS
2010
14 years 11 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
126
click to vote
SOSYM
2002
15 years 4 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...