Sciweavers

432 search results - page 87 / 87
» Dynamic Logic With Possible World
Sort
View
IJFCS
2006
130views more  IJFCS 2006»
14 years 11 months ago
Mealy multiset automata
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
Gabriel Ciobanu, Viorel Mihai Gontineac
LOBJET
2006
127views more  LOBJET 2006»
14 years 11 months ago
A Definition, Overview and Taxonomy of Generic Aspect Languages
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
Günter Kniesel, Tobias Rho