The inspiring idea of this workshop series, Artificial Intelligence Approaches to the Complexity of Legal Systems (AICOL), is to develop models of legal knowledge concerning organization, structure, and content in order to promote mutual understanding and communication between different systems and cultures. Complexity and complex systems describe recent developments in AI and law, legal theory, argumentation, the Semantic Web, and multi-agent systems. Multisystem and multilingual ontologies provide an important opportunity to integrate different trends of research in AI and law, including comparative legal studies. Complexity theory, graph theory, game theory, and any other contributions from the mathematical disciplines can help both to formalize the dynamics of legal systems and to capture relations among norms. Cognitive science can help the modeling of legal ontology by taking into account not only the formal features of law but also social behaviour, psychology, and cultural factors. This book is thus meant to support scholars in different areas of science in sharing knowledge and methodological approaches. This volume collects the contributions to the workshop's third edition, which took place as part of the 25th IVR congress of Philosophy of Law and Social Philosophy, held in Frankfurt, Germany, in August 2011. This volume comprises six main parts devoted to the each of the six topics addressed in the workshop, namely: models for the legal system ethics and the regulation of ICT, legal knowledge management, legal information for open access, software agent systems in the legal domain, as well as legal language and legal ontology.

This is a book about the bricks and mortar from which are built those edifices that will permeate the emerging information society of the future-computer networks. For many years such computer networks have played an indirect role in our daily lives as the hidden servants of banks, airlines, and stores. Now they are becoming more visible as they enter our offices and homes and directly become part of our work, entertainment, and daily living. The study of how computer networks function is a combined study of communication theory and computer science, two disciplines appearing to have very little in common. The modern communication scientist wishing to work in this area soon finds that solving the traditional problems of transmission, modulation, noise immunity, and error bounds in getting the signal from one point to another is just the beginning of the challenge. The communication must be in the right form to be routed properly, to be handled without congestion, and to be understood at various points in the network. As for the computer scientist, he finds that his discipline has also changed. The fraction of computers that belong to networks is increasing all the time. And for a typical single computer, the fraction of its execution load, storage occupancy, and system management problems that are in volved with being part of a network is also growing."

Manufacturing processes, scientific experiments, research programs, tax collection systems, are all endeavors once born as projects. Project engineering is the application of science to the development and analysis of project plans, and to the supervision of their realization. This book is a unified treatise on the technology of project planning and execution. It provides a systematic understanding of the different methodological approaches to the development and supervision of project plans. Readers are given a technical introduction to the main methodologies, such as graphs, activity networks, CPM, PERT, GERT, and Petri nets, and given guidance as to when and why to apply one technique rather than another. The book deliberately emphasizes those techniques which are particularly suitable to exploiting the power of computation, and therefore supplies a solid platform for applying computer tools to the analysis and control of projects. The book also introduces ODM, a methodology based on the theory of fuzzy sets for supporting plan execution supervisors in making operational choices. The book is self-contained. It is designed to serve professionals and students in the fields of systems engineering, computer aided planning, and decision support systems.

This book constitutes the refereed proceedings of the International Conference on Recent Trends in Computer Networks and Distributed Systems Security, held in Trivandrum, India, in October 2012. The 34 revised full papers and 8 poster presentations were carefully reviewed and selected from 112 submissions. The papers cover various topics in Computer Networks and Distributed Systems.

Organized society depends on communication of all kinds, including the ability to communicate at a distance, instantaneously. With the development of solid state electronics and its application to digital processing, telecommunication has become extremely important to large segments of American business. The in troduction of competition to serve these voice, data, and video needs has ex panded the number of service options available, and some of them are finding their way into the residential sector. From a relatively stable, mature industry, telecommunication has rapidly become a technology-driven marketplace in which a host of companies are competing for customer attention with new services and equipment. Heretofore, books on telecommunications have addressed facilities and how they work. In this book, I am seeking to provide a much broader perspective which includes information on the motives driving the business itself, on new media and services, and on advancing technologies, as well as on digital facilities and their integration into the environment of future businesses and households. Covering so wide a set of topics presents many problems, not the least of which is that the character of the information is different in each chapter, and the material will be read by persons skilled in disparate fields. It is possible to read each chapter by itself-although a reading of all of them is needed to understand the new dimensions being introduced into the telecommunication experience."

