springer berlin heidelberg mai 2001 (57 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lie linksbetweentorus and Toroidal arethe complex missing groups any groups such and of Lie as complex pseudoconvexity groups. Manyphenomena groups the of beunderstood thestructure can onlythrough concept cohomologygroups of different behavior ofthe oftoroidal The cohomology complex groups groups. the of their toroidal Lie be characterized can by properties groups - groups in their centers. pearing book. So the oldest have not been treated in a Toroidal systematically groups in it who worked in this field and the mathematician youngest working living aboutthemain results these decidedto a concerning comprehensivesurvey give and to discuss problems. open groups of the torus As the Toroidal are generalization groups. groups non-compact and Grauert. As in the sense ofAndreotti manifolds are convex complex they others have similarbehaviorto Lie someofthem a complextori, complex groups whencec- different with for non-Hausdorff are example cohomology groups, mustbe used. newmethods pletely of is to describe the fundamental The aim of these lecture notes properties the reductiontheorem toroidal As a result ofthe qua- meromorphic groups. basic ends inthethird varieties of interest.Their Abelian are special description MainTheorem. withthe chapter wide atthe - ofSOPHus LIE -wasintroducedtoa This inhonour public theory ' 1999. after Lie' in on Conference 100Years Leipzig, July 8-9, Sophus HUMBOLDT wishes to thank the ALEXANDER VON The first-named author FOUNDATION for partial support. December 1998 Hannoverand Toyama, YukitakaAbeandKlaus Kopfermann Contents 1 Introduction . of Toroidal 3 1. The Concept Groups . 1.1 and toroidal coordinates 3 Irrationality . Toroidal 3 . groups 7 Complex homomorphisms . Toroidal coordinates and C n-q -fibre bundles 9 . 152 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Diese Einführung in die umweltorientierten Sozialwissenschaften wendet sich in erster Linie an Studierende der Umweltwissenschaften, die ihr ökologisches Wissen in sozialwissenschaftliche Handlungsbezüge setzen möchten. Aber auch anderen interessierten Lesern bietet dieses Lehrbuch einen leichten überblicksartigen Einstieg in die Thematik. Dabei werden die Umweltpolitologie, Umweltplanung, Umweltsoziologie, Umweltpsychologie, Umweltbildung, Umweltberatung und Umweltkommunikation als die wichtigsten sozial-umweltwissenschaftlichen Disziplinen vorgestellt. Das Hauptaugenmerk richtet sich hierbei auf die theoretischen Grundlagen dieser Forschungsfelder. Praxisbezüge, die sich aus diesem Wissenschaftsgebiet heraus ergeben, werden aber vielfach angeführt und verdeutlichen die Relevanz dieses umweltwissenschaftlichen Teilgebiets. Die Zielsetzung dieses Bandes besteht darin, auch Nicht-Sozialwissenschaftlern ein Grundverständnis über sozialwissenschaftliche Zusammenhänge, als Ursache und zugleich auch Lösung verschiedenartiger Umweltprobleme, zu vermitteln. Zu diesem Zweck richtet sich der Aufbau dieses Buches nach den verschiedenen Forschungsfeldern, die einerseits eine tiefgehende Analyse des jeweiligen Teilgebietes liefern und andererseits weiterführende Handlungspotentiale aufzeigen. Dieses Buch entstand durch die Zusammenarbeit von Dozenten, die an verschiedenen namhaften Institutionen in der sozialwissenschaftlichen Umweltforschung tätig sind. Es soll vor allem als Lehrbuch der interdisziplinären Hochschulausbildung dienen. 216 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A well written, readable and easily accessible introduction to 'Choquet theory', which treats the representation of elements of a compact convex set as integral averages over extreme points of the set. The interest in this material arises both from its appealing geometrical nature as well as its extraordinarily wide range of application to areas ranging from approximation theory to ergodic theory. Many of these applications are treated in this book. This second edition is an expanded and updated version of what has become a classic basic reference in the subject. 136 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas. The basic agent concept incorporates proactive autonomous units with goal-directed-behaviour and communication capabilities. The book focuses on autonomous agents that can act in a goal directed manner under real time constraints and incomplete knowledge, being situated in a dynamic environment where resources may be restricted. To satisfy such complex requirements, the author improves, combines, and applies results from areas like planning, constraint programming, and local search. The formal framework developed is evaluated by application to the field of computer games, which fit the problem context very well since most of them are played in real time and provide a highly interactive environment where environmental situations are changing rapidly. 200 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed. 380 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Theoretical Foundations of Computer Vision, held at Dagstuhl Castle, Germany, in March 2000.The 20 revised full papers presented have been through two rounds of reviewing, selection, and revision and give a representative assessment of the foundational issues in multiple-image processing. The papers are organized in topical sections on 3D data acquisition and sensor design, multi-image analysis, data fusion in 3D scene description, and applied 3D vision and virtual reality. 304 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, Utrecht, The Netherlands, 2001. This meeting isa forum for researchers and practitioners working on various aspects of integer programming and combi- torial optimization. The aim is to present recent developments in theory, com- tation, and application of integer programming and combinatorial optimization. Topics include, but are not limited to: approximation algorithms, branch and bound algorithms, computational biology, computational complexity, compu- tional geometry, cutting plane algorithms, diophantine equations, geometry of numbers, graph and network algorithms, integer programming, matroids and submodular functions, on-line algorithms, polyhedral combinatorics, scheduling theory and algorithms, and semide nit e programs. IPCO was established in 1988 when the rs t IPCO program committee was formed. The locations and years of the seven rs t IPCO conferences were: IPCO I, Waterloo (Canada) 1990, IPCO II, Pittsburgh (USA) 1992, IPCO III, - ice (Italy) 1993, IPCO IV, Copenhagen (Denmark) 1995, IPCO V, Vancouver (Canada) 1996, IPCO VI, Houston (USA) 1998, IPCO VII, Graz (Austria) 1999. IPCO is held every year in which no MPS (Mathematical Programming Society) International Symposium takes place. Since the MPS meeting is triennial, IPCO conferences are held twice in every three-year period. Asa rule, IPCO is held somewhere in Northern America in even years, and somewhere in Europe in odd years. 440 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, France, in May 2000.The 13 papers included in the book were selected after two rounds of reviewing and revision from a total of 67 submissions. Among the topics addressed are algorithms, comparative genomics, evolution, phylogeny, databases, knowledge processing, genome anotation, graph theory, combinatorial mathematics, macromolecular structures, RNA and proteins, metabolic pathways and regulatory networks, and statistics and classification. 180 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements, performance engineering continues to play a major role in software development.This book assesses the state of the art in performance engineering. Besides revised chapters drawn from two workshops on performance engineering held in 2000, additional chapters were solicited in order to provide complete coverage of all relevant aspects. The first part is devoted to the relation between software engineering and performance engineering; the second part focuses on the use of models, measures, and tools; finally, case studies with regard to concrete technologies are presented. Researchers, professional software engineers, and advanced students interested in performance analysis will find this book an indispensable source of information and reference. 368 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -RoboCup2000,theFourthRobotWorldCupSoccerGamesandConferences, washeldfromAugust27thtoSeptember3rd,2000,attheMelbourneExhi- tionCenterinMelbourne,Australia. LikethepreviousinternationalRoboCup events RoboCup97 in Nagoya, Japan; RoboCup98 in Paris, France; and RoboCup99inStockholm,Sweden RoboCup2000includedatechnicalwo- shopaswellasseveralroboticsoccercompetitions. RoboCup2000introduced the rstRoboCupJr. competitionforchildren,aswellasdemonstrationsof humanoidrobotsandoftheRoboCup-Rescuedisasterrescuesimulator. ThisbookdocumentsRoboCup2000. Itconsistsof(i)anoverview;(ii)ch- pionshippapersbythewinnersofthecompetitions;(iii)the nalistpapersfor theRoboCupchallengeawards;(iv)thepapersandposterspresentedatthe workshop;and(v)descriptionsoftheteamsthatcompeted. Thebookbeginswithanoverviewarticleintroducingthecompetitionsand demonstrationsandincludingthescoresofallofthegamesinthefourc- petitionleagues:thesimulationleague,thesmall-sizerobot(F180)lea gue,the middle-sizerobot(F2000)league,andtheSonyleggedrobotleague. Thefoll- ingsectionpresentsthechampionshippapersfromthewinnersoftheseleagues. TheRoboCupchallengeawardsaredistinctionsthataregivenannuallyto theRoboCup-relatedresearcherswiththegreatestpotentialtoadvancetheir respective elds. InRoboCup2000,thechallengeaward nalistswereselected fromamongtheworkshoppapers. Thefourselected nalistpapersappearin thenextsection. TheannualRoboCupworkshopprovidesaforumforRoboCupresearchers toexchangeideasthataregenerallyapplicableacrossthedi erentRoboCup leaguesand/orthatareofgeneralscienti cinterest. TheRoboCup2000wo- shopreceivedmorethan60submissions,fromwhich20wereselectedforfull presentationandanadditional20wereselectedforposterpresentation. These researchpapersformthemainbodyofthisbook. Thebookconcludeswithdescriptionsofmostofthemorethan80teams thatcompetedinRoboCup2000. Theseteamdescriptionsservetocatalogthe fullrangeofresearchersandapproachesthathavebeenappliedtothechallenges putforthbyRoboCup. ThenextinternationalRoboCupeventswillbeheldinSeattle,USA(2001) andinFukuoka,Japan(2002). InadditiontoallexistingRoboCupevents,they arescheduledtointroduce(i)RoboCup-Rescuedisasterrescuecompeti tionsfor thetransferofideasandtechniquesdevelopedinthesoccerdomaintoarelated task,and(ii)ahumanoidrobotcompetitionasasteptowardsthelong-termgoal ofcreatingafullteamofhumanoidrobotsthatcompeteonarealsoccer eld. Welookforwardtocontinuingresearchinnovationsandexcitingdemonstrations ofroboticsandAItechnologyintheseandotherfutureRoboCupevents. March2000 PeterStone,TuckerBalch,andGerhardKraetzschmar RoboCupFederation TheRoboCupFederation,thegoverningbodyofRoboCup,isaninternational organizationthatpromotesscienceandtechnologyusingsoccergames byrobots andsoftwareagents. President: HiroakiKitano,JapanScienceandTechnologyCorporation,Japan Vice-Presidents: MinoruAsada,OsakaUniversity,Japan EnricoPagello,UniversityofPadua,Italy ManuelaVeloso,CarnegieMellonUniversity,USA Trustees: Hans-DieterBurkhard,HumboldtUniversity,Germany SilviaCoradeschi,OrebroUniversity,Sweden DominiqueDuhaut,UniversityofSouthernBretagne,France FransGroen,UniversityofAmsterdam,TheNetherlands AndrewJennings,RoyalMelbourneInstituteofTechnology,Australia MilindTambe,UniversityofSouthernCalifornia,USA ExecutiveCommittee: TuckerBalch,CarnegieMellonUniversity,USA AndreasBirk,FreeUniversityofBrussels,Belgium MasahiroFujita,SonyCorp. ,Japan GerhardKraetzschmar,UniversityofUlm,Germany PaulLevi,UniversityofStuttgart,Germany PedroLima,ISR/IST,TechnicalUniversityofLisbon,Portugal HenrikLund,UniversityofSouthernDenmark,Denmark DanieleNardi,UniversityofRome LaSapienza ,Italy ItsukiNoda,ETL,Japan DanielPolani,Lub eckUniversity,Germany Raul Rojas,UniversityofBerlin,Germany PeterStone,AT&TLabs Research,USA SatoshiTadokoro,KobeUniversity,Japan GordonWyeth,UniversityofQueensland,Australia AdvisoryCommittee: LuigiaCarlucciAiello,Universit adiRoma LaSapienza ,Italy DanielBobrow,XEROXPARC,USA MichaelBrady,Oxford.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the rst part of the present volume of LNCS, the reader will nd the invited talks given at the MCU 2001 conference. In the second part, he/she will nd the contributions that were presented at the conference after selection. In both cases, papers are arranged in the alphabetical order of the authors. MCU 2001 is the third conference in theoretical computer science, Machines, computations and universality, formerly, Machines et calculs universels. Both previous conferences, MCU'95 and MCU'98, were organized by Maurice M- genstern in Paris and in Metz (France), respectively. From the very beginning, MCU conferences have been an international sci- ti c event. For the third conference, in order to stress that aspect, it was decided to hold it outside France. Moldova was chosen thanks to the close cooperation between the present chairmen of MCU 2001. MCU 2001 also aims at high scienti c standards. We hope that the present volume will convince the reader that the tradition of previous conferences have been upheld by this one. Cellular automata and molecular computing are well represented in this volume. And this is also the case for quantum computing, f- mal languages, and the theory of automata. MCU 2001 does not fail its tradition of providing our community with important results on Turing machines. 336 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramDevelopment streamatCL2000,theFirstInternationalConferenceonComputationalLogic, heldatImperialCollege,London,on24-28July2000. ThismeantthattheLOPSTR2000ProgramCommitteewasalsotheCL2000 ProgramCommitteeforProgramDevelopment,andassuchhadtherespon- bilityforallProgramDevelopmentsubmissionstoCL2000,inadditiontothe usualLOPSTRabstracts. Asaresult,therewere18talksattheworkshop,with 2 fourpapersappearingintheproceedingsofCL2000, and14abstractsinthe 3 LOPSTR2000pre-proceedings. Inthisvolumewehavepapersbasedontenof theabstracts. So,paradoxically,thisvolumeisslimmerthanpreviousLOPSTRproce- ings,whilstthisyear sProgramCommitteehavehadtodealwithmoresubm- sionsandmorecategoriesthanusual!Myheartfeltthanksgotoallthemembers oftheProgramCommitteefortheirhardandconscientiousworkinreviewing andselectingthe papersatvariousstages. Iwouldalsoliketo thankallthe additionalreviewersfortheire ortsandprofessionalism. FororganizingCL2000,IwouldliketothanktheconferencechairMarek Sergot,theprogramchairJohnLloyd,andthelocalorganizersFrankKriwaczek andFrancescaToni. Theire ortswerepivotalforthesuccessofCL2000. Finally, I would like to thank all the authors who submitted papers and alltheworkshopattendees. Yourcontinuedsupportiscrucialtothefutureof LOPSTR. ThenextLOPSTRworkshopwillbeheldinCyprus,withICLP2001 andCP2001. ItwillmarkthetenthanniversaryofLOPSTR,soIhopetosee manyofyouthere! March2001 Kung-KiuLau 1 cs. man. ac. uk/~kung-kiu/lopstr 2 J. W. Lloyd,V. Dahl,U. Furbach,M. Kerber,K. -K. Lau,C. Palamidessi,L. M. - reira,Y. Sagiv,P. Stuckey,editors,ComputationalLogic CL2000,LectureNotes inArti cialIntelligence 1861, Springer-Verlag,2000. 3 K. -K. Lau,editor, Pre-Proceedings of the Tenth International Workshop on Log- basedProgramSynthesisandTransformation, Technical Report UMCS-00-6-1, - partment of Computer Science, University of Manchester, June 2000. ISSN 1361- 6161. (Electronic version at: cs. man. ac. uk/cstechrep/Abstracts/ UMCS-00-6-1. html. ) Program Chair Kung-KiuLau UniversityofManchester,UK Program Committee DavidBasin Albert-Ludwigs-Universit atFreiburg,Germany AnnalisaBossi Universit`aCa FoscaridiVenezia,Italy AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium MireilleDucass e IRISA/INSA,France SandroEtalle UniversiteitMaastricht,TheNetherlands PierreFlener UppsalaUniversity,Sweden MichaelHanus Christian-Albrechts-Universit atzuKiel,Germany IanHayes UniversityofQueensland,Australia ManuelHermenegildo TechnicalUniversityofMadrid,Spain PatriciaHill UniversityofLeeds,UK BaudouinLeCharlier UniversityofNamur,Belgium MichaelLeuschel UniversityofSouthampton,UK MichaelLowry NASAAmesResearchCenter,USA AliMili WestVirginiaUniversity,USA TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi UniversityofRomeTorVergata,Italy DonSannella UniversityofEdinburgh,UK DougSmith KestrelInstitute,USA ZoltanSomogyi UniversityofMelbourne,Australia Additional Referees JamieAndrews IanGreen Germ anPuebla AlessandroAvellone DavidHemer OlivierRidoux YvesBekkers BrahimHnich DaveRobertson FranciscoBueno EdKazmierczak SabinaRossi NicolettaCocco ZeynepK z ltan SalvatoreRuggieri RobertColvin ElviraPino JudithUnderwood MauroFerrari MaurizioProietti Germ anVidal Table of Contents Synthesis AFormalFrameworkforSynthesisandVeri cationofLogicPrograms . . . . . . 1 AlessandroAvellone,MauroFerrariandCamilloFiorentini ProtocolsbetweenProgramsandProofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 ImanPoernomoandJohnN. Crossley ATechniqueforModularLogicProgramRe nement. . . . . . . . . . . . . . . . . . . . . . . 38 RobertColvin,IanHayesandPaulStrooper Transformation Higher-OrderTransformationofLogicPrograms . . . . . . . . . . . . . . . . . . . . . . . . . . .

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements. 428 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We presented an approach for the visual discrimination of children (3 5 years old) from adults using stride-based properties of their walking style. Trajectories of marked head and ankle positions for six children and nine adults were used to compute the relative stride and stride frequency for each walker at di erent speeds. The distinction between child and adult for these features is quite strong and reduces the task of categorization to a linear discrimination test. Using a trained two-class linear perceptron, we were able to achieve a correct classi - tion rate of 93 95% for our dataset. Given that only two motion features were used to characterize and di erentiate children from adults, the result is quite - couraging. The use of natural modes as a means of visual categorization provides a useful bottom-up framework for the classi cation and recognition of humans in motion. References 1. A. Baumberg and D. Hogg. Learning exible models from image sequences. In Proc. European Conf. Comp. Vis. , pages 299 308, 1994. 2. W. Boda, W. Tapp, and T. Findley. Biomechanical comparison of treadmill and overground walking. In Proc. Can. Soc. for Biomech. , pages 88 89, 1994. 3. C. Bregler and J. Malik. Tracking people with twists and exponential maps. In Proc. Comp. Vis. and Pattern Rec. , pages 8 15, 1998. 4. I. Chang and C. Huang. The model-based human body motion analysis system. Image and Vision Comp. , 18(14):1067 1083, 2000. 5. D. Gavrila. Pedestrian detection from a moving vehicle. In Proc. European Conf. 400 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Industrial robots carry out simple tasks in customized environments for which it is typical that nearly all e ector movements can be planned during an - line phase. A continual control based on sensory feedback is at most necessary at e ector positions near target locations utilizing torque or haptic sensors. It is desirable to develop new-generation robots showing higher degrees of autonomy for solving high-level deliberate tasks in natural and dynamic en- ronments. Obviously, camera-equipped robot systems, which take and process images and make use of the visual data, can solve more sophisticated robotic tasks. The development of a (semi-) autonomous camera-equipped robot must be grounded on an infrastructure, based on which the system can acquire and/or adapt task-relevant competences autonomously. This infrastructure consists of technical equipment to support the presentation of real world training samples, various learning mechanisms for automatically acquiring function approximations, and testing methods for evaluating the quality of the learned functions. Accordingly, to develop autonomous camera-equipped robot systems one must rst demonstrate relevant objects, critical situations, and purposive situation-action pairs in an experimental phase prior to the application phase. Secondly, the learning mechanisms are responsible for - quiring image operators and mechanisms of visual feedback control based on supervised experiences in the task-relevant, real environment. This paradigm of learning-based development leads to the concepts of compatibilities and manifolds. Compatibilities are general constraints on the process of image formation which hold more or less under task-relevant or accidental variations of the imaging conditions. 304 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri cation of software for smart cards. The modest code size and the imp- tanceoftheapplicationareasimpliesthatitisbothpossibleanddesirableto developandapplyformalmethodsintheconstructionofsafeandsecureJava Cardsoftware. ThepresentvolumeconstitutestheproceedingsoftheJavaCardworkshop heldinCannes,14September2000. TheworkshopgrewoutoftheINRIAAction deRechercheCoop erative JavaCard andwasorganizedincollaborationwith the Java Card Forum. A call for papers resulted in 14 submissions of which theprogramcommitteeselected11papersforpresentationattheworkshop. In addition,theworkshopfeaturedaninvitedtalkbyDanielLeM etayer,Trusted Logic,onformalmethodsandsmartcardsecurity. WewishtothankCatherine Godest and Maryse Renaud for their help with preparing the proceedings for thisworkshop. February2001IsabelleAttali ThomasJensen 1 ItshouldbenotedthatJavaCardisatrademarkofSunMicrosystems. Organization ProgramCommittee ProgramChair: IsabelleAttali(INRIA,France) ThomasJensen(IRISA/CNRS,France) Committeemembers: ChristianGoire(BullCP8,France) SebastianHans(SunMicrosystems,USA) PieterHartel(UniversityofSouthampton,UK) PeterHoneyman(UniversityofMichigan,USA) PierreParadinas(Gemplus,France) JoachimPosegga(SAPCorporateResearch,Germany) TableofContents InvitedTalk FormalMethodsinContext:SecurityandJavaCard . . . . . . . . . . . . . . . . . . . 1 D. Bolignano,D. LeM etayer,C. Loiseaux ContributedPapers ADynamicLogicfortheFormalVeri cationofJavaCardPrograms . . . . . 6 BernhardBeckert ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow . . . . . 25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 RajeevGor e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 MarcKekiche ,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard . . . . . . . . . . . . 114 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets . . . . . . . . . . . . . . . . . . . . . 121 HuguesMartin,LydieduBousquet FormalSpeci cationandVeri cationofJavaCard sApplicationIdenti er Class. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a Non-cryptographic JAVA-Ring. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 R udigerWeis,BastiaanBakker,StefanLucks AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Métayer, and C. Loiseaux Trusted Logic trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: Better u.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the eld of Information Systems Engineering. CAiSE 2001 was the 13th conference in this series and was held from 4th to 8th June 2001 in the resort of Int- laken located near the three famous Swiss mountains - the Eiger, M onch, and Jungfrau. The rst two days consisted of pre-conference workshops and tutorials. The workshop themes included requirements engineering, evaluation of modeling methods, data integration over the Web, agent-oriented information systems, and the design and management of data warehouses. Continuing the tradition of recent CAiSE conferences, there was also a doctoral consortium. The p- conference tutorials were on the themes of e-business models and XML appli- tion development. The main conference program included three invited speakers, two tuto- als, and a panel discussion in addition to presentations of the papers in these proceedings. We also included a special 'practice and experience' session to give presentersanopportunitytoreportonanddiscussexperiencesandinvestigations on the use of methods and technologies in practice. Weextendourthankstothemembersoftheprogramcommitteeandallother referees without whom such conferences would not be possible. The program committee, whose members came from 20 di erent countries, selected 27 hi- quality research papers and 3 experience reports from a total of 97 submissions. The topics of these papers span the wide-range of topics relevant to information systems engineering - from requirements and design through to implementation and operation of complex and dynamic systems. 504 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Invasion of privacy and misuse of personal data are among the most obvious negative effects of today's information and communication technologies. Besides technical issues from a variety of fields, privacy legislation, depending on national activities and often lacking behind technical progress, plays an important role in designing, implementing, and using privacy-enhancing systems.Taking into account technical aspects from IT security, this book presents in detail a formal task-based privacy model which can be used to technically enforce legal privacy requirements. Furthermore, the author specifies how the privacy model policy has been implemented together with other security policies in accordance with the Generalized Framework for Access Control (GFAC).This book will appeal equally to R&D professionals and practitioners active in IT security and privacy, advanced students, and IT managers. 372 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AI 2001 is the 14th in the series of Arti cial Intelligence conferences sponsored by the Canadian Society for Computational Studies of Intelligence/Soci et e - nadienne pour l' etude de l'intelligence par ordinateur. As was the case last year too, the conference is being held in conjunction with the annual conferences of two other Canadian societies, Graphics Interface (GI 2001) and Vision Int- face (VI 2001). We believe that the overall experience will be enriched by this conjunction of conferences. This year is the silver anniversary' of the conference: the rst Canadian AI conference was held in 1976 at UBC. During its lifetime, it has attracted Canadian and international papers of high quality from a variety of AI research areas. All papers submitted to the conference received at least three indep- dent reviews. Approximately one third were accepted for plenary presentation at the conference. The best paper of the conference will be invited to appear in Computational Intelligence. 384 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields. 328 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Arbeit befindet sich, was Literatur und das Gesetzgebungsverfahren betrifft, auf dem Stand von September 2000. Sie basiert in der vorliegenden Fassung auf einer Dissertation, die auf der Grundlage von Gesetzgebungsentwtirfen geschrieben und im Juni 1999 bei der Europa Universitat Viadrina in Frankfurt (Oder) eingereicht worden war. Am 23. April 1999 fand im Sejm die erste Lesung tiber die eingebrachten Gesetzesentwtirfe statt; in welchem Zeitrahmen das Gesetz zum Verbraucher schutz erlassen werden wtirde, war bei AbschluB des dem Dissertationsverfahren zugrundeJiegenden Manuskripts im Mai 1999 noch nicht absehbar. Am 2. Marz 2000 beschloB der Sejm das Gesetz tiber den Verbraucherschutz (Ustawa 0 ochronie niekt6rych praw konsument6w oraz 0 odpowiedzialnosci za szkod~ wyrzltdzonlt przez produkt niebezpieczny, Dziennik Ustaw 2000 vom 31. Marz 2000, Poz. 22, S. 271), das am 1. Juli 2000 in Kraft tratl. Es unterschied sich nur unwesentlich von denen in der Arbeit verwandtem Gesetzesentwurf. Am 26. Juni 2000 fand die Disputation der Dissertation in Frankfurt (Oder) statt, bei dem das Gesetz tiber den Verbraucherschutz vom 2. Marz 2000 schon berticksichtigt wurde. Die Arbeit in der vorliegenden Form wurde dem neuen Rechtszustand angepaBt. Der Anhang der Arbeit enthiilt die wichtigsten Vorschriften auf deutsch und polnisch2. In die vorliegende Fassung eingearbeitet wurde das nach AbschluB des Manuskripts im Mai 1999 erschienene Handbuch zum Verbraucherrecht von Ewa L~towska 'Prawo um6w konsumenckich'. Dieses konnte jedoch noch nicht das Verbraucherschutzgesetz selbst berticksichtigen, behandelt aber ausftihrIich die Vorarbeiten der Kodifikationskommission, denen das Verbraucherschutzgesesetz im groben entspricht. 428 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Entwicklung des Rechts der Risikoaufklärung spaltet die im Medizinrecht tätigen Anwälte ebenso wie die Ärzteschaft in Lager. Beklagt wird einerseits eine nach wie vor ungenügende Bereitschaft der Ärzte, Patienten über die mit medizinischer Behandlung verbundenen Risiken und Gefahren aufzuklären. Beklagt wird andererseits eine ausgeuferte Rechtsprechung, die im Bereich der Medizin noch Risiken für aufklärungspflichtig halte, die weit unterhalb der Schwelle von jedermann allgemein in Kauf genommener Risiken liege. Die Beiträge liefern neben einer Analyse der bisherigen Rechtsentwicklung Anregungen für die Rechtsanwendung und Rechtsfortbildung. TOC:T. Ratajczak: Der Schweinezyklus in der Aufklärungsrechtsprechung (Entwicklung der Rechtsprechung).- R. Jungbecker: Formulargestützte Aufklärung.- R.T. Müller: Computergestützte Aufklärung.- W. Gaus: Wahrscheinlichkeit und relevante Risiken.- H. Schünemann: Die Bedeutung des plausiblen Entscheidungskonfliktes des Patienten für den haftungsrechtlichen Zurechnungszusammenhang zwischen Aufklärungsmangel und Gesundheitsschaden.- K.-O. Bergmann: Aufklärung in der arbeitsteiligen Medizin.- H.F. Kienzle: Aufklärung - Unerfüllbare Ansprüche im Praxis- und Klinikalltag .- Ch.-M. Stegers: Die zivilrechtliche Haftung des Arztes bei Aufklärungsmängeln auf dem Weg zu einem verschuldenunabhängigen Schadensersatz 196 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sicherheits-Methoden werden bei weltweit verbreiteten, vernetzten e-Commerce-Aktivitäten immer wichtiger. In diesem Buch werden die verfügbaren Methoden dargestellt, die es ermöglichen, Gefahren wie etwa Angriffen aus dem Netz vorzubeugen und die Technik zu einem effektiven Element einer sicheren, zuverlässigen elektronischen Infrastruktur zu machen.Dieses Buch zeigt ferner, dass in einer zusehends vernetzten Welt neben der Verfügbarkeit von Sicherheitstechnologie andere Ziele, wie etwa Vertrauensziele, an Bedeutung gewinnen. 224 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Klaus Danzers Chemometrik - Grundlagen und Anwendungen füllt eine Lücke im deutschsprachigen Lehrbuchmarkt. Es spannt den Bogen von der uni- und multivarianten Statistik bis hin zu Neuronalen Netzen und Genetischen Algorithmen und konzentriert sich auf die Analyse analytisch-chemischer und chemisch-experimenteller Daten. Es bietet Studenten und bereits in der Praxis tätigen Einsteigern die Möglichkeit, sich in die Grundlagen ohne überflüssigen theoretischen Ballast einzuarbeiten und viele existierende oder potentielle Anwendungsfelder kennenzulernen. Dem Fachmann bietet es einen systematischen, alle Schritte des analytischen Prozesses einschliessenden Überblick; auch Versuchsplanung, Optimierung, Signal- und Bildverarbeitung, Qualitätssicherung und Rentabilitätsbetrachtungen werden ausreichend berücksichtigt. Besonderer Wert wurde auf die Anschaulichkeit, die Darstellung der Zusammenhänge zwischen den Methoden und die Praxisrelevanz gelegt. 408 pp. Deutsch.

Sonstige Video. Condition: Neu. Neuware -Das Lehrbuch liefert einen Überblick zu den Grundlagen der organischen Chemie. Der Lernstoff ist nach Stoffklassen geordnet, die Reaktionen werden eingehend erläutert und verständlich in kleinen Lernschritten dargeboten. Die 3. Auflage wurde kapitelweise durch Fragen ergänzt, deren Antworten anschließend ausgearbeitet werden eine wertvolle Hilfe für die Prüfungsvorbereitung. Der Band richtet sich vor allem an Lehramtsstudenten, aber auch an Studierende der Biologie, Ernährungswissenschaften, Medizin, Pharmazie und Agrarwissenschaften. 1151 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome to IWQoS2001 in Karlsruhe! Quality of Service is a very active research field, especially in the networking community. Research in this area has been going on for some time, with results getting into development and finally reaching the stage of products. Trends in research as well as a reality check will be the purpose of this Ninth InternationalW orkshopo n Quality of Service. IWQoS isa ver y successful seriesof workshops and has established itself as one of the premier forums for the presentation and discussion of new research and ideas on QoS. The importance of this workshop series is also reflected in the large number of excellents ubmissions. Nearly 150 papers from all continents were submitted to the workshop, about a fifth of these being short papers. The program committee were very pleased witht he quality of the submissions andh ad the difficult task of selecting the relatively small number of papers which could be accepted for IWQoS2001. Due to the tough competition, many very good papers had to be rejected. 452 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA'95 in Hagen, Germany, CCA'96 in Trier, Germany, and CCA'98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Ireland contributed to the success of this meeting. Altogether, 28 talkswere p- sented in Swansea. These proceedings include 23 papers which represent a cro- section through recent research on computability and complexity in analysis. The workshop succeeded in bringing together people interested in computability and complexity aspects of analysis and in exploring connections with nume- cal methods, physics and, of course, computer science. It was rounded o by a number of talks and papers on exact computer arithmetic and by a competition of v e implemented systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for further inspiring and constructive meetings of the same kind. April 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000was hosted by the Department of Computer Science of the University of Wales Swansea and took place on September 17{19, 2000. 408 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems, MMM-ACNS 2001, held in St. Petersburg in May 2001.The 24 revised full papers presented together with five invited contributions were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on network security systems: foundations, models and architectures; intrusion detection: foundations and models; access control, authentication, and authorization; and cryptography and steganography: mathematical basis, protocols, and applied methods. 336 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27 -31, 2001. The two volumes consist of more than 230 contributed and invited papers that reflect the aims of the conference to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques. 1368 pp. Englisch.

Buch. Condition: Neu. Neuware -Damit traditionelle Investitionsbewertungsverfahren nicht zu unternehmerischen Fehlentscheidungen führen, lösen immer mehr Unternehmen dieses Problem mit Hilfe des Realoptionsansatzes. Dieser Ansatz erfasst die Bewertung von Investitionsprojekten erstmals mit einer bisher nicht zu erzielenden Genauigkeit. Das Buch vermittelt kompetent die Grundzüge der Realoption und gibt konkrete Hilfestellung bei der Umsetzung im Unternehmensalltag. 348 pp. Deutsch.