2137 search results - page 415 / 428 » Proving Abstract Non-interference |
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
APPROX
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We study the fundamental problem of computing an arbitrary Nash equilibrium in bimatrix games. We start by proposing a novel characterization of the set of Nash equilibri...
SEMWIKI
2008
13 years 11 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
DAGSTUHL
2006
13 years 11 months ago
2006
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
DAGSTUHL
2006
13 years 11 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...