Enterprises all over the world are experiencing a rapid development of networked computing for applications that are required for the daily survival of an organization. Client-server computing offers great potential for cost-effective networked computing. However, many organizations have now learned that the cost of maintenance and support of these networked distributed systems far exceeds the cost of buying them. Computer Supported Creative Work (CSCW) is the new evolving area that promotes the understanding of business processes and relevant communication technologies. Cooperative Management of Enterprise Networks uses CSCW as the medium for conveying ideas on the integration of business processes with network and systems management. This book will be useful for systems management professionals wishing to know about business process integration; business managers wishing to integrate their tasks with network/systems management; software system developers wishing to adopt participatory design practices; and students and researchers.

The digitisation of traditional media formats, such as text, images, video, and sound provides us with the ability to store, process, and transport content in a uniform way. This has led the formerly distinct industries of media, telecommunications, and information technology to converge. Cross-media publishing and service delivery are important new trends emerging in the content industry landscape. Mass-media organizations and content providers traditionally targeted content production towards a single delivery channel. However, recent economic and technological changes in the industry led content providers to extend their brands to cover multiple delivery channels. Following the content industry trend to "create once and publish everywhere"-COPE, a number of architectures, technologies, and tools are currently being developed and deployed to facilitate the automatic conversion of content to multiple formats, and the creation of innovative multi-platform services. This new approach enables the seamless access to information over different network infrastructures and client platforms. This work aims to bring together a cross-disciplinary core of contributors to address the technical and business issues of cross-media publishing and service delivery. The volume is based on papers presented at the conference on Cross-Media Service Delivery-CMSD-2003 that took place in Santorini, Greece in May 2003. Each contribution was reviewed by at least two reviewers-typically three. From the 30 papers that were submitted 20 were selected for presentation at the conference. Those were further "shepherded" by programme committee members to be improved according to the review suggestions.

A revised and updated translation of the French original, this work deals effectively with local area network technologies and management, offering a broad overview of enterprise telecommunication technologies. Also covered is computer telephony integration (CTI) through a presentation of the main technologies of the domain. A functional description of the main features of network operating systems is proposed and illustrated by Novell IntraNetWare and Windows NT examples, with special emphasis offered on business applications and management issues of these topics. The main interest of the book resides in the dual approach of enterprise networks, covering both technical and managerial elements, providing a global understanding of business applications and management of telecommunications to IT professionals and students. Concrete tools and methods are described, thus offering practical advice of immediate relevance.

Error-correction coding is being used on an almost routine basis in most new communication systems. Not only is coding equipment being used to increase the energy efficiency of communication links, but coding ideas are also providing innovative solutions to many related communication problems. Among these are the elimination of intersymbol interference caused by filtering and multipath and the improved demodulation of certain frequency modulated signals by taking advantage of the "natural" coding provided by a continuous phase. Although several books and nu merous articles have been written on coding theory, there are still noticeable deficiencies. First, the practical aspects of translating a specific decoding algorithm into actual hardware have been largely ignored. The information that is available is sketchy and is widely dispersed. Second, the information required to evaluate a particular technique under situations that are en countered in practice is available for the most part only in private company reports. This book is aimed at correcting both of these problems. It is written for the design engineer who must build the coding and decoding equipment and for the communication system engineer who must incorporate this equipment into a system. It is also suitable as a senior-level or first-year graduate text for an introductory one-semester course in coding theory. The book U"Ses a minimum of mathematics and entirely avoids the classical theorem/proof approach that is often seen in coding texts."

There are many valuable and useful books on electrical communication (References 1-5 are some examples), but they have certain disadvantages for the beginner. The more advanced books present some things in a basic way, but they are very narrow for an introduction to communica tion. The introductory books are broader but still narrow by our stan dards. Further, they often pick things out of thin air rather than derive them. This book is aimed at giving the beginner a basic understanding of a wide range of topics which are essential in communication systems. These include antennas and transmission, thermal noise and its consequences, Fourier transforms, modulation and noise, sampling and pulse code modulation, autocorrelation and power spectrum, optimum filtering, gauss ian noise and errors in digital transmission, data transmission, limits on data rate including information theory and quantum limits, and source encoding. We have not included communications traffic, switching, and multiplexing, nor protocols for digital and computer communications. For these, Reference 6 is excellent. In general, our book does not discuss the circuits used for communication or the physics of radio propagation. We assume that these will be taught in specialized courses, but such courses are not prerequisites for this one. Chapter 1 introduces the transmission formula or antenna equation and antenna directivity. Only a very basic sophomore physics knowledge of electromagnetic theory is assumed. The radar equation is also treated."

