Ditemukan 1015 dokumen yang sesuai dengan query
Sebastian Mödersheim, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20408103
eBooks Universitas Indonesia Library
Roberto De Virgilio, editor
In this book, present an extensive overview of the work done in Semantic Search and other related areas. They explore different technologies and solutions in depth, making their collection a valuable and stimulating reading for both academic and industrial researchers.
The book is divided into three parts. The first introduces the...
Berlin: Springer-Verlag, 2012
e20408106
eBooks Universitas Indonesia Library
Mari Carmen Suarez-Figueroa, editor
This book, provides the necessary methodological and technological support for the development and use of ontology networks, which ontology developers need in this distributed environment. After an introduction, in its second part the authors describe the NeOn Methodology framework. The book’s third part details the key activities relevant to the...
Berlin: Springer-Verlag, 2012
e20408109
eBooks Universitas Indonesia Library
Malay K. Kundu, editor
This book constitutes the proceedings of the First Indo-Japanese conference on Perception and Machine Intelligence, PerMIn 2012, held in Kolkata, India, in January 2012. The 41 papers, presented together with 1 keynote paper and 3 plenary papers, were carefully reviewed and selected for inclusion in the book. The papers are...
Berlin: Springer-Verlag, 2012
e20408149
eBooks Universitas Indonesia Library
Lachlan M. MacKinnon, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 27th British National Conference on Databases, BNCOD 27, held in Dundee, UK, in June 2010. The 10 revised full papers and 6 short papers, presented together with 3 invited papers, 1 best paper of the associated event on Teaching, Learning...
Berlin: Springer-Verlag, 2012
e20408156
eBooks Universitas Indonesia Library
e
eBooks Universitas Indonesia Library
Yannis Charalabidis, editor
With contributions from leading researchers, Charalabidis and Koussouris provide the latest research findings such as theoretical foundations, principles, methodologies, architectures, technical frameworks, cases and lessons learnt within the domain of open, collaborative governance and online citizen engagement. The book is divided into three sections: Section one, “Public Policy Debate Foundations,”...
Berlin: Springer-Verlag, 2012
e20408161
eBooks Universitas Indonesia Library
Frank Schonthaler, author
The book offers a quick-start into model-based business process engineering. After that, the foundations of the modeling languages used are conveyed. Meaningful examples are in the foreground, each of the underlying formalisms is treated only as far as needed. Next the Horus Method is described in detail. The book defines...
Berlin: Springer-Verlag, 2012
e20408164
eBooks Universitas Indonesia Library
Rajkumar Kannan, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Data Engineering and Management, ICDEM 2010, held in Tiruchirappalli, India, in July 2010. The 46 revised full papers presented together with 1 keynote paper and 2 tutorial papers were carefully reviewed and selected from numerous submissions....
Berlin: Springer-Verlag, 2012
e20408166
eBooks Universitas Indonesia Library
David Riano, editor
This book constitutes the refereed proceedings of the Third International KR4HC 2011 workshop held in conjunction with the 13th Conference on Artificial Intelligence in medicine, AIME 2011, in Bled, Slovenia, in July 2011. The 11 extended papers presented together with 1 invited paper were carefully reviewed and selected from 22...
Berlin: Springer-Verlag, 2012
e20408167
eBooks Universitas Indonesia Library
