Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book contains all refereed papers that were accepted to the second edition of the Complex Systems Design & Management (CSDM 2011) international conference that took place in Paris (France) from December 7 to December 9, 2011. These proceedings cover the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the main industrial domains (transport, defense & security, electronics, energy & environment, e-services), scientific & technical topics (systems fundamentals, systems architecture& engineering, systems metrics & quality, systemic tools) and system types (transportation systems, embedded systems, software & information systems, systems of systems, artificial ecosystems)."

"This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2011, held in Leixlip, Ireland, in October 2011 held in conjunction with the Intel European Research and Innovation Conference, ERIC 2011. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on design science and processes, evaluation and utility, and applying design science."

"This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named, SAT and SMT based methods, automata, model checking, case studies, memory models and termination, internet protocol verification, stochastic model checking, synthesis, provers and analysis techniques, tool demonstrations, and competition on software verification."

"COOP 2012 is the tenth COOP conference, marking twenty years from the first conference in 1992. In this special anniversary edition we asked researchers and practitioners to reflect on what have been the successes and the failures in designing cooperative systems, and what challenges still need to be addressed. We have come a long way in understanding the intricacies of cooperation and in designing systems that support work practices and collective activities. These advances would not have been possible without the concerted effort of contributions from a plethora of domains including CSCW, HCI, information systems, knowledge engineering, multi-agent systems, organizational and management sciences, sociology, psychology, anthropology, ergonomics, linguistics, etc. The COOP community is going from strength to strength in developing new technologies, advancing and proposing new methodological approaches, and forging theories."

"This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing."

"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."

"This book constitutes the refereed proceedings of the 7th International Conference on Design Science Research in Information Systems and Technology, DERIST 2012, held in Las Vegas, NV, USA, in May 2012. The 24 revised full papers presented together with 7 revised short papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on DSRIS in practice, DSRIS methodologies and techniques, social and environmental aspects of DSRIS, theory and theory building in DSRIS, and evaluation of DSRIS projects."

"This book constitutes the refereed proceedings of the 20 th International Conference on User Modeling, Adaptation, and Personalization, held in Montreal, Canada, in July 2012. The 22 long and 7 short papers of the Research Paper Track presented were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on user engagement; trust; user motivation, attention, and effort, recommender systems (including topics such as matrix factorization, critiquing, noise and spam in recommender systems), user centered design and evaluation, educational data mining, modeling learners, user models in microblogging, and visualization. The Industry Paper Track covered innovative commercial implementations or applications of UMAP technologies, and experience in applying recent research advances in practice. 2 long and 1 short papers were accepted of 5 submissions."

"This book constitutes selected papers from the lectures given at the workshops held in conjunction with the User Modeling, Adaptation and Personalization Conference, UMAP 2011, Girona, Spain, in July 2011. The 40 papers presented were carefully reviewed and selected for inclusion in this book. For each workshop there is an overview paper summarizing the workshop themes, the accepted contributions and the future research trends. In addition the volume presents a selection of the best poster papers of UMAP 2011. The workshops included are, AST, adaptive support for team collaboration, AUM, augmenting user models with real worlds experiences to enhance personalization and adaptation, DEMRA, decision making and recommendation acceptance issues in recommender systems, PALE, personalization approaches in learning environments, SASWeb, semantic adaptive social web, TRUM, trust, reputation and user modeling, UMADR, user modeling and adaptation for daily routines: providing assistance to people with special and specific needs, UMMS, user models for motivational systems: the affective and the rational routes to persuasion."

"This book constitutes the thoroughly refereed post-conference proceedings of the workshop on Usable Security, USEC 2012, and the third Workshop on Ethics in Computer Security Research, WECSR 2012, held in conjunction with the 16th International Conference on Financial Cryptology and Data Security, FC 2012, in Kralendijk, Bonaire. The 13 revised full papers presented were carefully selected from numerous submissions and cover all aspects of data security. The goal of the USEC workshop was to engage on all aspects of human factors and usability in the context of security. The goal of the WECSR workshop was to continue searching for a new path in computer security that is Institutional review boards at academic institutions, as well as compatible with ethical guidelines for societies at government institutions."