This book constitutes the refereed proceedings of the First International Conference on Advanced Machine Learning Technologies and Applications, AMLTA 2012, held in Cairo, Egypt, in December 2012. The 58 full papers presented were carefully reviewed and selected from 99 intial submissions. The papers are organized in topical sections on rough sets and applications, machine learning in pattern recognition and image processing, machine learning in multimedia computing, bioinformatics and cheminformatics, data classification and clustering, cloud computing and recommender systems.

Agent-based Semantic Web Service Composition closely examines the various aspects of SWS composition, and explores the concept that a Multi-Agent system can serve as an SWS composition system in which its agents can interact with one another to satisfy a high-level goal. In addition to surveying various proposed multi-agent-based SWS composition models, the book also highlights the cognitive parameter-based semantic web service selection models that can be used in multi-agent-based SWS composition, and outlines a new negotiation agreement-based SWS composition that can outperform existing techniques. Agent-based Semantic Web Service Composition is intended for researchers and practitioners as a reference guide for optimizing SWS composition and implementing multi-agent systems. Instructors and other academics working in a related field will also find the book invaluable.

This Festschrift volume is published in honor of Ferran Hurtado on the occasion of his 60th birthday; it contains extended versions of selected communications presented at the XIV Spanish Meeting on Computational Geometry, held at the University of Alcala, Spain, in June 2011. Ferran Hurtado has played a central role in the Spanish community of Computational Geometry since its very beginning, and the quantity and quality of the international participants in the conference is an indisputable proof of his relevance in the international level. The 26 revised full papers were carefully reviewed and selected from numerous submissions. The papers present original research in computational geometry, in its broadest sense. Topics included are discrete and combinatorial geometry, linear programming applied to geometric problems, geometric algorithms and data structures, theoretical foundations of computational geometry, questions of interest in the implementation of geometric algorithms, and applications of computational geometry.

This book constitutes the thoroughly refereed post-workshop proceedings of 5 workshops, held at the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, in Taipei, Taiwan, May 2-6, 2011. The 37 revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The papers are organized in sections on the workshops Agent-Based Modeling for Policy Engineering (AMPLE), Agent-Oriented Software Engineering (AOSE), Autonomous Robots and Multirobot Systems (ARMS), Data Oriented Constructive Mining and Multi-Agent Simulation, Massively Multi-Agent Systems: Models, Methods and Tools (DOCM(3)AS), and Infrastructures and Tools for Multiagent Systems (ITMAS).

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

This book constitutes the refereed proceedings of the third International Joint Conference an Ambient Intelligence, AmI 2012, held in Pisa, Italy, in November 2012. The 18 revised full papers and 5 short papers presented were carefully reviewed and selected from 47 (full papers) respectively 14 (short papers) submissions. From a scientific point of view, the papers make a multidisciplinary approach covering fields like computer science, human computer interaction, electrical engineering, industrial design, behavioral sciences, aimed at enriching physical environments with a network of distributed devices, such as sensors, actuators, and computational resources, in order to support users in their everyday activities. From a technological perspective the volume represents the convergence of recent achievements in ubiquitous and communication technologies, pervasive computing, intelligent user interfaces and artificial intelligence.

Data mining is becoming a pervasive technology in activities as diverse as using historical data to predict the success of a marketing campaign, looking for patterns in financial transactions to discover illegal activities or analyzing genome sequences. From this perspective, it was just a matter of time for the discipline to reach the important area of computer security. Applications Of Data Mining In Computer Security presents a collection of research efforts on the use of data mining in computer security. Applications Of Data Mining In Computer Security concentrates heavily on the use of data mining in the area of intrusion detection. The reason for this is twofold. First, the volume of data dealing with both network and host activity is so large that it makes it an ideal candidate for using data mining techniques. Second, intrusion detection is an extremely critical activity. This book also addresses the application of data mining to computer forensics. This is a crucial area that seeks to address the needs of law enforcement in analyzing the digital evidence.

Broadband Infrastructure: The Ultimate Guide to Understanding and Delivering OSS/BSS is a "how to" book for Internet infrastructure companies to help them prepare for the decisions they will face when constructing their core OSS strategies and infrastructure. This book provides a source of reference and education to learn the language, methods, and technologies associated with the OSS market. It examines the Internet infrastructure supply chain and how it will be automated. Finally, it brings together a wealth of proven knowledge and advice, gathered from BusinessEdge Solutions' extensive OSS experience, that broadband providers can use to minimize their OSS risks while maximizing their ability to differentiate and compete.

