Hasil Pencarian  ::  Simpan CSV :: Kembali

"This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 2 papers are selected papers of the PhD Workshop organized for the participants of the summer school."

"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 thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations."

"This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows, types, compiling, paralelelism and distribution, data structures, and miscellaneous."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6 International Summer School, held in Trento, Italy, in September 2011. The 20 revised papers were carefully selected from numerous submissions during two rounds of reviewing. The book also contains two invited talks. The papers are organized in topical sections on privacy metrics and comparison, policies, privacy transparency in the age of cloud computing, privacy for mobile applications, consumer privacy, privacy for online communities, privacy for eHealth and eID applications, privacy attacks and problems, and ethics."

"This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009, co-located with the International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions. The volume is organized in topical sections on social welfare, distributed information sharing, and network organization and efficiency."

"The ATOP (Agent-Based Technologies and Applications for Enterprise Interoperability) workshop series focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. In particular, ATOP brings together research combining ideas from MDA and SOA with agent technologies. The ATOP 2009 and 2010 workshops were held at the AAMAS conferences in Budapest, Hungary, in May 2009, and in Toronto, Canada, in May 2010. The 11 papers presented here were carefully reviewed by three members of the international Program Committee and selected out of 25 contributions to the workshops. The topics covered are modeling interoperable systems, semantic approaches to enterprise interoperability, and interoperable business processes and business interactions. These papers are completed by an invited contribution reporting on OMG agent standardization. The main goal was to collect approaches for the application of agent technologies in these areas. Current trends in the development of agent technologies are compared with recent developments in service-oriented and model-driven system design, with respect to their ability to solve interoperability problems."

"Annotation business intelligence (BI) promises an organization the capability of collecting and analyzing internal and external data to generate knowledge and value, providing decision support at the strategic, tactical, and operational levels. Business intelligence is now impacted by the big data phenomena and the evolution of society and users, and needs to take into account high-level semantics, reasoning about unstructured and structured data, and to provide a simplified access and better understanding of diverse BI tools accessible trough mobile devices. In particular, BI applications must cope with additional heterogeneous (often Web-based) sources, e.g., from social networks, blogs, competitors, suppliers, or distributors data, governmental or NGO-based analysis and papers, or from research publications.The lectures held at the First European Business Intelligence Summer School (eBISS), which are presented here in an extended and refined format, cover not only established BI technologies like data warehouses, OLAP query processing, or performance issues, but extend into new aspects that are important in this new environment and for novel applications, e.g., semantic technologies, social network analysis and graphs, services, large-scale management, or collaborative decision making. Combining papers by leading researchers in the field, this volume will equip the reader with the state-of-the-art background necessary for inventing the future of BI."

"The 27 papers included (plus one invited paper) in this volume were carefully reviewed and selected from 57 full papers presented at the conference (out of 402 submissions). They reflect state-of-the-art research that is often driven by real-world applications, thus successfully relating the academic with the industrial community. The topics covered are: databases and information systems integration, artificial intelligence and decision support systems, information systems analysis and specification, software agents and Internet computing, and human-computer interaction."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Security and Trust Management, STM 2011, held in Copenhagen, Denmark, in June 2011 - co-located with IFIPTM 2011, the 5th IFIP International Conference on Trust Management. The 12 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. Focusing on high-quality original unpublished research, case studies, and implementation experiences, STM 2011 features submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in information and communication technologies."