Sciweavers

1522 search results - page 163 / 305
» Practical Exception Specifications
Sort
View
ATAL
2010
Springer
15 years 3 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
CADE
2010
Springer
15 years 3 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...
CHI
2010
ACM
15 years 3 months ago
Critical gameplay: software studies in computer gameplay
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
Lindsay Grace
AAMAS
2008
Springer
15 years 2 months ago
Industrial deployment of multi-agent technologies: review and selected case studies
This paper reports on industrial deployment of multi-agent systems and agent technology. It provides an overview of several application domains and an in-depth presentation of four...
Michal Pechoucek, Vladimír Marík
AROBOTS
2010
172views more  AROBOTS 2010»
15 years 2 months ago
CPG-based control of a turtle-like underwater vehicle
We present a new bio-inspired control strategy for an autonomous underwater vehicle by constructing coupled nonlinear oscillators, similar to the animal central pattern generators ...
Keehong Seo, Soon Jo Chung, Jean-Jacques E. Slotin...