الصفحة 99
الصفحة 99
Agent-oriented software engineering VI ; 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.
Agent-oriented information systems III ; 7th International bi-conference workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers
In 2005, two AOIS workshops were held internationally. The first was affiliated with the AAMAS 2005 meeting in July in Utrecht in The Netherlands and chaired by Henderson-Sellers and Winikoff and the second with ER 2005 in November in Klagenfurt in Austria and chaired by Kolp and Bresciani. The best papers from these meetings were identified and authors invited to revise and possibly extend their papers in the light of reviewers’ comments and feedback at the workshop. We have grouped these papers loosely under four headings: Agent behavior, communications and reasoning; Methodologies and ontologies; Agent-oriented software engineering; and Applications.
Agent-mediated electronic commerce : Designing trading agents and mechanisms ; AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Mediated Electronic Commerce, AMEC VII 2005, held in Utrecht, Netherlands in July 2005, as part of AAMAS 2005, and the third Workshop on Trading Agent Design and Analysis, TADA 2005, held in Edinburgh, UK in August 2005, in the course of the IJCAI 2005 conference meetings. The seven revised full AMEC 2005 papers presented were carefully selected.
Agent-based Supply Network Event Management
Supply Chain Event Management (SCEM)" is one of the major topics in application-oriented Supply Chain Management. However, many solutions lack conceptual precision and currently available client-server SCEM-systems are ill-suited for complex supply networks in today's business environment,In this book a thorough analysis of the event management problem domain is the starting point to develop a generic agent-based approach to Supply Network Event Management. The concept is illustrated with prototypical implementations and assessed in a multi-dimensional evaluation of potential benefits. The main focus lies on practical issues of event management (e.g. semantic interoperability) and economic benefits to be achieved with agent technology in this state-of-the-art problem domain.
Agent-based computational modelling : Applications in demography, social, economic and environmental sciences
The present book describes the methodology to set up agent-based models and to study emerging patterns in complex adaptive systems resulting from multi-agent interaction. It offers the application of agent-based models in demography, social and economic sciences and environmental sciences. It presents and combines different approaches how to implement agent-based computational models and tools in an integrative manner that can be extended to other cases.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Agent Computing and Multi-Agent Systems ; 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific Rim countries. Agent computing and multi-agent systems are computational systems in which several autonomous or se- autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agents having common or distinct goals, and they may involve participation on the part of humans and intelligent agents. The aim of PRIMA 2006 was to bring together Asian and Pacific Rim researchers and developers from academia and industry to report on the latest technical advances or domain applications and to discuss and explore scientific and practical problems as raised by the participants. PRIMA 2006 received 203 submitted papers.
Agent Communication II ; International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunately there seems to be a tendency to regard communication as a kind of information exchange that can easily be covered using the standard FIPA ACL. However, the papers in this volume show that research in agent communication is far from ?nished. If we want to develop the full potential of multi-agent s- tems, agent communication should also develop to a level beyond parameter or value passing as is done in OO approaches! In this book we present the latest collection of papers around the topic of agentcommunication.Thecollectioncomprisesofthebestpapersfromtheagent communication workshops of 2005 and 2006, enriched with a few revised agent communication papers from the AAMAS conference.
Advances in XML information retrieval and Evaluation ; 4th International workshop of the initiative for the evaluation of XML retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised and Selected Papers
Content-oriented XML retrieval has been receiving increasing interest due to the widespread use of eXtensible Markup Language (XML), which is becoming a standard document format on the Web, in digital libraries,and publishing. By exploiting the enriched source of syntactic and semantic information that XML markup provides, XML information retrieval (IR) systems aim to implement a more focused retrieval strategy and return document components, so-called XML elements – instead of complete documents – in response to a user query. This focused retrieval approach is of particular bene?t for collections containing long documents or documents covering a wide variety of topics (e.g., books, user manuals, legal documents, etc.), where users’ e?ort to locate relevant content can be reduced by directing them to the most relevant parts of the documents.
Advances in web-age information management ; Vol. 4016 : 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Web-Age Information Management, WAIM 2006, held in Hong Kong, China in June 2006. The 50 revised full papers presented were carefully reviewed and selected from 290 submissions. The papers are organized in topical sections on, indexing, XML query processing, information retrieval, sensor networks and grid computing, peer-to-peer systems, Web services, Web searching, caching and moving objects, temporal database, clustering, clustering and classification, data mining, data stream processing, XML and semistructured data, data distribution and query processing, and advanced applications.
Advances in web mining and web usage analysis ; 7th International workshop on knowledge discovery on the web, WEBKDD 2005, Chicago, IL, USA, August 21, 2005, Revised Papers
Thisbookcontainsthepostworkshopproceedingsofthe7thInternationalWo- shop on Knowledge Discovery from the Web, WEBKDD 2005. The WEBKDD workshop series takes place as part of the ACM SIGKDD International Conf- ence on Knowledge Discovery and Data Mining (KDD) since 1999. The discipline of data mining delivers methodologies and tools for the an- ysis of large data volumes and the extraction of comprehensible and non-trivial insights from them. Web mining, a much younger discipline, concentrates on the analysisofdata pertinentto theWeb.Web mining methods areappliedonusage data and Web site content; they strive to improve our understanding of how the Web is used, to enhance usability and to promote mutual satisfaction between e-business venues and their potential customers. In the last years, the interest for the Web as medium for communication, interaction and business has led to new challenges and to intensive, dedicated research. Many of the infancy problems in Web mining have now been solved but the tremendous potential for new and improved uses, as well as misuses, of the Web are leading to new challenges.
Advances in web mining and web usage analysis ; 6th International workshop on knowledge discovery on the web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
The Webisaliveenvironmentthatmanagesanddrivesawidespectrumofapp- cations in which a user may interact with a company, a governmental authority, a non-governmental organization or other non-pro?t institution or other users. User preferences and expectations, together with usage patterns, form the basis for personalized, user-friendly and business-optimal services. Key Web business metrics enabled by proper data capture and processing are essential to run an e?ective business or service. Enabling technologies include data mining, sc- able warehousing and preprocessing, sequence discovery, real time processing, document classi?cation, user modeling and quality evaluation models for them. Recipient technologies required for user pro?ling and usage patterns include recommendation systems, Web analytics applications, and application servers, coupled with content management systems and fraud detectors.
Advances in Web Intelligence and Data Mining
The new Web-related research directions include intelligent methods usually associated with the fields of computational intelligence, soft computing, and data mining. This book presents state-of-the-art developments in the area of computationally intelligent methods applied to various aspects and ways of Web exploration and Web mining. Some novel data mining algorithms that can lead to more effective and intelligent Web-based systems are also described. Scientists, engineers, and research students are expected to find many inspiring ideas in this volume.
Advances in web based learning -- ICWL 2006 ; 5th International conference, Penang, Malaysia, July 19-21, 2006, Revised Papers
The conference program was organized in a single-track 3-day workshop. It included a tutorial, a keynote talk, and oral/poster paper presentations in several sessions dedicated to specific topics. Session topics included “Personalization in E-Learning,” “Designs, Model and Framework of E-Learning Systems,” “Implementations and Evaluations of E-Learning Systems,” “Tools in E-Learning,” and “Learning Resource Deployment, Organization and Management. ” We received a total of 99 submissions from all over the world.
Advances in visual computing ; Vol. 4292 ; 2nd International symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II
This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Specifcally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the ?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion.
Advances in Visual Computing ; Vol. 4291 ; 2nd International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I
This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Specifcally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the ?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion. During the discussion period we tried to correct anomalies and errors that might have existed in the initial reviews.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in Variable Structure and Sliding Mode Control
Sliding Mode Control is recognized as an efficient tool to design controllers which are robust with respect to uncertainty. The resulting controllers have low sensitivity to plant parameters and perturbations and allow the possibility of decoupling the original plant system into two components of lower dimension. In addition many controllers ensure finite time convergence to the switching surface and can be straightforwardly implemented. However, in addition to this traditional area of exploitation, sliding mode concepts are being increasingly deployed for the design of observers for estimation and identification.
Advances in the Geological Storage of Carbon Dioxide : International Approaches to Reduce Anthropogenic Greenhouse Gas Emissions
As is now generally accepted mankind’s burning of fossil fuels has resulted in the mass transfer of greenhouse gases to the atmosphere, a modification of the delicately-balanced global carbon cycle, and a measurable change in world-wide temperatures and climate. Although not the most powerful greenhouse gas, carbon dioxide (CO) drives climate 2 change due to the enormous volumes of this gas pumped into the atmosphere every day. Produced in almost equal parts by the transportation, industrial and energy-generating sectors, atmospheric CO concentrations have 2 increased by about 50% over the last 300 years, and according to some sources are predicted to increase by up to 200% over pre-industrial levels during the next 100 years. If we are to reverse this trend, in order to prevent significant environmental change in the future, action must be taken immediately.
Advances in systems, computing sciences and software engineering ; Proceedings of SCSS 2005
Advances in Systems, Computing Sciences and Software Engineering This book includes the proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS'05). The proceedings are a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of computer science, software engineering, computer engineering, systems sciences and engineering, information technology, parallel and distributed computing and web-based programming.
