Abstract. A number-conserving cellular automaton is a cellular automaton whose states are integers and whose transition function keeps the sum of all cells constant throughout its ...
Digital identity management intra and inter information systems, and, service oriented architectures security, are the roots of identity federation. This kind of security architec...
There are always two kinds of forms in agent social law diffusion, which are local interaction and non-local coordination. This paper provides an integrated model to make a tradeo...
Abstract. The review of research works presented in the paper leads to the supposition that scientists abroad usually analyze the components of technical knowledge in relationship ...
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
Fernando Rosa Velardo, Clara Segura, Alberto Verde...