Ditemukan 105 dokumen yang sesuai dengan query
Agent-centric theories, approaches and technologies are contributing to enrich interactions between users and computers. This book aims at highlighting the influence of the agency perspective in human-computer interaction through a careful selection of research contributions. Split into five sections, users as agents, agents and accessibility, agents and interactions, agent-centric paradigms...
Berlin: [Springer, ], 2012
e20398383
eBooks Universitas Indonesia Library
[;This book brings together a comprehensive set of papers on the background, theory, technical issues and applications of agent-based modelling (ABM) within geographical systems. Specific geographical issues such as handling scale and space are dealt with as well as practical advice from leading experts about designing and creating ABMs, handling...
Dordrecht, Netherlands: [Springer, Springer], 2012
e20399535
eBooks Universitas Indonesia Library
Cesare, Silvio, author
Software similarity and classification is an emerging topic with wide applications. It is applicable to the areas of malware detection, software theft detection, plagiarism detection, and software clone detection. Extracting program features, processing those features into suitable representations, and constructing distance metrics to define similarity and dissimilarity are the key...
London: Springer, 2012
e20407717
eBooks Universitas Indonesia Library
Kumar, Sandeep, author
Agent-based semantic web service composition closely examines the various aspects of SWS composition, and explores the concept that a multi-agent system can serve as an SWS composition system in which its agents can interact with one another to satisfy a high-level goal. In addition to surveying various proposed multi-agent-based SWS...
New York: [, Springer], 2012
e20409948
eBooks Universitas Indonesia Library
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410163
eBooks Universitas Indonesia Library
Antonia Mas, editor
This book constitutes the refereed proceedings of the 12th International Conference on Software Process Improvement and Capability Determination, SPICE 2012, held in Palma de Mallorca, Spain, in May 2012. The 21 revised full papers presented and 14 short papers were carefully reviewed and selected from numerous submissions. The papers are...
Berlin: [, Springer-Verlag], 2012
e20410348
eBooks Universitas Indonesia Library
Martin Beer, editor
This book consists mainly of revised papers that were presented at the Agents for Educational Games and Simulation (AEGS) workshop held on May 2, 2011, as part of the Autonomous Agents and MultiAgent Systems (AAMAS) conference in Taipei, Taiwan. The 12 full papers presented were carefully reviewed and selected from...
Berlin: [, Springer-Verlag], 2012
e20410393
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
Tiziana Margaria, editor
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : [, Springer-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
Kazmierski, Tom J., editor
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and...
New York: [Springer, ], 2012
e20418367
eBooks Universitas Indonesia Library
