000			03974nam a22004095i 4500
001			294614
003			MX-SnUAN
005			20170705134230.0
007			cr nn 008mamaa
008			150903s2005 gw | o |||| 0|eng d
020			_a9783540309604 _99783540309604
024	7		_a10.1007/b105317 _2doi
035			_avtls000347571
039		9	_a201509031109 _bVLOAD _c201405070456 _dVLOAD _y201402070934 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQ334-342
100	1		_aHinchey, Michael G. _eeditor. _9328305
245	1	0	_aFormal Approaches to Agent-Based Systems : _bThird International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / _cedited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005.
300			_aviii, 291 páginas Also available online. _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v3228
500			_aSpringer eBooks
505	0		_aEcology Based Decentralized Agent Management System -- Ecology Based Decentralized Agent Management System -- From Abstract to Concrete Norms in Agent Institutions -- Meeting the Deadline: Why, When and How -- Multi-agent Systems Reliability, Fuzziness, and Deterrence -- Formalism Challenges of the Cougaar Model Driven Architecture -- Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems -- Using Ontologies to Formalize Services Specifications in Multi-agent Systems -- Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance -- A Formal Analysis of Potential Energy in a Multi-agent System -- Agent-Based Chemical Plume Tracing Using Fluid Dynamics -- Towards Timed Automata and Multi-agent Systems -- An Approach to V&V of Embedded Adaptive Systems -- Verifying Multi-agent Systems via Unbounded Model Checking -- Towards Symbolic Model Checking for Multi-agent Systems via obdd’s -- Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols -- F-OWL: An Inference Engine for Semantic Web -- Model-Driven Architecture for Agent-Based Systems -- Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? -- Poster Presentations -- Petri Nets as Modeling Tool for Emergent Agents -- Massive Multi-agent systems control -- Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP) -- Interaction and Communication of Agents in Networks and Language Complexity Estimates.
520			_aThis book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004. The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs, multi-agent systems verification, agent communication protocols, autonomic agents, and Petri nets.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aRash, James L. _eeditor. _9328306
700	1		_aTruszkowski, Walter F. _eeditor. _9328307
700	1		_aRouff, Christopher A. _eeditor. _9323021
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540244226
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b105317 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c294614 _d294614