1676 search results - page 302 / 336 » Formal System Development with KIV |
134
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
132
click to vote
FMOODS
2003
15 years 5 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
144
click to vote
GISCIENCE
2010
Springer
15 years 5 months ago
2010
Springer
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
135
click to vote
ECEASST
2008
15 years 4 months ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
136
click to vote
ALIFE
2006
15 years 4 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...