2137 search results - page 353 / 428 » Proving Abstract Non-interference |
ICMAS
2000
14 years 15 days ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
SWAP
2007
14 years 9 days ago
2007
Abstract. Recent research showed the benefits of adopting formal ontologies as a means for accessing heterogeneous data sources. The use of an ontology not only provides a uniform...
VISAPP
2007
14 years 9 days ago
2007
Abstract. In image-based robot navigation, the robot localises itself by comparing images taken at its current position with a set of reference images stored in its memory. The pro...
ASPDAC
2008
ACM
14 years 8 days ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
ATAL
2010
Springer
14 years 8 days ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...