LEADER 01102nam 2200409 450 001 9910136688603321 005 20230617020951.0 010 $a1-62810-539-9 035 $a(CKB)3710000000907411 035 $a(MiAaPQ)EBC5245466 035 $a(EXLCZ)993710000000907411 100 $a20180312h20032003 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aInsurance law in a nutshell /$fby John F. Dobbyn 205 $aFourth edition. 210 1$aSt. Paul, Minnesota :$cThomson/West,$d2003. 210 4$dİ2003 215 $a1 online resource (307 pages) 225 1 $aIn a Nutshell 300 $aIncludes index. 311 $a0-314-26375-6 410 0$aIn a nutshell. 606 $aInsurance law$zUnited States 615 0$aInsurance law 676 $a346.73/086 700 $aDobbyn$b John F.$01236549 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910136688603321 996 $aInsurance law in a nutshell$92871178 997 $aUNINA LEADER 04997nam 22007575 450 001 9910483958803321 005 20251226203757.0 010 $a3-540-34099-8 024 7 $a10.1007/11752660 035 $a(CKB)1000000000283720 035 $a(SSID)ssj0000316106 035 $a(PQKBManifestationID)11233619 035 $a(PQKBTitleCode)TC0000316106 035 $a(PQKBWorkID)10255736 035 $a(PQKB)10254587 035 $a(DE-He213)978-3-540-34099-7 035 $a(MiAaPQ)EBC3068178 035 $a(PPN)123134587 035 $a(EXLCZ)991000000000283720 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAgent-Oriented Software Engineering VI $e6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers /$fedited by Jörg Müller, Franco Zambonelli 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XVI, 249 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3950 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-34097-1 320 $aIncludes bibliographical references and index. 327 $aModeling Tools -- Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language -- Hermes: Designing Goal-Oriented Agent Interactions -- Modeling Social Aspects of Multi-Agent Systems: The AML Approach -- Analysis and Validation Tools -- Requirements Elicitation for Agent-Based Applications -- Formalisation and Analysis of the Temporal Dynamics of Conditioning -- Incorporating Commitment Protocols into Tropos -- Multiagent Systems Design -- Zooming Multi-Agent Systems -- Improving AOSE with an Enriched Modelling Framework -- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology -- Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees -- Implementation Tools -- Dynamically Generated User-Specified MAS -- Supporting the Development of Multi-agent Interactions Via Roles -- Automating Model Transformations in Agent-Oriented Modelling -- Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML -- Applying Multi-agent Concepts to Dynamic Plug-In Architectures -- Experiences and Comparative Evaluations -- Using the Analytic Hierarchy Process for Evaluating Multi-Agent System Architecture Candidates -- Estimating Costs for Agent Oriented Software -- Aspects in Agent-Oriented Software Engineering: Lessons Learned. 330 $aAgent and multiagent concepts offer higher level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, perception, commitments, goals, beliefs, and intentions all of which need conceptual modeling. The AOSE 2005 workshop sought to examine the credentials of agent-based approaches as a software engineering paradigm, and to gain an insight into what agent-oriented software engineering will look like, and what its benefits will be. This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3950 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer science 606 $aComputer programming 606 $aComputer networks 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aProgramming Techniques 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aComputer programming. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aProgramming Techniques. 615 24$aComputer Communication Networks. 676 $a005.1 701 $aMuller$b J. P$g(Jorg P.),$f1965-$01754251 701 $aZambonelli$b Franco$f1966-$01358805 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483958803321 996 $aAgent-oriented software engineering VI$94204991 997 $aUNINA