327 search results - page 20 / 66 » A Theory of Information-Flow Labels |
80
Voted
EUSFLAT
2001
14 years 11 months ago
2001
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
81
Voted
PCI
2001
Springer
15 years 2 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...