4143 search results - page 37 / 829 » A theory of distributed aspects |
CONCURRENCY
2002
13 years 7 months ago
2002
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...
CADE
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
ESANN
2004
13 years 9 months ago
2004
In this tutorial paper about neural maps we review the current state in theoretical aspects like mathematical treatment of convergence, ordering and topography, magnification and o...