Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies."

"This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects of ubiquitous computing, validation/analysis tools, web service security/trust/privacy, grid security, security risk assessment, and case studies."

"This book constitutes the thoroughly refereed joint post proceedings of two international workshops, the 6th International Workshop on Data Privacy Management, DPM 2011, and the 4th International Workshop on Autonomous and Spontaneous Security, SETOP 2011, held in Leuven, Belgium, in September 2011. The volume contains 9 full papers and 1 short paper from the DPM workshop and 9 full papers and 2 short papers from the SETOP workshop, as well as the keynote paper. The contributions from DPM cover topics from location privacy, privacy-based metering and billing, record linkage, policy-based privacy, application of data privacy in recommendation systems, privacy considerations in user profiles, in RFID, in network monitoring, in transactions protocols, in usage control, and in customer data. The topics of the SETOP contributions are access control, policy derivation, requirements engineering, verification of service-oriented-architectures, query and data privacy, policy delegation and service orchestration."

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques and investigate further developments of knowledge representation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.)."

"This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics, properties of formal models of argumentation, instantiations of abstract argumentation frameworks, relationships among different argumentation frameworks, practical applications of formal models of argumentation, argumentation and other artificial intelligence techniques, evaluation of formal models of argumentation, validation and evaluation of applications of argumentation."

"This book constitutes the thoroughly refereed post-conference proceedings of the 8th European Workshop on Public Key Infrastructures, Services and Applications, EuroPKI 2011, held in Leuven, Belgium in September 2011 - co-located with the 16th European Symposium on Research in Computer Security, ESORICS 2011. The 10 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on authentication mechanisms, privacy preserving techniques, PKI and secure applications."

"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 submissions. The papers cover topics like health care knowledge sharing, health process, clinical practice guidelines, and patient records, ontologies, medical costs, and clinical trials."

"This book constitutes the refereed proceedings of the international competition aimed at the evaluation and assessment of Ambient Assisted Living, EvAAL 2012, which was organized in three major events: the Second International Competition on Indoor Localization and Tracking for Ambient Assisted Living, which took place in Madrid, Spain, in July 2012, the First International Competition on Activity Recognition for Ambient Assisted Living, which took place in Valencia, Spain, in July 2012, and the Final Workshop, which was held in Eindhoven, The Netherlands, in September 2012. The papers included in this book describe the organization and technical aspects of the competitions, and provide a complete technical description of the competing artefacts and report on the experience lessons learned by the teams during the competition."

"This book constitutes the revised selected papers from the First International Workshop on Multimedia for Cultural Heritage, MM4CH 2011, held in Modena, Italy, on May 3, 2011. The 8 full papers and 9 poster papers included in this volume were carefully reviewed and selected from 25 submissions. In addition, the book contains a paper resuming the outcome of the discussion session. The workshop aimed on creating a profitable informal working day to discuss hot topics in multimedia, with special application to cultural heritage. The papers of the oral session are divided in topical sections named interaction and analysis and management."

"This book constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. The workshop aimed at creating the conditions for mutual awareness and cross-fertilization among broad ICT areas such as learning systems for knowledge management and representation, software systems, networked systems and secure systems, by focusing on their shared objectives such as adaptation, evolvability and flexibility for the development of long living and versatile systems. The 6 revised full papers and 4 short papers presented were carefully reviewed and selected from 15 submissions. They are organized in topical sections on software and secure systems, machine learning for software systems, and ontology and knowledge representations."