2137 search results - page 237 / 428 » Proving Abstract Non-interference |
126
Voted
ACTA
2007
15 years 3 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
133
Voted
ACTA
2007
15 years 3 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
110
Voted
APAL
2008
15 years 3 months ago
2008
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
122
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The coalition structure formation problem represents an active research area in multi-agent systems. A coalition structure is defined as a partition of the agents involve...
113
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Dendritic Cell Algorithm is an immune-inspired algorithm originally based on the function of natural dendritic cells. The original instantiation of the algorithm is a...