Abstract state machines have been proposed as a universal mathematical framework for computational modeling of behavioral properties of discrete dynamic systems and are well known for their versatility in formalizing semantic aspects of algorithms, architectures, languages, protocols, and virtually all kinds of sequential, parallel, and distributed systems (see also the ASM Research Center at www.asmcenter.org). We present here a paradigmatic approach to multi-agent system modeling and simulation of likely scenarios of offender movement patterns and target choices within continuously changing urban surroundings based on the asynchronous computational model of distributed abstract state machines.
Audio (MP3 File, Podcast Ready)
Copyright. All Rights Reserved.