feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    gbv_1647265576
    Format: Online-Ressource (X, 261 p, digital)
    ISBN: 9783540779346
    Series Statement: Lecture Notes in Computer Science 4821
    Content: Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL Method — Experiences on PBL Cases and Tutoring -- Using On-Line Tutorials in Introductory IT Courses -- Introducing Object-Oriented Programming -- to Part II Introducing Object-Oriented Programming -- Transitioning to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming -- CS1: Getting Started -- Teaching Software Engineering Issues -- to Part III Teaching Software Engineering Issues -- Experiences with a Focus on Testing in Teaching -- Teaching Software Development Using Extreme Programming -- Frameworks in Teaching -- Assessment -- to Part IV Assessment -- Active Learning and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams.
    Additional Edition: ISBN 9783540779339
    Additional Edition: Buchausg. u.d.T. Reflections on the teaching of programming Berlin : Springer, 2008 ISBN 3540779337
    Additional Edition: ISBN 9783540779339
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Programmierung ; Kurs ; Fachdidaktik ; Objektorientierte Programmierung ; Fachdidaktik ; Softwareentwicklung ; Fachdidaktik ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Kölling, Michael
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1647262429
    Format: Online-Ressource (digital)
    ISBN: 9783540710806
    Series Statement: Lecture Notes in Computer Science 4404
    Content: Visual Data Mining: An Introduction and Overview -- Visual Data Mining: An Introduction and Overview -- 1 – Theory and Methodologies -- The 3DVDM Approach: A Case Study with Clickstream Data -- Form-Semantics-Function – A Framework for Designing Visual Data Representations for Visual Data Mining -- A Methodology for Exploring Association Models -- Visual Exploration of Frequent Itemsets and Association Rules -- Visual Analytics: Scope and Challenges -- 2 – Techniques -- Using Nested Surfaces for Visual Detection of Structures in Databases -- Visual Mining of Association Rules -- Interactive Decision Tree Construction for Interval and Taxonomical Data -- Visual Methods for Examining SVM Classifiers -- Text Visualization for Visual Text Analytics -- Visual Discovery of Network Patterns of Interaction between Attributes -- Mining Patterns for Visual Interpretation in a Multiple-Views Environment -- Using 2D Hierarchical Heavy Hitters to Investigate Binary Relationships -- Complementing Visual Data Mining with the Sound Dimension: Sonification of Time Dependent Data -- Context Visualization for Visual Data Mining -- Assisting Human Cognition in Visual Data Mining -- 3 – Tools and Applications -- Immersive Visual Data Mining: The 3DVDM Approach -- DataJewel: Integrating Visualization with Temporal Data Mining -- A Visual Data Mining Environment -- Integrative Visual Data Mining of Biomedical Data: Investigating Cases in Chronic Fatigue Syndrome and Acute Lymphoblastic Leukaemia -- Towards Effective Visual Data Mining with Cooperative Approaches.
    Content: The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade. In 2005 a panel of renowned individuals met to address the shortcomings and drawbacks of the current state of visual information processing. The need for a systematic and methodological development of visual analytics was detected. This book aims at addressing this need. Through a collection of 21 contributions selected from more than 46 submissions, it offers a systematic presentation of the state of the art in the field. The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.
    Additional Edition: ISBN 9783540710790
    Additional Edition: Buchausg. u.d.T. Visual data mining Berlin : Springer, 2008 ISBN 3540710795
    Additional Edition: ISBN 9783540710790
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Data Mining ; Visualisierung ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Böhlen, Michael 1964-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1647815827
    Format: Online-Ressource (digital)
    ISBN: 9783642013386
    Series Statement: Lecture Notes in Computer Science 5386
    Content: Multi-agent Organizations -- Model-Driven Integration of Organizational Models -- MAS Modeling Based on Organizations -- A Systemic Approach to the Validation of Self–Organizing Dynamics within MAS -- Method Engineering and Software Development Processes -- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies -- Definition of Process Models for Agent-Based Development -- Methodology Fragments Definition in SPEM for Designing Adaptive Methodology: A First Step -- A MAS Metamodel-Driven Approach to Process Fragments Selection -- An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics -- A Unified Graphical Notation for AOSE -- Prometheus and INGENIAS Agent Methodologies: A Complementary Approach -- The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems -- Evaluating an Agent-Oriented Approach for Change Propagation -- Testing and Debugging -- Goal-Oriented Agent Testing Revisited -- Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems -- Testing and Debugging of MAS Interactions with INGENIAS -- Tools and Case Studies -- PASSI Methodology in the Design of Software Framework: A Study Case of the Passenger Transportation Enterprise -- Developing and Evolving a Multi-agent System Product Line: An Exploratory Study -- Combining JADE and Repast for the Complex Simulation of Enterprise Value-Adding Networks -- OperA and Brahms: A Symphony? -- Support for Analysis, Design, and Implementation Stages with MASDK.
    Content: Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering. The papers represent a state-of-the-art report of current research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008. The 20 revised full papers were carefully selected from 50 initial submissions during two rounds of reviewing and improvement. The papers have been organized into four sections on: multi-agent organizations, method engineering and software development processes, testing and debugging, as well as tools and case studies.
    Additional Edition: ISBN 9783642013379
    Additional Edition: Erscheint auch als Druck-Ausgabe Agent-oriented software engineering IX Berlin [u.a.] : Springer, 2009 ISBN 3642013376
    Additional Edition: ISBN 9783642013379
    Additional Edition: Erscheint auch als Druck-Ausgabe Agent-oriented software engineering ; 9: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12 - 13, 2008; revised selected papers Berlin : Springer, 2009 ISBN 9783642013379
    Additional Edition: ISBN 3642013376
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Software Engineering ; Mehragentensystem ; Autonomer Agent ; Softwareplattform ; Mehragentensystem ; Testen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_1647744318
    Format: Online-Ressource (digital)
    ISBN: 9783642008672
    Series Statement: Lecture Notes in Computer Science 5454
    Content: Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.
    Content: The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.
    Note: Literaturangaben
    Additional Edition: ISBN 9783642008665
    Additional Edition: Buchausg. u.d.T. Methods, models and tools for fault tolerance Berlin : Springer, 2009 ISBN 3642008666
    Additional Edition: ISBN 9783642008665
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Fehlertoleranz ; Fehlertoleranz ; Aufsatzsammlung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Jones, Cliff B. 1944-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_1647261740
    Format: Online-Ressource (digital)
    ISBN: 9783540709305
    Series Statement: Lecture Notes in Computer Science 4922
    Content: Modeling Techniques and Infrastructures -- The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software -- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions -- Model Transformations -- Generating Sound and Resource-Aware Code from Hybrid Systems Models -- Towards Verification of Model Transformations Via Goal-Directed Certification -- Quality Assurance -- An Instrumentation-Based Approach to Controller Model Validation -- TestML - A Test Exchange Language for Model-Based Testing of Embedded Software -- Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems -- Real-Time Control -- Modeling with the Timing Definition Language (TDL) -- Towards Model-Driven Development of Hard Real-Time Systems -- Services and Components -- Reusable Services and Semi-automatic Service Composition for Automotive Software.
    Content: This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006. The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
    Note: Includes bibliographical references and author index
    Additional Edition: ISBN 9783540709299
    Additional Edition: Buchausg. u.d.T. Model-driven development of reliable automotive services Berlin : Springer, 2008 ISBN 3540709290
    Additional Edition: ISBN 9783540709299
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Kraftfahrzeugelektronik ; Softwareentwicklung ; Kraftfahrzeugelektronik ; Hardwareentwurf ; Kraftfahrzeug ; Ad-hoc-Netz ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Krüger, Ingolf 1970-
    Author information: Pandu Rangan, C. 1955-
    Author information: Broy, Manfred 1949-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_1647376122
    Format: Online-Ressource (digital)
    ISBN: 9783540689799
    Series Statement: Lecture Notes in Computer Science 4968
    Content: TRUST 2008 -- Practical Techniques for Operating System Attestation -- TOCTOU, Traps, and Trusted Computing -- A Software-Based Trusted Platform Module Emulator -- Towards Trust Services for Language-Based Virtual Machines for Grid Computing -- Embedded Trusted Computing with Authenticated Non-volatile Memory -- The Zurich Trusted Information Channel – An Efficient Defence Against Man-in-the-Middle and Malicious Software Attacks -- A Model for New Zealand’s Identity Verification Service -- Pseudonymous Mobile Identity Architecture Based on Government-Supported PKI -- Para-Virtualized TPM Sharing -- Slicing for Security of Code -- Trusted Computing Serving an Anonymity Service -- Combining Biometric Authentication with Privacy-Enhancing Technologies -- A New Direct Anonymous Attestation Scheme from Bilinear Maps -- On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA).
    Content: This volume contains papers presented at TRUST 2008, the ?rst international conference on Trusted Computing and Trust in Information Technologies, held in March 2008 in Villach, Austria. The aim of the conference was to create a joint scienti?c and networking platform covering the core issues of trust in IT systems and trusted computing and to bridge the gaps between international research groups and projects in closely related ?elds. The organizers received 43 submissions from 17 countries. Each of the s- mittedpaperswasreviewedbythreereviewers.Basedonthesereviews13papers were selected as suitable for the conference and the authors were asked to p- sent their work. Further, six renowned speakers from academia, industry and the European Commission were invited for keynotes. The accepted papers are published in this volume together with one paper from Paul England, one of the invited speakers at TRUST 2008. TheconferencewassupportedbytheEuropeanCommissionviatheOpen-TC project (FP6 IST-027635), by the Austrian Research Promotion Agency (FFG) and by the city of Villach.
    Note: Literaturangaben
    Additional Edition: ISBN 9783540689782
    Additional Edition: Buchausg. u.d.T. Trusted computing challenges and applications Berlin : Springer, 2008 ISBN 3540689788
    Additional Edition: ISBN 9783540689782
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Trusted Computing ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Sadeghi, Ahmad-Reza
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1647675839
    Format: Online-Ressource (digital)
    ISBN: 9783540926955
    Series Statement: Lecture Notes in Computer Science 5313
    Content: Nested Partitioning for the Minimum Energy Broadcast Problem -- An Adaptive Memory-Based Approach Based on Partial Enumeration -- Learning While Optimizing an Unknown Fitness Surface -- On Effectively Finding Maximal Quasi-cliques in Graphs -- Improving the Exploration Strategy in Bandit Algorithms -- Learning from the Past to Dynamically Improve Search: A Case Study on the MOSP Problem -- Image Thresholding Using TRIBES, a Parameter-Free Particle Swarm Optimization Algorithm -- Explicit and Emergent Cooperation Schemes for Search Algorithms -- Multiobjective Landscape Analysis and the Generalized Assignment Problem -- Limited-Memory Techniques for Sensor Placement in Water Distribution Networks -- A Hybrid Clustering Algorithm Based on Honey Bees Mating Optimization and Greedy Randomized Adaptive Search Procedure -- Ant Colony Optimization and the Minimum Spanning Tree Problem -- A Vector Assignment Approach for the Graph Coloring Problem -- Rule Extraction from Neural Networks Via Ant Colony Algorithm for Data Mining Applications -- Tuning Local Search by Average-Reward Reinforcement Learning -- Evolution of Fitness Functions to Improve Heuristic Performance -- A Continuous Characterization of Maximal Cliques in k-Uniform Hypergraphs -- Hybrid Heuristics for Multi-mode Resource-Constrained Project Scheduling.
    Content: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Learning and Intelligent Optimization, LION 2007 II, held in Trento, Italy, in December 2007. The 18 revised full papers were carefully reviewed and selected from 48 submissions for inclusion in the book. The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems and are organized in topical sections on improving optimization through learning, variable neighborhood search, insect colony optimization, applications, new paradigms, cliques, stochastic optimization, combinatorial optimization, fitness and landscapes, and particle swarm optimization.
    Additional Edition: ISBN 9783540926948
    Additional Edition: Buchausg. u.d.T. Learning and intelligent optimization Berlin : Springer, 2008 ISBN 3540926941
    Additional Edition: ISBN 9783540926948
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Maschinelles Lernen ; NP-hartes Problem ; Soft Computing ; Metaheuristik ; N-armiger Bandit ; Ameisenalgorithmus ; Lernendes System ; Organic Computing ; Optimierung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_1647675634
    Format: Online-Ressource (digital)
    ISBN: 9783540921912
    Series Statement: Lecture Notes in Computer Science 5151
    Content: Bio-Inspired Computing and Communication -- Biological Networks -- A Complex Network Approach to the Determination of Functional Groups in the Neural System of C. Elegans -- Modelling Gene Regulatory Networks -- The Role of Simplifying Models in Neuroscience: Modelling Structure and Function -- An Artificial Chemistry for Networking -- Biomimicry: Further Insights from Ant Colonies? -- Network-Related Challenges and Insights from Neuroscience -- Network Epidemics -- Networks in Epidemiology -- Epidemiology and Wireless Communication: Tight Analogy or Loose Metaphor? -- Epidemic Spreading of Computer Worms in Fixed Wireless Networks -- Wireless Epidemic Spread in Dynamic Human Networks -- Complex Networks -- Stochastic Spreading Processes on a Network Model Based on Regular Graphs -- Weighted and Directed Network on Traveling Patterns -- Communication Networks in Insect Societies -- The Topological Fortress of Termites -- Evolutionary and Temporal Dynamics of Transcriptional Regulatory Networks -- Phase Patterns of Coupled Oscillators with Application to Wireless Communication -- Self-organizing Desynchronization and TDMA on Wireless Sensor Networks -- Bio-Inspired Network Model -- Bio-Inspired Multi-agent Collaboration for Urban Monitoring Applications -- Bio-Inspired Approaches for Autonomic Pervasive Computing Systems -- Biologically Inspired Self Selective Routing with Preferred Path Selection -- Biologically Inspired Approaches to Networks: The Bio-Networking Architecture and the Molecular Communication -- Network Protocol in Wireless Communication -- User-Centric Mobility Models for Opportunistic Networking -- Wavelet-Domain Statistics of Packet Switching Networks Near Traffic Congestion -- A Circulatory System Approach for Wireless Sensor Networks -- Epcast: Controlled Dissemination in Human-Based Wireless Networks Using Epidemic Spreading Models -- Maintaining Spatial-Temporal Knowledge through Human Interaction -- Data Management -- Beta Random Projection -- Biologically Inspired Classifier -- Distributed Computing -- Human Heuristics for Autonomous Agents -- Designing Biological Computers: Systemic Computation and Sensor Networks -- A Rule System for Network-Centric Operation in Massively Distributed Systems -- Field-Based Coordination for Pervasive Computing Applications -- Coalition Games and Resource Allocation in Ad-Hoc Networks -- Security -- Bio-Inspired Topology Maintenance Protocols for Secure Wireless Sensor Networks -- Dynamic Topologies for Robust Scale-Free Networks.
    Content: The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, held in Cambridge, UK, in April 2007. The 35 revised full papers presented were carefully reviewed and selected from many high quality submissions. All recent developments in the field of bio-inspired design of networks are addressed, with particular regard to wireless networks and the self-organizing properties of biological networks. The papers are organized in topical sections on biological networks, network epidemics, complex networks, bio-inspired network mode, network protocol in wireless communication, data management, distributed computing, and security.
    Additional Edition: ISBN 9783540921905
    Additional Edition: Buchausg. u.d.T. Bio-inspired computing and communication Berlin : Springer, 2008 ISBN 3540921907
    Additional Edition: ISBN 9783540921905
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Netzwerktopologie ; Biologisches System ; Modell ; Kommunikationssystem ; Netzwerktopologie ; Selbst organisierendes System ; Funknetz ; Kommunikationsprotokoll ; Interaktion ; Modellierung ; Ubiquitous Computing ; Autonomic Computing ; Organic Computing ; Verteiltes System ; Sensorsystem ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1647744296
    Format: Online-Ressource (digital)
    ISBN: 9783642005879
    Series Statement: Lecture Notes in Computer Science 5471
    Content: Implementation of Trusted Computing -- Towards a Programmable TPM -- ACPI: Design Principles and Concerns -- Implementation Aspects of Mobile and Embedded Trusted Computing -- Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels -- Attestation -- Remote Attestation of Attribute Updates and Information Flows in a UCON System -- Measuring Semantic Integrity for Remote Attestation -- PKI for Trusted Computing -- A PrivacyCA for Anonymity and Trust -- Revocation of TPM Keys -- Applications I -- Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture -- Trustable Remote Verification of Web Services -- Trustworthy Log Reconciliation for Distributed Virtual Organisations -- Attacking the BitLocker Boot Process -- Applications II -- Secure VPNs for Trusted Computing Environments -- Merx: Secure and Privacy Preserving Delegated Payments -- A Property-Dependent Agent Transfer Protocol.
    Content: This book constitutes the refereed proceedings of the Second International Conference on Trusted Computing, TRUST 2009, held in Oxford, UK, in April 2009. The 15 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 33 submissions. The papers cover the core issues of trust in IT systems and present current research, devoted to technical aspects of trusted computing. The papers are organized in topical sections on implementation of trusted computing, attestation, PKI for trusted computing, applications.
    Note: Literaturangaben
    Additional Edition: ISBN 9783642005862
    Additional Edition: Buchausg. u.d.T. Trusted computing Berlin : Springer, 2009 ISBN 3642005861
    Additional Edition: ISBN 9783642005862
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Trusted Computing ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1647898064
    Format: Online-Ressource (digital)
    ISBN: 9783642006098
    Series Statement: Lecture Notes in Computer Science 5447
    Content: Awarded Papers -- Overview of Awarded Papers – The 22nd Annual Conference of JSAI -- A Japanese Input Method for Mobile Terminals Using Surface EMG Signals -- Evaluation of Similarity Measures for Ontology Mapping -- Network Distributed POMDP with Communication -- Solving Crossword Puzzles Using Extended Potts Model -- Socialized Computers and Collaborative Learning -- Learning Communicative Meanings of Utterances by Robots -- Towards Coordination of Multiple Machine Translation Services -- Ranking Method of Object-Attribute-Evaluation Three-Tuples for Opinion Retrieval -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008 -- Multiple Subject Constructions in Japanese: A Dynamic Syntax Account -- Topic/Subject Coreference in the Hierarchy of Japanese Complex Sentences -- Japanese Reported Speech: Against a Direct–Indirect Distinction -- The Dynamics of Tense under Attitudes – Anaphoricity and de se Interpretation in the Backward Shifted Past -- Argumentative Properties of Pragmatic Inferences -- Prolegomena to Dynamic Epistemic Preference Logic -- Monads and Meta-lambda Calculus -- Juris-Informatics -- Overview of JURISIN 2008 -- Bootstrapping-Based Extraction of Dictionary Terms from Unsegmented Legal Text -- Computational Dialectics Based on Specialization and Generalization – A New Reasoning Method for Conflict Resolution -- Treatment of Legal Sentences Including Itemized and Referential Expressions – Towards Translation into Logical Forms -- Computing Argumentation Semantics in Answer Set Programming -- Laughter in Interaction and Body Movement -- LIBM 2008 - First International Workshop on Laughter in Interaction and Body Movement -- Laughter around the End of Storytelling in Multi-party Interaction -- Preliminary Notes on the Sequential Organization of Smile and Laughter -- Laughter for Defusing Tension: Examples from Business Meetings in Japanese and in English -- Robots Make Things Funnier -- Laughter: Its Basic Nature and Its Background of Equivocal Impression.
    Content: This book consists of award papers from the 22nd Annual Conference of the Japanese Society for Artificial Intelligence, held in Asahikawa, Japan, in June 2008 and selected papers from three co-located international workshops. The volume starts with 8 award winning papers of the JSAI 2008 main conference that were selected among more than 400 presentations. They are accompanied by 18 revised full workshop papers, carefully reviewed and selected from 34 presentations at the following three co-located international workshops: Logic and Engineering of Natural Language Semantics (LENLS 2008), the 2nd International Workshop on Juris-Informatics (JURISIN 2008), and the 1st International Workshop on Laughter in Interaction and Body Movement (LIBM 2008).
    Additional Edition: ISBN 9783642006081
    Additional Edition: Buchausg. u.d.T. New frontiers in artificial intelligence Berlin : Springer, 2009 ISBN 3642006086
    Additional Edition: ISBN 9783642006081
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Künstliche Intelligenz ; Anwendung ; Natürliche Sprache ; Semantik ; Logik ; Rechtsinformatik ; Mensch-Maschine-Kommunikation ; Bewegung ; Lachen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Wahlster, Wolfgang 1953-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages