2722 search results - page 245 / 545 » The Model Evolution Calculus |
122
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents simulations of long-term competition for light between two plant species, oaks and beeches. These artificial plants, evolving in a 3D environment, are based on ...
122
Voted
WSC
1997
15 years 5 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
126
Voted
JNSM
2007
15 years 3 months ago
2007
This paper traces the history of policy-based management and how it evolved from the first security models dating back to the late 1960’s until today’s more elaborate framewo...
139
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
137
Voted
LAWEB
2003
IEEE
15 years 9 months ago
2003
IEEE
So far, conceptual modeling of Web applications has been used primarily in the upper part of the life cycle, as a driver for system analysis. Little attention has been put on expl...