Sciweavers

1925 search results - page 43 / 385
» Dynamic Typing
Sort
View
BIRTHDAY
2008
Springer
13 years 9 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
RECOMB
2004
Springer
14 years 8 months ago
Somatic evolution of cancer
We study a situation that arises in the somatic evolution of cancer. Consider a finite population of replicating cells and a sequence of mutations: type 0 can mutate to type 1, wh...
Martin Nowak
AADEBUG
1997
Springer
13 years 12 months ago
Application of Dynamic Slicing in Program Debugging
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
Bogdan Korel, Juergen Rilling
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
13 years 5 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer
ESANN
2004
13 years 9 months ago
Dynamic functional-link neural networks genetically evolved applied to system identification
: The contribution concerns the design of a generalised functional-link neural network with internal dynamics and its applicability to system identification by means of multi-input...
Teodor Marcu, Birgit Köppen-Seliger