Page 1
Page 1
Online Communities and Social Computing ; 2nd International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007. This volume, edited by Douglas Schuler, contains papers in the thematic area of Online Communities and Social Computing, addressing the following major topics: • Designing and Developing On-line Communities • Knowledge, Collaboration, Learning and Local On-line Communities
New perspectives in critical data studies: the ambivalences of data power
Examines the ambivalences of data power. Firstly, the ambivalences between global infrastructures and local invisibilities challenge the grand narrative of the ephemeral nature of a global data infrastructure. They make visible local working and living conditions, and the resources and arrangements required to operate and run them. Secondly, the book examines ambivalences between the state and data justice. It considers data justice in relation to state surveillance and data capitalism, and reflects on the ambivalences between an “entrepreneurial state” and a “welfare state”. Thirdly, the authors discuss ambivalences of everyday practices and collective action, in which civil society groups, communities, and movements try to position the interests of people against the “big players” in the tech industry.
Networked Neighbourhoods : The Connected Community in Context
The setting for this book is the networked community. The treatment of the subject matter is broad and interdisciplinary, with contributions from computer science, sociology, design, human factors and communication technology. The chapter contributors, drawn from across Europe and North America, offer a varied prospectus of commentary, critique, sociological enquiry, technological development and research findings, which provides a rounded account of the progressive intermingling of social and electronic networks.
Multiple Classifier Systems ; 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings
These proceedings are a record of the Multiple Classifier Systems Workshop, MCS 2007, held at the Institute of Information Theory and Automation, Czech Academy of Sciences, Prague in May 2007. the workshop achieved its objective of bringing together researchers from diverse communities (neural networks, pattern rec- nition, machine learning and statistics) concerned with this research topic.
Multi-Agent-Based Simulation VIII ; International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Multi-Agent-Based Simulation, MABS 2007, held in Honolulu, HI, USA in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems.The 10 revised full papers presented were carefully reviewed and selected from 20 submissions.The papers are organized in topical sections on architectures; teams, learning, education; economy, trust and reputation.
Multi-Agent-Based Simulation VII ; International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Multi-Agent-Based Simulation, MABS 2006. The 12 revised full papers presented together with three short papers and two invited papers were carefully reviewed and selected from 25 submissions during two rounds of reviewing.
Multi-Agent-Based Simulation VI ; International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Multi-Agent-Based Simulation, MABS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with 1 invited talk were carefully reviewed. The papers are organized in topical sections on coalition emergence, theories and models, applications, and environments.
Introduction to development engineering
Introduces the emerging field of development engineering and its constituent theories, methods, and applications. It is both an instructional text for students and a resource for researchers and practitioners involved in the design and scaling of technologies for low-resource communities. The scope is broad, ranging from the development of mobile applications for low-literacy users to hardware and software solutions for providing electricity and water in remote environments. It is also highly interdisciplinary, drawing on methods and theories from the social sciences as well as engineering and the natural sciences.
Internet and Network Economics ; Vol. 4286 ; 2nd International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings
Constitutes the refereed proceedings of the Second International Workshop on Internet and Network Economics, WINE 2006, held in Patras, Greece in December 2006. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 79 submissions. The papers contain foundational and mathematical work from theories, methodologies, and applications in computer science, economics, mathematics, and management sciences for solving problems arisen in internet technologies, grid computing, network communication protocols, as well as social economic issues in virtual communities enabled through the World Wide Web.
Intelligence and security informatics ; Vol. 3495 : IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings
Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications, through an integrated technological, organizational, and policy-based approach. In the past few years, ISI research has experienced tremendous growth and attracted substantial interest from academic researchers in related fields as well as practitioners from both government agencies and industry. The first two meetings (ISI 2003 and ISI 2004) in the ISI symposium and conference series were held in Tucson, Arizona, in 2003 and 2004, respectively. They provided a stimulating intellectual forum for discussion among previously disparate communities: academic researchers in information technologies, computer science, public policy, and social studies; local, state, and federal law enforcement and intelligence experts; and information technology industry consultants and practitioners.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Innovative Internet Community Systems ; Vol. 3908 ; 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
Traditionally, there are topics discussed in three main aspects. All of them must be considered in a united manner in order to investigate and understand the emergence and evolution of communities in the Internet: knowledge about networking, content and text processing as well as theory. The goal of the I2CS workshop is to bring researchers from both industry and academic fields together to discuss current progress and future developments in these areas and to eliminate the gap between theory and application. At this point, we want to express immense gratitude to all the authors of the submitted papers and to the members of the international Program Committee for their contribution to the success of the event and a program of high quality. In a peer-to-peer review process, 17 papers were selected out of 27 submissions.
Innovative Internet Community Systems ; Vol. 3473 ; 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Innovative Internet Community Systems, IICS 2004, held in Guadalajara, Mexico, in June 2004. The 25 revised full papers presented together with 2 invited papers have been carefully reviewed. They focus mainly on system-oriented problems, text processing, and theoretical foundations of distributed and Internet systems. They also deal with speed and quality-of-service problems of Internet protocols, aspects of cooperation and collaboration in Internet systems, as well as agent and text-processing-based methods. In addition, 9 papers stem from two mini-workshops, one on computational epidemiology and the other on optimization of urban traffic systems.
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems ; International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology.
Hardware and software : Verification and testing ; 1st International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
Grid computing : Achievements and prospects
Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the CoreGRID Integration Workshop, held April 2008 in Heraklion-Crete, Greece. This event brings together representatives of the academic and industrial communities performing Grid research in Europe. The workshop was organized in the context of the CoreGRID Network of Excellence in order to provide a forum for the presentation and exchange of views on the latest developments in grid technology research.
Graphics Recognition : TenYears Review and Future Perspectives ; 6th International Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
This book contains refereed and improved papers presented at the 6th IAPR Workshop on Graphics Recognition (GREC 2005). This year is the tenth anniversary of GREC, Graphics recognition is a particular field in the domain of document analysis, which combines pattern recognition and image processing techniques for the analysis of any kind of graphical information in documents from either paper or electronic formats. In its 10 year history, the graphics recognition community has extended its research topics from the analysis and understanding of graphic documents (including engineering drawings vectorization and recognition), to graphics-based information retrieval and symbol recognition, to new media analysis, and even stepped into research areas of other communities
Generative programming and component engineering ; 4th International conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These approaches to software engineering have the potential to revolutionize software development as automation and components revolutionized manufacturing. The conference brings together researchers and practitioners interested in adva- ing automation for software development. It is also a premier forum for cro- fertilization between the programming language and software engineering - search communities. GPCEaroseasajointconference, mergingthepriorconferenceonGenerative and Component-Based Software Engineering (GCSE) and the Workshop on - mantics, Applications, andImplementationofProgramGeneration(SAIG). The proceedingsofthepreviousGPCEconferenceswerepublishedintheLNCSseries of Springer as volumes2487,2830, and 3286.In 2005 GPCE wasco-locatedwith the International Conference on Functional Programming (ICFP) and the s- posium on Trends in Functional Programming (TFP), re?ecting the vigorous interaction between the functional programming and generative programming research communities. GPCE and ICFP are both sponsored by the Association for Computing Machinery. The quality and breadth of the papers submitted to GPCE 2005 was impr- sive. All 86 papers, including 5 papers for tool demonstrations, were rigorously reviewed by 17 highly quali?ed Program Committee members. The members of the Program Committee ?rst provided in-depth individual reviews of the s- mitted papers, and then debated the merits of the papers through an extended electronicProgramCommitteemeeting.After much(friendly) argument,25r- ular papers and 2 tool demonstration papers were selected for publication. The ProgramCommittee provided extensive technical feedback to the authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.
Functional imaging and modeling of the heart ; 3rd International workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: cardiac imaging, signal and image processing, applied mathematics and physics, biomedical engineering and computer science, cardiology, radi- ogy, biology, and physiology. In the ?rst two editions, the conference received an enthusiastic acceptance by experts of all these communities. FIMH was ori- nally started as a European event and has increasingly attracted more and more people from the US and Asia. This edition of FIMH received the largest number of submissions so far with a result of 47 papers being accepted as either oral presentations or posters. There were a number of submissions from non-EU institutions which con?rms the growing interest in this series of meetings. All papers were reviewed by up to four reviewers. The accepted contributions were organized into 8 oral sessions and 3 poster sessions complemented by a number of invited talks. This year we tried to allocate as many papers as possible as oral presentations to facilitate more active participation and to stimulate multidisciplinary discussions.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
