Berlin springer okt 2009 (172 resultados)

Buch. Condición: Neu. Neuware -The purpose of this volume is to present current work of the Intelligent Computer Graphics community, a community growing up year after year. This volume is a kind of continuation of the previously published Springer volume 'Artificial Int- ligence Techniques for Computer Graphics'. Nowadays, intelligent techniques are more and more used in Computer Graphics in order, not only to optimise the pr- essing time, but also to find more accurate solutions for a lot of Computer Gra- ics problems, than with traditional methods. What are intelligent techniques for Computer Graphics Mainly, they are te- niques based on Artificial Intelligence. So, problem resolution (especially constraint satisfaction) techniques, as well as evolutionary techniques, are used in Declarative scene Modelling; heuristic search techniques, as well as strategy games techniques, are currently used in scene understanding and in virtual world exploration; multi-agent techniques and evolutionary algorithms are used in behavioural animation; and so on. However, even if in most cases the used intelligent techniques are due to Artificial - telligence, sometimes, simple human intelligence can find interesting solutions in cases where traditional Computer Graphics techniques, even combined with Artificial Intelligence ones, cannot propose any satisfactory solution. A good example of such a case is the one of scene understanding, in the case where several parts of the scene are impossible to access. 232 pp. Englisch.…

Buch. Condición: Neu. Neuware -The 2007 Abel Symposium took place at the University of Oslo in August 2007. The goal of the symposium was to bring together mathematicians whose research efforts have led to recent advances in algebraic geometry, algebraic K-theory, algebraic topology, and mathematical physics. A common theme of this symposium was the development of new perspectives and new constructions with a categorical flavor. As the lectures at the symposium and the papers of this volume demonstrate, these perspectives and constructions have enabled a broadening of vistas, a synergy between once-differentiated subjects, and solutions to mathematical problems both old and new. 424 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Problems of stochastic optimization and various mathematical aspects of risk are the main themes of this contributed volume. The readers learn about the recent results and techniques of optimal investment, risk measures and derivative pricing. There are also papers touching upon credit risk, martingale theory and limit theorems. Forefront researchers in probability and financial mathematics have contributed to this volume paying tribute to Yuri Kabanov, an eminent researcher in probability and mathematical finance, on the occasion of his 60th birthday. The volume gives a fair overview of these topics and the current approaches. 266 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Supply relations are often governed by so-called relational contracts. These are informal agreements sustained by the value of future cooperation. Although relational contracts persist in practice, research on these types of contract is only emerging in Operations and Supply Chain Management. This book studies a two-firm supply chain, where repeated transactions via well-established supply contracts and continued quality-improvement efforts are governed by a relational contract. We are able to characterize an optimal relational contract, i.e., to develop policies for supplier and buyer that structure investments in quality and flexibility in a way that no other self-enforcing contract generates higher expected joint surplus. A second goal is to compare the performance of different returns mechanisms in the context of relational contracting (quantity flexibility and buy-back contracts). Industry studies motivate the presented model. 124 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ubiquitous user modeling differs from generic user modeling by three additional concepts: ongoing modeling, ongoing sharing, and ongoing exploitation. Systems that share their user models will improve the coverage, the level of detail, and the reliability of the integrated user models and thus allow better functions of adaptation. Ubiquitous user modeling implies new challenges of interchangeability, scalability, scrutability, and privacy. This volume presents results of a series of workshops on the topic of Ubiquitous User Modeling since 2003 and additional workshops at various other conferences e.g. on User Modeling and Adaptive Hypermedia in the last four years. The 8 revised full papers presented were carefully reviewed and selected from the best lectures given at the workshops and were significantly extended to be included in the book. 159 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2009), which was held in Venice, Italy, during October 27-28, 2009. DSOM 2009 was the 20th event in a series of annual workshops. It followed in the footsteps of previous successful meetings, the most recent of which were held on Samos, Greece (DSOM 2008), San Jos e, California, USA (DSOM 2007), Dublin, Ireland (DSOM 2006), Barcelona, Spain (DSOM 2005), and Davis, C- ifornia, USA (DSOM 2004). The goal of the DSOM workshops is to bring - gether researchersfromindustry andacademia workingin the areasofnetworks, systems, and service management, to discuss recent advances and foster future growth. In contrast to the larger management conferences, such as IM (Inter- tional Symposium on Integrated Network Management) and NOMS (Network OperationsandManagementSymposium),DSOMworkshopshaveasingle-track program in order to stimulate more intense interaction among participants. 204 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised papers presented were carefully reviewed and selected from 25 submissions. The papers cover all current issues of job scheduling strategies for parallel processing; this year the conference had an increasing trend towards heterogeneous and multi-core architectures. 312 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present the proceedings of the 12th International Conference on Discovery Science (DS 2009), held in Porto, Portugal, October 3 5, 2009. DS 2009 was collocated with ALT 2009, the 20th International Conference on AlgorithmicLearningTheory,continuingthesuccessfulDSconferenceseries. DS 2009 provided an open forum for intensive discussions and the exchange of new ideas among researchers working in the area of discovery science. The scope of the conference included the development and analysis of methods for automatic scienti c knowledge discovery, machine learning, intelligent data analysis, and theory of learning, as well as their applications. We were honored to have a very strong program. Acceptance for the conference proceedings was very compe- tive. There were 92 papers submitted, with the authors coming from roughly 20 di erent countries. All paperswere reviewedby three senior researchersfollowed by an extensive discussion. The program committee decided to accept 23 long papers (an acceptance rate of 25%) and 12 regular papers. The overall acc- tance rate was 38%. The contributed papers cover a wide range of topics, from discovery in general to data mining in particular. In addition to the technicalpapers, we weredelighted to have ve prestigious invited speakers and two tutorials. Fernando Pereira, University of Penns- vania, USA, presented new fundamental questions that should be investigated in natural language processing in web mining. Hector Ge ner, from Pompeu Fabra University, Spain, discussed learning methods for solving complete pl- ning domains. 492 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, held in Venice, Italy, in October 2009, as part of the 5th International Week on Management of Networks and Services, Manweek 2009. The 13 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on multimedia networks and systems management, multimedia quality, VoIP and vocal applications, and peer-to-peer multimedia networks. 216 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fourth International Workshop on Security (IWSEC 2009) was held at Toyama International Conference Center, Toyama, Japan, October 28-30, 2009. The workshop was co-organized by CSEC, a special interest group on computer security of the IPSJ (Information Processing Society of Japan) and ISEC, a technical group on information security of IEICE (The Institute of Electronics, Information and Communication Engineers). The excellent Local Organizing Committee was led by the IWSEC 2009 General Co-chairs, Kazuo Takaragi and Hiroaki Kikuchi. IWSEC2009received46papersubmissionsfromallovertheworld.Wewould like to thank all the authors who submitted papers. Eachpaper was reviewedby at least three reviewers. In addition to the Program Committee members, many externalreviewersjoinedthereviewprocessintheirparticularareasofexpertise. We were fortunate to have this energetic team of experts, and are grateful to all of them for their hard work. The hard work includes very active discussion; the discussion phase was almost as long as the initial individual reviewing. The review and discussion were supported by a very nice Web-based system, iChair. We thank its developers. Following the review phases, 13 papers were accepted for publication in this volume of Advances in Information and Computer Security. Together with the contributed papers, the workshop featured an invited talk and a hash function panel both of which were respectively given and chaired by eminent researcher, Bart Preneel (Katholieke Universiteit Leuven). An abstract of the talk, titled 'TheFutureofCryptographicAlgorithms,'isincludedinthisvolume.Wedeeply appreciate his contribution. Many people contributed to the success of IWSEC 2009. We wish to - press our deep appreciation for their contribution to information and computer security. 244 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision Theory. The conference was held in San Servolo, a small island of the Venice lagoon, during October 20-23, 2009. The program of the conference included oral presentations, posters, invited talks, and tutorials. The conference received 65 submissions of which 39 papers were accepted (9 papers were posters). The topics of these papers range from computational social choice preference modeling, from uncertainty to preference learning, from multi-criteria decision making to game theory. 476 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th IEEE Workshop on IP Operations and Management, IPOM 2009, held in Venice, Italy, on October 29-30, 2009, as part of the 5th International Week on Management of Networks and Services, Manweek 2009. The 12 revised full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on management of quality of services and multimedia, network robustness, management of virtual networks, configuration of network resources and applications 200 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems-a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e ectively with simple, mathematical abstractions, and with practical notions of inference and proof. 192 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. The 21 full papers and two brief announcements were carefully selected from 41 submissions. This workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours. 276 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises a selection of papers presented at the first International C- ference on Mathematics and Computation in Music - mcm2007. The conference took place at the Staatliches Institut für Musikforschung PK - National Institute for Music Research in Berlin during May 18-20, 2007 and was jointly organized by the National Institute for Music Research Berlin and the Society of Mathematics and Computation in Music. The papers were selected for the conference by the program committee and classfied into talks and posters. All papers underwent further selection, revision and elaboration for this book publication. The articles cover a research field which is heterogeneous with respect to content, scientific language and methodology. On one hand, this reflects the heterogeneity and richness of the musical subject domain itself. On the other hand, it exemplifies a t- sion which has been explicitly intended by both the organizers and the founders of the society, namely to support the integration of mathematical and computational - proaches to music theory, composition, analysis and performance. The subdivision into three parts reflects the original structure of the program. These parts are opened by invited papers and followed by talks and posters. 544 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The working group WG 11.4 of IFIP ran an iNetSec conference a few times in the past, sometimes together with IFIP security conference, sometimes as a stand-alone workshop with a program selected from peer-reviewed submissions. When we were elected to chair WG 11.4 we asked ourselveswhether the security and also the computer science community at large bene ts from this workshop. In particular,as there aremany (too many ) securityconferences, it has become di cult to keep up with the eld. After having talked to many colleagues, far too many to list all of them here, we decided to try a di erent kind of workshop: one where people would attend to discuss open research topics in our eld, as typically only happens during the co ee breaks of ordinary conferences. Toenablethiswecalledforabstractsof2pageswheretheauthorsoutlinethe open problems that they would like to discuss at the workshop, the intent being that the author would be given 15 minutes to present the topic and another 15 minutes for discussion. These abstracts were then read by all members of the Program Committee and ranked by them according to whether they thought thiswouldleadtoaninterestingtalk and discussion. We then simply selected the abstracts that got the best rankings. We were happy to see this result in many really interesting talks and disc- sions in the courseof the workshop.Ofcourse,these lively anddirect discussions are almost impossible to achieve in a printed text. Still, we asked the authors to distill the essence of these discussions into full papers. The results are in your hands. 169 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The management of telecommunications networks and services is one of the most challenging of software endeavors-partly because of the size and the distributed nature of networks; partly because of the convergence of communications techno- gies; but mainly because of sheer complexity and diversity of networks and services. The TM Forum s Solutions Frameworks (NGOSS) help address these challenges by providing a framework for the development of management applications-those software applications that provide the building blocks for management solutions. The members of the TM Forum have elaborated many parts of NGOSS to make it practical-including in the area of information modeling, process analysis, and c- tract de nition. This book further elaborates NGOSS by examining the challenging area of interface design. One of the costs of deploying a new service is the cost of integrating all the necessary applications into an effective software solution to manage the service. This cost has been dubbed the 'integration tax' and can turn out to be ve times the capital cost of procuring the management software in the rst place. From their long experience of the design and standardization of management applications, the authors have extracted a core set of design patterns for the dev- opment of effective and consistent interfaces to management applications. Adopting these patterns across the industry could reduce the learning curve for software - velopers and allow service providers and systems integrators to rapidly and reliably deploy management solutions and thereby markedly reduce the integration tax. 151 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The topic of this book is the development of pricing formulae for European style derivatives on assets with mean-reverting behavior, especially commodity derivatives. For this class of assets, convenience yield effects lead to mean-reversion under the risk-neutral measure. Mean-reversion in the log-price process is combined with other stochastic factors such as stochastic volatility, jumps in the underlying and the price process and a stochastic target level as well as with deterministic seasonality effects. Another focus is on numerical algorithms to calculate the Fourier integral as well as to integrate systems of ordinary differential equations. 137 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Integrated supply chain planning is well understood by theory and widely applied in practice - however, only with respect to intra-organisational supply chains. In inter-organisational supply chains, an additional, yet unresolved problem arises: due to confidentiality reasons, decentralized parties keep their local data private, which prevents an integrated planning. Local planning procedures such as upstream planning, which are usually applied then, result in suboptimal solutions for the supply chain as a whole. In this work, new mechanisms for inter-organizational, collaborative supply chain planning are presented. These mechanisms are able to identify the systemwide optimum for several classes of supply chain planning problems. They can be applied by two or more self-interested parties and do not require a trusted third party. Extensive computational tests for randomly generated and real-word data suggest a favorable performance of these mechanisms. 211 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at The 2009 Inter- tional Conference on Brain Informatics (BI 2009) held at Beijing University of Technology, China, on October 22-24, 2009. It was organized by the Web Int- ligence Consortium (WIC) and IEEE Computational Intelligence Society Task Force on Brain Informatics (IEEE TF-BI). The conference was held jointly with The 2009 International Conference on Active Media Technology (AMT 2009). Brain informatics (BI) has emergedas an interdisciplinaryresearch eld that focuses on studying the mechanisms underlying the human information proce- ing system (HIPS). It investigates the essential functions of the brain, ranging from perception to thinking, and encompassing such areas as multi-perception, attention,memory,language,computation,heuristicsearch,reasoning,planning, decision-making, problem-solving, learning, discovery, and creativity. The goal of BI is to develop and demonstrate a systematic approach to achieving an integrated understanding of both macroscopic and microscopic level working principles of the brain, by means of experimental, computational, and cognitive neuroscience studies, as well as utilizing advanced Web Intelligence (WI) centric information technologies. BI represents a potentially revolutionary shift in the way that research is undertaken. It attempts to capture new forms of c- laborative and interdisciplinary work. Following this vision, new kinds of BI methods and global research communities will emerge, through infrastructure on the wisdom Web and knowledge grids that enables high speed and d- tributed, large-scale analysis and computations, and radically new ways of sh- ing data/knowledge. 237 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management. 423 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 224 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 372 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheIMC2009programconsistedofthreeinvitedtalksfrominternational- perts, four tutorials on fundamental techniques related to the conference topics, nine regular paper sessions, and a short paper / poster session. We received close to 50 submissions from 15 countries world-wide. Based on the ano- mous reviews provided by members of the international Program Committee, the Steering Committee recommended accepting 50% of the contributions as regular papers and another 15% as short papers with poster presentation. To our regret there were a few interesting papers that we had to reject. However, the reviewing results showed a high quality as well as an interesting variety of submissions. We would like to thank all authors for carefully preparing the results of their worksubmitted to IMC 2009,thus enabling an interesting and high-quality c- ferenceprogram.Moreover,wearedeeplygratefultoallmembersoftheProgram and Steering Committees for their e orts in quickly and thoroughly evaluating the papers. Finally, our special thanks go to the organizers Ulrike Lucke and Daniel Versick for their great work.They handled all the organizationaltasks as well as the communications, the electronic submission, reviewing, and publi- tion procedure in an e cient and timely manner. 356 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 4th International Conference on Nano-Networks, Nano-Net 2009, held in Lucerne, Switherland, in October 2009. The 36 invited and regular papers address the whole spectrum of Nano-Networks and spans topis like modeling, simulation, statdards, architectural aspects, novel information and graph theory aspects, device physics and interconnects, nanorobotics as well as nano-biological systems. The volume also contains the workshop on Nano-Bio-Sensing Paradigms as well as the workshop on Brain Inspired Interconnects and Circuits. 304 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThepromiseoftheSemanticWeb,atits most expansive, is to allow knowledge to be freely accessed and exchanged by software. It is now recognized that if the SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to nd the righttrade-o betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on the Web. The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown into a major international forum in this area. The third RR conference was held during October 25-26, 2009 in Chantilly, Virginia, co-located with the International Semantic Web Conference (ISWC 2009). This year 41 papers were submitted from authors in 21 countries. The P- gram Committee performed outstandingly to ensure that each paper submitted to RR 2009 was thoroughly reviewed by at least three referees in a short - riod of time. The resulting conference presented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Robert Kowalski, in his talk '- tegrating Logic Programming and Production Systems with Abductive Logic Programming Agents' addressed some of the fundamental considerations - hind reasoning about evolving systems. Benjamin Grossof's talk 'SILK: Higher Level Rules with Defaults and Semantic Scalability' described the design of a major next-generation rule system. The invited tutorial 'Uncertainty Reas- ing for the Semantic Web' by Thomas Lukasiewicz provided perspectives on a central issue in this area. 280 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. Topics addressed by the workshops are active conceptual modeling of learning (ACM-L), conceptual modeling in the large (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint international workshop on metamodels, ontologies, semantic technologies, and information systems for the semantic web (MOST-ONISW), quality of information systems (QoIS), requirements, Intentions and goals in conceptual modeling ( RIGiM) and semantic and conceptual issues in geographic information systems (SeCoGIS). 380 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Research and development of autonomics have come a long way, and we are - lighted to present the proceedings of the 4th IEEE International Workshop on Modeling Autonomic Communications Environments (MACE 2009). As in the last three years, this workshop was held as part of Manweek, the International Week on Management of Networks and Services, which took place in the cult- ally rich city of Venice in Italy. Manweek is now an umbrella of ve workshops and conferences focusing on di erent aspects of network and service mana- ment, including MACE, distributed operations and management (DSOM), - basedmanagement(IPOM),towardsmultimediaandmobilenetworks(MMNS), and virtualization and middleware for next generation networks (NGNM). F- ther information of Manweek and the individual workshops and conferences can be found atMACE started as an experiment, in 2006, and created a small community that now nds itself attracted back each year by a feeling of excitement and anticipation to share new advances and development. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshop itself. New ideas, a little rough around theedges(andsometimesmorethanalittle),oftenquiteun nished,popoutand provoke extensive discussion. Science needs this kind of exploratory adventure, and we have been strongly motivated to continue preserving this atmosphere of exploration and discussion in this year's technical program. 132 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy. 288 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems. Incorrect or inappropriate agent behavior can have harmful - fects, including financial cost, loss of data, and injury to humans or systems. For - ample, NASA has proposed missions where multiagent systems, working in space or on other planets, will need to do their own reasoning about safety issues that concern not only themselves but also that of their mission. Likewise, industry is interested in agent systems that can search for new supply opportunities and engage in (semi-) automated negotiations over new supply contracts. These systems should be able to securely negotiate such arrangements and decide which credentials can be requested and which credentials may be disclosed. Such systems may encounter environments that are only partially understood and where they must learn for themselves which aspects of their environment are safe and which are dangerous. Thus, security and safety are two central issues when developing and deploying such systems. We refer to a multiagent system's security as the ability of the system to deal with threats that are intentionally caused by other intelligent agents and/or s- tems, and the system's safety as its ability to deal with any other threats to its goals. 352 pp. Englisch.…