Enabling Technologies for Computational Science assesses future application computing needs, identifies research directions in problem-solving environments (PSEs), addresses multi-disciplinary environments operating on the Web, proposes methodologies and software architectures for building adaptive and human-centered PSEs, and describes the role of symbolic computing in scientific and engineering PSEs. The book also includes an extensive bibliography of over 400 references. Enabling Technologies for Computational Science illustrates the extremely broad and interdisciplinary nature of the creation and application of PSEs. Authors represent academia, government laboratories and industry, and come from eight distinct disciplines (chemical engineering, computer science, ecology, electrical engineering, mathematics, mechanical engineering, psychology and wood sciences). This breadth and diversity extends into the computer science aspects of PSEs. These papers deal with topics such as artificial intelligence, computer-human interaction, control, data mining, graphics, language design and implementation, networking, numerical analysis, performance evaluation, and symbolic computing. Enabling Technologies for Computational Science provides an assessment of the state of the art and a road map to the future in the area of problem-solving environments for scientific computing. This book is suitable as a reference for scientists from a variety of disciplines interested in using PSEs for their research.

This book constitutes the proceedings of the 13th Pacific Rim Conference on Multimedia, held in Singapore during December 4-6, 2012. The 59 revised full papers presented were carefully reviewed and selected from 106 submissions for the main conference and are accompanied by 23 presentations of 4 special sessions. The papers are organized in topical sections on multimedia content analysis, image and video processing, video coding and multimedia information processing, image/video processing and analysis, video coding and multimedia system, advanced image and video coding, cross media learning with structural priors, as well as efficient multimedia analysis and utilization.

Agent technology has recently become one of the most vibrant and fastest growing areas in information technology. Within this booming area, intelligent information agents are attracting particular attention from the research and development community as well as from industry and user communities interested in everyday private and professional applications. This monographic text is the first systematic state-of-the-art survey on intelligent information agents. Eighteen coherently written chapters by leading authorities provide complementary coverage of the relevant issues organized in four parts: cooperative information systems and agents; rational information agents and electronic commerce; adaptive information agents; mobile agents and security. In addition, the volume editor has provided a detailed introductory survey chapter, motivational introductions to the four parts, and a comprehensive bibliography listing more than 700 entries.

ulti-carrier modulation' Orthogonal Frequency Division Multi- Mplexing (OFDM) particularly' has been successfully applied to a wide variety of digital communications applications over the past several years. Although OFDM has been chosen as the physical layer standard for a diversity of important systems' the theory' algorithms' and implementation techniques remain subjects of current interest. This is clear from the high volume of papers appearing in technical journals and conferences. Multi-carrier modulation continues to evolve rapidly. It is hoped that this book will remain a valuable summary of the technology' p- viding an understanding of new advances as well as the present core technology. The Intended Audience This book is intended to be a concise summary of the present state of the art of the theory and practice of OFDM technology. The authors believe that the time is ripe for such a treatment. Particularly based on one of the author's long experience in development of wireless systems (AB), and the other's in wireline systems (BS)' we have - tempted to present a unified presentation of OFDM performance and xviii implementation over a wide variety of channels. It is hoped that this will prove valuable both to developers of such systems and to researchers and graduate students involved in analysis of digital communications.

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of "synchronized" grammars and automata, permitting system specification and analysis of "true" concurrency without reduction to non-determinism. COSY theory is developed to a great level of detail and constitutes the first uniform and self-contained presentationof all results about COSY published in the past, as well as including many new results. COSY theory is used to analyze a sufficient number of typical problems involving concurrency, synchronization and scheduling, to allow the reader to apply the techniques presented tosimilar problems. The COSY model is also related to many alternative models of concurrency, particularly Petri Nets, Communicating Sequential Processes and the Calculus of Communicating Systems.

This book constitutes the refereed proceedings of the 14th International Conference on Asia-Pacific Digital Libraries, ICADL 2012, held in Taipei, China, in November 2012. The 27 revised full papers, 17 revised short papers, and 13 poster papers were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on cultural heritage preservation, retrieval and browsing in digital libraries, biliometrics, metadata and cataloguing, mobile and cloud computing, human factors in digital library, presevation systems and algorithms, social media, digital library algorithms and systems, recommendation applications and social networks.

This book constitutes the refereed proceedings of the International Conference on Trusted Systems, INTRUST 2012, held in London, UK, in December 2012. The 6 revised full papers presented together with 3 short invited papers and a short paper which formed the basis for a panel session were carefully reviewed and selected from 19 submissions. The papers are organized in topical section on automated analysis, security and trust, mobile trust, security of distributed systems, evaluation and analysis, and embedded security.