Springer berlin heidelberg apr 2003 (144 risultati)

Buch. Condizione: Neu. Neuware - This volume presents a selection of reports from scientific projects requiring high end computing resources on the Hitachi SR8000-F1 supercomputer operated by Leibniz Computing Center in Munich. All reports were presented at the joint HLRB and KONWHIR workshop at the Technical University of Munich in October 2002. The following areas of scientific research are covered: Applied Mathematics, Biosciences, Chemistry, Computational Fluid Dynamics, Cosmology, Geosciences, High-Energy Physics, Informatics, Nuclear Physics, Solid-State Physics. Moreover, projects from interdisciplinary research within the KONWIHR framework (Competence Network for Scientific High Performance Computing in Bavaria) are also included. Each report summarizes its scientific background and discusses the results with special consideration of the quantity and quality of Hitachi SR8000 resources needed to complete the research.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present the proceedings of the 2003 Atlantic Web Intelligence C- ference, AWIC 2003. The conference was located in Madrid, Spain during May 5-6, 2003, organized locally by the Technical University of Madrid. AWIC 2003 aimed to be the rst of a series of conferences on Web Intelligence, to be celebrated annually, alternatively in Europe and America, starting in Madrid. It was born as an activity of the recently created WIC-Poland Research Centre and the WIC-Spain Research Centre, bothbelongingtotheWebIntelligenceConsortium(WIC) .AWIC 2003 was supported with grants from the S- nish Ministry for Science and Technology and the European Network of Excellence in Knowledge Discovery, KDNet. AWIC 2003 brought together scientists, engineers, computer users, and students to exchange and share their experiences, new ideas, and research results about all aspects (theory,applications,andtools)ofarti cialintelligencetechniquesappliedtoWeb-based systems, and to discuss the practical challenges encountered and the solutions adopted. Almost 70 contributions were submitted. After a preliminary evaluation, 60 of these papers were accepted to the conference and were assigned at least two reviewers from the international program committee. Out of this 60, 33 were conditionally accepted, and 32 of them were nally accepted after the conditions set by the reviewers had been met, which resulted in an acceptance ratio of 45%. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The motivation behind the conception of this monograph was to advance scientific knowledge about the design and control of workflow processes. A workflow pr- ess (or workflow for short) is a specific type of business process, a way of or- nizing work and resources. Workflows are commonly found within large admin- trative organizations such as banks, insurance companies, and governmental agencies. Carrying out the tasks of a workflow in a particular order is required to handle one type of case. Examples of cases are mortgage applications, customer complaints, and claims for unemployment benefits. A workflow used in handling mortgage applications may contain tasks for recording the application, specifying a mortgage proposal, and approving the final policy. The monograph concentrates on four workflow-related issues within the area of Business Process Management; the field of designing and controlling business processes. The first issue is how workflows can be adequately modeled. Workflow mod- ing is an indispensable activity to support any reasoning about workflows. Diff- ent purposes of workflow modeling can be distinguished, such as system ena- ment by Workflow Management Systems, knowledge management, costing, and budgeting. The focus of workflow modeling in this monograph is (a) to support simulation and analysis of workflows and (b) to specify a new workflow design. The main formalism used for the modeling of workflows is the Petri net. Many - isting notions to define several relevant properties have been adopted, such as the workflow net and the soundness notion. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As the complexity of financial markets keeps growing, so does the need to understand the decision-making and the coordination of the exsuing actions in the marketplace. In particular, the disclosure of information to market participants and its impact on the market outcome mertis attention. This study analyses the role of private and public information in currency crises. Calls for increased dissemination of economic and policy-related information by central banks notwithstanding, the study shows that transparency is not generally conductive to preventing speculative attacks in fixed exchange-rate regimes. Rather, the role of private and public information in the market-place depencs critically on the prevailing market sentiment. The study also highlights the import of market transparency design in an environment that allows for herding and market leadership of individual speculators. 252 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using the economic perspective, this exciting text offers an alternative viewto sociological or art historic approaches to art. The issues discussed include: institutions from festivals to 'superstar' museums, different means of supporting the arts,an investigation into art as an investment, and the various approaches applied when valuing our cultural properties. This text challenges widely held popular views and, once started, is difficult to put down. 260 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheAAECCsymposiumwasstartedinJune1983byAlainPoli(Toulouse),who, together with Roger Desq, Daniel Lazard, and Paul Camion, organized the rst conference. The meaning of the acronym AAECC changed from Applied - gebra and Error Correcting Codes to Applied Algebra, Algebraic Algorithms, and Error Correcting Codes. One reason for this was the increasing importance of complexity, particularly for decoding algorithms. During the AAECC-12 s- posium the conference committee decided to enforce the theory and practice of the coding side as well as the cryptographic aspects. Algebra was conserved, as in the past, but was slightly more oriented to algebraic geometry codes, nite elds, complexity, polynomials, and graphs. For AAECC-15 the main subjects covered were: Block codes. Algebra and codes: rings, elds, AG codes. Cryptography. Sequences. Algorithms, decoding algorithms. Algebra: constructions in algebra, Galois groups, di erential algebra, po- nomials. The talks of the six invited speakers characterized the aims of AAECC-15: P. Sole ( Public Key Cryptosystems Based on Rings ). S. Lin ( Combinatorics Low Density Parity Check Codes ). J. Stern ( Cryptography and the Methodology of Provable Security ). D. Costello ( Graph-Based Convolutional LDPC Codes ). I. Shparlinsky ( Dynamical Systems Generated by Rational Functions ). A. Lauder ( Algorithms for Multivariate Polynomials over Finite Fields ). 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1st International Workshop on Digital Watermarking (IWDW), the con- rence covering all aspects of digital watermarking, was held at the Hotel Riviera situated along the beautiful Han River in Seoul, Korea from November 21 to 22, 2002. These proceedings contain 21 papers that were accepted for presentation at the conference. These papers were selected from 67 submissions including 3 invited papers. They went through a thorough review process by the Program Committee and were selected on the basis of excellence and novelty. The following is a brief description of the history of this conference and - viewing process: In August 2001 some members of the Special Interest Group on Multimedia Protection (SIGMP) of the Korea Institute of Information Security and Cryptology (KIISC) agreed to create the IWDW. In November 2001 we set up a Program Committee and solicited papers while asking Springer-Verlag to publish the proceedings of the workshop in their Lecture Notes in Computer Science series. In July 2002 we received 64 submissions from 14 countries using Microsoft's conference management site . Each submission was assigned a number automatically by the c- ference management tool and the paper was sent to the Program Committee members for their review. We also encouraged di erent sets of experts to join for fair reviews. 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: - Abstract models of computation used in distributed systems research often do not fully capture the limitations and the unpredictable nature of realistic distributed computing platforms; - Fault-tolerance and ef ciency of computation are dif cult to combine when the c- puting medium is subject to changes, asynchrony, and failures; - Middleware used for constructing distributed software does not provide services most suitable for sophisticated distributed applications; - Middleware services are speci ed informally and without precise guarantees of e- ciency, fault-tolerance, scalability, and compositionality; - Speci cation of distributed deployment of software systems is often left out of the development process; - Finally, there persists an organizational and cultural gap between engineering groups developing systems in a commercial enterprise, and research groups advancing the scienti c state-of-the-art in academic and industrial settings. The objectives of this book are: (1) to serve as a motivation for de ning future research programs in distributed computing, (2) to help identify areas where practitioners and engineers on the one hand and scientists and researchers on the other can improve the state of distributed computing through synergistic efforts, and (3) to motivate graduate students interested in entering the exciting research eld of distributed computing. 236 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Adaptive Agents and Multi-Agent Systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, computer science, software engineering, and developmental biology, as well as cognitive and social science.This book surveys the state of the art in this emerging field by drawing together thoroughly selectedreviewed papers from two related workshops; as well aspapers by leading researchers specifically solicited for this book. The articles are organized into topical sections on - learning, cooperation, and communication- emergence and evolution in multi-agent systems- theoretical foundations of adaptive agents 344 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book has two major themes: one, to provide a general un derstanding of the biology of spinal cord injury (SCI) in ani mal models and their relationship to naturally occurring inju ry in man, and secondly, to review novel means to induce functional recovery from spinal cord injury based on develop mental biophysics and physiology. These are new innovations in the treatment of SCI, born of disciplines that have not re ceived much attention from investigators interested in the re pair and regeneration of the Central Nervous System (CNS). They include development of 4-Aminopyridine for chronic SCI; oscillating electrical fields and polymer infusion for acute SCI. Biochemistry, neurotransplantation techniques, and phar macological approaches have long dominated this literature. Curiously though, it is these former techniques that are more practical and are rapidly moving into human clinical studies, or have already begun then. All of these clinical therapies have been developed at the Center for Paralysis Research at Purdue University, mirroring the backgrounds and interests of the electrophysiologists and biophysicists of our Research Center's faculty. Two of the three experimental therapies for SCI devel oped at Purdue University are now in human clinical trials, and a third will soon begin. They frame the emphasis of this text. 180 pp. Englisch. Harrington, K.J. (illustratore).…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants from academic and industrial institutions in many countries. Twenty-seven papers were submitted, of which 15 were accepted to create a broad program covering the topics of architectures, specification, components and adaptations, technologies, and services. The focus of the workshop was on short presentations, with substantial dis cussions afterwards. Thus, we decided to include in this proceedings also a short summary of every technical session, which was written by some of the partici pants at the workshop. The workshop invited one keynote speaker, Bobby Jadhav of CalKey, who presented a talk on the design and use of model-driven architecture and middle ware in industry. We would like to thank all the people who helped organize and run the workshop. In particular, we would like to thank the program committee for their careful reviews of the submitted papers, Wolfgang Emmerich for being an excellent General Chair, and the participants for a lively and interesting workshop. 256 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Error-correcting codes have been incorporated in numerous working communication and memory systems. This book covers the mathematical aspects of the theory of block error-correcting codes together, in mutual reinforcement, with computational discussions, implementations and examples of all relevant concepts, functions and algorithms. This combined approach facilitates the reading and understanding of the subject.The digital companion of the book is a non-printable .pdf document with hyperlinks. The examples included in the book can be run with just a mouse click and modified and saved by users for their own purpose. 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -WelcometotheproceedingsofthePower-AwareComputerSystems(PACS2002) workshopheld in conjunction with the 8th InternationalSymposium on High PerformanceComputerArchitecture(HPCA-8). Improvementsincomputers- temperformancehavebeenaccompaniedbyanalarmingincreaseinpowerand energydissipation,leading tohigher costandlowerreliabilityinallcomputer systemsmarketsegments. Thehigherpower/energydissipationhasalsosign- icantlyreducedbatterylife inportablesystems. Whilecircuit-leveltechniques continuetoreducepowerandenergy,alllevelsofcomputersystemsarebeing usedtoaddresspowerandenergyissues. PACS2002wasthesecondworkshopin itsseriestoaddresspower-/energy-awarenessatalllevelsofcomputersystems andbroughttogetherexpertsfromacademiaandindustry. Theseproceedingsincluderesearchpapersspanningawidespectrumof- eas in power-aware systems. We have grouped the papers into the following categories:(1)power-awarearchitectureandmicroarchitecture,(2)power-aware real-time systems, (3) power modeling and monitoring, and (4) power-aware operatingsystemsandcompilers. The rstgroupofpapersproposepower-awaretechniquesfortheprocessor pipeline using adaptiveresizing of power-hungrymicroarchitecturalstructures andclockgating,andpower-awarecachedesignbyavoidingtagchecksin- riodswhenthetagshavenotchanged. Thisgroupalsoincludesideastoadapt energyandperformancedynamicallybydetectingregionsofapplicationatr- timewherethesupplyvoltagemaybescaledtoreducepowerwithabounded decrease in performance. Lastly, a paper on multiprocessor designs trades o computingcapacityandfunctionalityforimprovedenergypercyclebysched- ing simple tasks on low-end and low-energy processorsand complex tasks on high-endprocessors. Thesecondgroupofpaperstargetreal-timesystemsincludingideasonal- complexityheuristicwhichschedulesreal-timetaskssuchthatnotaskmissesits deadlineandthetotalenergysavingsaremaximized. Theotherpapersinthis group(1)tunethesystem-levelparallelismtothecurrent-levelofpower/energy availabilityandoptimizethesystempowerutilization,and(2)performadaptive texturemappinginreal-time3Dgraphicssystemsbasedonamodelofhuman visualperceptiontoachievesigni cantpowersavingswithoutnoticeableimage qualitydegradation. Thethirdgroupofpapersfocusonpowermodelingandmonitoringincluding statisticalpro lingtodetectsoftwarehotspotsofpower,andusingPetriNetsto modelDRAMpowerpolicies. Thisgroupalsoincludesasimulatorforevaluating theperformanceandpowerofdynamicvoltagescalingalgorithms. Thelast groupconcentratesonOS and compilersfor lowpower. The rst paperproposesapplication-issueddirectivestosetthepowermodesindevices suchasadiskdrive. Thesecondpaperproposespoliciesforcluster-widepower VI Preface management. Thepoliciesemploycombinationsofdynamicvoltagescalingand turningonando toreduceoverallclusterpower. PACS2002wasahighlysuccessfulforumduetothehigh-qualitysubmissions, theenormouse ortsoftheprogramcommitteeandthekeynotespeaker,andthe attendees. WewouldliketothankRonnyRonenforanexcellentkeynotespeech, showingthetechnologicalscalingtrendsandtheirimpactonenergy/powerc- sumption in general-purposemicroprocessors,and pinpointing recentmicro- chitecturalstrategiestoachievemorepower-e cientmicroprocessors. Wewould like to also thank Antonio Gonzalez, Andreas Moshovos,John Kalamatianos, andothermembersoftheHPCA-8organizingcommitteewhohelpedarrange forlocalaccomodationandpublicizetheworkshop. February2002 BabakFalsa andT. N. Vijaykumar PACS2002 Program Committee BabakFalsa ,CarnegieMellonUniversity(co-chair) T. N. Vijaykumar,PurdueUniversity(co-chair) DaveAlbonesi,UniversityofRochester KrsteAsanovic,MassachusettsInstituteofTechnology IrisBahar,BrownUniversity LucaBenini,UniversityofBologna DougCarmean,Intel Yuen Chan,IBM KeithFarkas,CompaqWRL MaryJaneIrwin,PennsylvaniaStateUniversity StefanosKaxiras,AgereSystems PeterKogge,UniversityofNotreDame UliKremer,RutgersUniversity AlvinLebeck,DukeUniversity AndreasMoshovos,UniversityofToronto RajRajkumar,CarnegieMell. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving. 220 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: 'Constructive Validity Revisited' by Dana Scott, 'From the Rules of Logic to the Logic of Rules' by Jean-Yves Girard, and 'The Varieties of Type Theories' by Peter Aczel. The contents of these contributions were not laid down in these proceedings, but the videos of the talks and the slides used by the speakers are available at cs. kun. nl/fnds/MartinLoefDay/LoefTalks. htm The previous workshop of the Types Working Group under EUIST project 29001 was held in 2000 in Durham, UK. The workshops Types 2000 and Types 2002 followed a series of meetings organized in the period 1993 - 1999 whithin previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these earlier Types workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 1956 and 2277. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: - sign, Implementation and Experiments. 344 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thedisciplineofsoftwarecon gurationmanagement(SCM)providesoneofthe bestsuccessstoriesinthe eldofsoftwareengineering. Withtheavailabilityof over100commercialSCMsystemsthattogetherformabillion-dollarmark- place,andtheexplicitrecognitionofSCMbysuchstandardsastheCMMand ISO-9000,thedisciplinehasestablisheditselfasoneoftheessentialcornerstones ofsoftwareengineering. While SCM is a well-established discipline, innovative software engine- ing approaches constitute new challenges that require support in the form of new or improvedtools, techniques, and processes. These challengesemerge in component-baseddevelopment,distributedsystems,dynamicallyboundand- con gured systems, embedded systems, software architecture, Web-based s- tems,XML,engineering/productdatamanagement,systemengineering,process support,concurrentandcooperativeengineering,etc. Since the rst SCM workshop was held in 1988, the workshop series has providedarecurringforumforresearchersandpractitionerstopresenttechnical contributions,toexchangeanddiscussideas,andtoestablishcontactsforfurther cooperation. Thecurrentvolumecontainspapersfromtwoworkshopswhichwere bothco-locatedwiththeInternationalConferenceonSoftwareEngineering,but di eredintheirformatsandgoals. SCM-10washeldasanICSEworkshopatToronto,CanadainMay2001. It wasdeliberatelydecidedtohaveaninformalworkshopinordertoopenaforum fordiscussingnewpractices,newchallenges,andnewboundariesforSCM. This wasachievedbyablendofinvitedtalks,talksonselectedpositionpapers,and lively discussions. Originally, informal proceedings were produced which were deliveredtotheworkshopparticipants. Lateron,5outof22submissionswere selectedforpublicationinthis jointvolume. Allauthorswereaskedtoextend theircontributionstofullpapersandtorevisethemthoroughly. WhiletheSCM-10experimentprovedverysuccessful,theSCMcommunity feltthatitshouldgoforaformalworkshoponceagain. Infact,thiswouldopen uptheopportunitytodocumentcurrentresearchandfertilizethedevelopment ofthisdiscipline. Asaconsequence,thefollow-upworkshopSCM-11washeld as a co-located event with ICSE at Portland, Oregon in May 2003. The Call forPapersreceivedalivelyresponsewith36submissions,outofwhich15were acceptedforpublication(12longand3shortpapers). Thesepapersappearinthe secondpartofthisvolume,orderedbytopic. Inadditiontopaperpresentations, theworkshopprovidedsu cienttimeforinspiringdiscussions. Thechairsofbothworkshopswouldliketoacknowledgetheinvaluablec- tributionsofallauthorsandspeakers,theprogramcommittees,theorganizers oftheICSEconferences,andSpringer-Verlag. May2003 BernhardWestfechtel Andr evanderHoek VI Preface ProgramCommitteeofSCM2003 Geo Clemm,Rational,USA ReidarConradi,NTNUTrondheim,Norway IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK Andr evanderHoek,UniversityofCalifornia,Irvine,USA AnnitaPersson,EricssonAB,M olndal,Sweden BernhardWestfechtel(Chair),RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ken,Germany ProgramCommitteeofSCM2001 Geo Clemm,Rational,USA IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK JackyEstublier,LSR-IMAG,France Andr evanderHoek(Chair),UniversityofCalifornia,Irvine,USA Je Magee,ImperialCollege,London,UK BernhardWestfechtel,RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ken,Germany SCMWorkshops SCM-1,Grassau,Germany(1988) SCM-2,Princeton,USA(1990) SCM-3,Trondheim,Norway(1991) SCM-4,Baltimore,USA(1993) SCM-5,Seattle,USA(1995) SCM-6,Berlin,Germany(1996) SCM-7,Boston,USA(1997) SCM-8,Brussels,Belgium(1998) SCM-9,Toulouse,France(1999) SCM-10,Toronto,Canada(2001) SCM-11,Portland,Oregon(2003) TableofContents BestPapersofSCM2001 De ningandSupportingConcurrentEngineeringPoliciesinSCM. . . . . . . . 1 JackyEstublier,SergioGarc a,andGerman Vega Con gurationManagementinComponentBasedProductPopulations. . . . 16 RobvanOmm.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely appliedsystems. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The characteristics of software systems are undergoing dramatic changes. We are moving rapidly into the age of ubiquitous information services. Persistent computing systems are being embedded in everyday objects. They interact in an autonomouswaywith eachother to provideus with increasinglycomplexservices and functionalities that we can access at any time from anywhere. As a con- quence, not only do the numbers of components of software systems increase; there is also a strong qualitative impact. Software systems are increasingly made up of autonomous, proactive, networked components. These interact with each other in patterns and via mechanisms that can hardly be modeled in terms of classical models of interaction or service-oriented coordination. To some extent, future software systems will exhibit characteristics making them more res- blant of natural systems and societies than of mechanical systems and software architectures. This situation poses exciting challenges to computer scientists and software engineers. Already, software agents and multi-agent systems are recognized as both useful abstractions and e ective technologies for the modeling and building of complex distributed applications. However, little is done with regard to e - tive and methodic development of complex software systems in terms of mul- agent societies. An urgent need exists for novel approaches to software modeling and software engineering that enable the successful deployment of software s- tems made up ofa massive number ofautonomous components, and that allowus to control and predict their behaviour. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Theoretical Foundations of Computer Vision, held in Dagstuhl Castle, Germany in April 2002.The 27 revised full papers presented went through two rounds of reviewing and improvement and assess the state of the art in geometry, morphology, and computational imaging. The papers are organized in sections on geometry - models and algorithms; property measurement in the grid and on finite samples; features, shape, and morphology; and computer vision and scene analysis. 456 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, andsemantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data. 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This special issue is the result of the workshop Deception, Fraud and Trust in Agent Societies, held in Bologna on July 15, 2002 as part of the Autonomous Agents and Multi-Agent Systems 2002 Conference (AAMAS2002), organized by Rino Falcone, Suzanne Barber, Larry Korba, and Munindar Singh. The workshop included a special track on Privacy and Protection with Multi-Agent Systems. The aim of the workshop was to bring together researchers from different elds (Arti cial Intelligence, Mul- agent Systems, Cognitive Science, Game Theory, and Social and Organizational S- ences) that could contribute to a better understanding of trust, privacy and protection in agent societies. The workshop scope included theoretical results and their applications inhuman computerinteractionandelectroniccommerce. Thisissueincludesaselection oftherevisedandextendedversionsoftheworkspresentedattheworkshop,incorpor- ing many points that emerged in our discussions, as well as invited papers from expert peopleinthe eld,whichinourviewgivesacompletecoverageofallrelevantissues. We gratefully acknowledge the nacial support from the Italian National Research Council, Institute for Cognitive Science and Technology and theALFEBIITE European Project, contract number IST-1999-10298. We want to express our gratitude to Cristiano Castelfranchi for his stimulating and valuable comments and suggestions both for the organization of the workshop and for the preparation of this special issue. 252 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This guide to the use of surface analysis techniques, now in its second edition, has expanded to include more techniques, current applications and updated references. It outlines the application of surface analysis techniques to a broad range of studies in materials science and engineering. The book consists of three parts: an extensive introduction, a techniques section and a section on applications. Each chapter has been written by specialists in the field. This book is aimed at industrial scientists and engineers in R&D seeking a description of available techniques in a concise but informative style. It is invaluable as a comprehensive text for scientists and engineers attending training courses and workshops. The level and content of this book make it ideal as a course text for senior undergraduate and postgraduate students in materials science, materials engineering, physics, chemistry and metallurgy. 616 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.The 31 revised full papers presented were carefully selected and improved during two months of reviewing from 104 conference papers. The papers cover the areas of databases, data mining and intelligent systems, e-learning, human computer interaction, image processing, networks and systems, software and languages, and theoretical computer science. 516 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS),constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and implementation.This book presents 17 carefully reviewed papers arranged in order to provide a coherent survey of how to exploit agent properties and MAS issues in today's software systems. The book offers the following topical sections:- software engineering foundations- requirements engineering and software architecture- coordination and mobility- reuse-dependability-empirical studies and applications 304 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Lehrbuch führt Studierende der Wirtschaftswissenschaften und der Rechtswissenschaften in die Grundlagen der Finanzwirtschaft ein.Das besondere Anliegen des Buches besteht darin, dem Leser Grundlinien und Zusammenhänge des auf den Kapitalmarkt bezogenen finanzwirtschaftenden Handelns aufzuzeigen, das zu den ökonomischen Funktionen des Finanzierens und des Handelns mit Wertpapieren gehört. 392 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Tissue engineering as a technology and as a therapeutic has captured worldwide attention and commitmentbecause it has such potential in the care of humanity. Because we are not as yet able to craft robust three dimensional vascular and ductal structures to support the development of complex parenchymal organs, the initial focus of the field has been on thin tissues that can be nourished by diffusion alone.The best example of this class is cartilage. Thought by some to be a relatively simple tissue in the early days of tissue engineering, deep study of this tissue has shown it to manifest great complexity.Yearsof experimental and clinical effort have begun to untangle the clues that will allow us to reproducibly characterize, gener ate and clinically apply engineered cartilage with positive effects.World wide researchers and clinicians are intently focused on this goal and it has come time to step back and make a good assessment of our progress. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Error-correcting codes have been incorporated in numerous working communication and memory systems. This book covers the mathematical aspects of the theory of block error-correcting codes together, in mutual reinforcement, with computational discussions, implementations and examples of all relevant concepts, functions and algorithms. This combined approach facilitates the reading and understanding of the subject.The digital companion of the book is a non-printable .pdf document with hyperlinks. The examples included in the book can be run with just a mouse click and modified and savedby users for their own purpose.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Tissue engineering as a technology and as a therapeutic has captured worldwide attention and commitmentbecause it has such potential in the care of humanity. Because we are not as yet able to craft robust three dimensional vascular and ductal structures to support the development of complex parenchymal organs, the initial focus of the field has been on thin tissues that can be nourished by diffusion alone.The best example of this class is cartilage. Thought by some to be a relatively simple tissue in the early days of tissue engineering, deep study of this tissue has shown it to manifest great complexity.Yearsof experimental and clinical effort have begun to untangle the clues that will allow us to reproducibly characterize, gener ate and clinically apply engineered cartilage with positive effects.World wide researchers and clinicians are intently focused on this goal and it has come time to step back and make a good assessment of our progress.Steinkopff, Dietrich Verlag in Springer Science + Business M, Tiergartenstr. 15-17, 69121 Heidelberg 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thepapersinthisvolumewerepresentedatthe5thAsiaPaci cWebConference (APWeb 2003), which was held in Xi an, China during 23 25 April 2003. The World Wide Web has dramatically changed our ways of working, le- ning,entertaininganddoingbusinessinthelast10years. TheAsiaPaci cregion has emerged in recent years as the fastest growing region in the world in the use of Web technologies as well as in making signi cant contributions to WWW research and development. APWeb this year received 136 submissions from 21 countries and regions, including Australia, Belgium, Brazil, Canada, China, F- land, France, Germany, Greece, Hong Kong, Italy, Japan, Korea, Kuwait, New Zealand, Singapore, Switzerland, Taiwan, Turkey, UK, and USA. Each subm- sion was carefully reviewed by three members of the Program Committee. Only 39 regular papers and 16 short papers were accepted. While XML-related te- nologies continued to dominate at this year s APWeb conference, this volume - vealssomeemergingtrends,suchastheformalfoundationsofWebdatamana- ment, architectures and methodologies in Web information systems engineering, Web-based work ow management systems, and the applications of data mining and distributed data management techniques in the new context of the Web. Also included in this volume are two high-quality papers from leading research groups on the topic of web mining (organized by Wen-Ying Ma of Microsoft - searchAsia). OnehighlightofAPWeb2003wasitshigh-pro lekeynotespeakers, Marek Rusinkiewicz (Telcordia Technologies, USA), Minoru Etoh (NTT DoCoMo USA Labs) and Beng Chin Ooi (National University of Singapore). Two keynote papers are included here. The conference received nancial support from Microsoft, Netec and a n- ber of Xi an software industry and government agencies. 628 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A comprehensive study of the international coordination of economic policy in a monetary union. It carefully discusses the process of policy competition and the structure of policy cooperation. As to policy competition, the focus is on competition between the union central bank, the German government, and the French government. Similarly, as to policy cooperation, the focus is on cooperation between the union central bank, the German government, and the French government. The key questions are: Does the process of policy competition lead to full employment and price stability Can these targets be achieved through policy cooperation And is policy cooperation superior to policy competition Another important issue is monetary competition / monetary cooperation between Europe and America. 292 pp. Englisch.…