feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • UB Potsdam  (109)
  • SB Calau
  • BTU Cottbus
  • Technikmuseum Berlin
  • Polnisches Institut
  • Kammergericht
  • Kath. HS Sozialwesen
  • Inst. f. Musikforschung
  • VIZ Charlottenburg-Wilmersdorf
  • SB Bernau bei Berlin
  • SB Herzberg
  • TH Brandenburg
  • Zentrum f. Militärgeschichte
  • SB Senftenberg
  • SB Templin
  • SB Biesenthal
  • SB Golßen
  • SB Premnitz
  • KB Oder-Spree
  • Bibliothek Meyenburg
  • SB Wittenberge
  • 2005-2009  (109)
  • Sudan, Madhu  (109)
Medientyp
Sprache
Region
Bibliothek
  • UB Potsdam  (109)
  • SB Calau
  • BTU Cottbus
  • Technikmuseum Berlin
  • Polnisches Institut
  • +
Erscheinungszeitraum
  • 2005-2009  (109)
Jahr
Fachgebiete(RVK)
Zugriff
  • 1
    UID:
    gbv_1647744318
    Umfang: Online-Ressource (digital)
    ISBN: 9783642008672
    Serie: Lecture Notes in Computer Science 5454
    Inhalt: 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.
    Inhalt: 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.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783642008665
    Weitere Ausg.: Buchausg. u.d.T. Methods, models and tools for fault tolerance Berlin : Springer, 2009 ISBN 3642008666
    Weitere Ausg.: ISBN 9783642008665
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Fehlertoleranz ; Fehlertoleranz ; Aufsatzsammlung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Mehr zum Autor: Jones, Cliff B. 1944-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    gbv_1647675634
    Umfang: Online-Ressource (digital)
    ISBN: 9783540921912
    Serie: Lecture Notes in Computer Science 5151
    Inhalt: 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.
    Inhalt: 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.
    Weitere Ausg.: ISBN 9783540921905
    Weitere Ausg.: Buchausg. u.d.T. Bio-inspired computing and communication Berlin : Springer, 2008 ISBN 3540921907
    Weitere Ausg.: ISBN 9783540921905
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): 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
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    gbv_164739483X
    Umfang: Online-Ressource (digital)
    ISBN: 9783540851943
    Serie: Lecture Notes in Computer Science 5204
    Inhalt: Invited Papers -- Quantum Experiments Can Test Mathematical Undecidability -- Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids -- Predictions for the Future of Optimisation Research -- Immune Systems and Computation: An Interdisciplinary Adventure -- Regular Contributions -- Distributed Learning of Wardrop Equilibria -- Oracles and Advice as Measurements -- From Gene Regulation to Stochastic Fusion -- A Biologically Inspired Model with Fusion and Clonation of Membranes -- Computing Omega-Limit Sets in Linear Dynamical Systems -- The Expressiveness of Concentration Controlled P Systems -- On Faster Integer Calculations Using Non-arithmetic Primitives -- A Framework for Designing Novel Magnetic Tiles Capable of Complex Self-assemblies -- The Role of Conceptual Structure in Designing Cellular Automata to Perform Collective Computation -- A Characterisation of NL Using Membrane Systems without Charges and Dissolution -- Quantum Wireless Sensor Networks -- On the Computational Complexity of Spiking Neural P Systems -- Self-assembly of Decidable Sets -- Ultrafilter and Non-standard Turing Machines -- Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder -- Automata on Multisets of Communicating Objects.
    Inhalt: This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing, chaos and dynamical system-based computing, and various proposals for computations that go beyond the Turing model.
    Anmerkung: Includes bibliographical references and index
    Weitere Ausg.: ISBN 9783540851936
    Weitere Ausg.: Buchausg. u.d.T. Unconventional computation Berlin : Springer, 2008 ISBN 3540851933
    Weitere Ausg.: ISBN 9783540851936
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Theoretische Informatik ; Soft Computing ; Bioinformatik ; Zellularer Automat ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Mehr zum Autor: Calude, Cristian 1952-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    gbv_1647259266
    Umfang: Online-Ressource (digital)
    ISBN: 9783540705697
    Serie: Lecture Notes in Computer Science 5136
    Inhalt: EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System -- Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification Tool for Interactive Systems -- Systematic Analysis of Control Panel Interfaces Using Formal Tools -- Investigating System Navigation Ergonomics through Model Verification -- Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications -- Towards a Library of Workflow User Interface Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B -- Pattern Languages as Tool for Discount Usability Engineering -- Cascading Dialog Modeling with UsiXML -- Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors -- Lightweight Coding of Structurally Varying Dialogs -- ReWiRe: Designing Reactive Systems for Pervasive Environments -- Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces -- A Model-Based Approach to Supporting Configuration in Ubiquitous Systems -- Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications -- Resources for Situated Actions -- An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces -- COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware for Seamless Use of Multiple Displays -- Graphic Rendering Considered as a Compilation Chain -- Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations -- Towards Characterizing Visualizations -- Towards Usability Evaluation for Smart Appliance Ensembles -- Task Model Refinement with Meta Operators -- Utilizing Dynamic Executable Models for User Interface Development.
    Inhalt: This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.
    Weitere Ausg.: ISBN 9783540705680
    Weitere Ausg.: Buchausg. u.d.T. Interactive Systems - design, specification, and verification Berlin : Springer, 2008 ISBN 3540705686
    Weitere Ausg.: ISBN 9783540705680
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Mensch-Maschine-Kommunikation ; Benutzeroberfläche ; Benutzermodell ; Softwareentwicklung ; Multimodales System ; Benutzeroberfläche ; Benutzermodell ; Softwareentwicklung ; Mensch-Maschine-Kommunikation ; Echtzeitverarbeitung ; Benutzermodell ; Systementwurf ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    gbv_1647262062
    Umfang: Online-Ressource (digital)
    ISBN: 9783540709602
    Serie: Lecture Notes in Computer Science 5005
    Inhalt: An Extension of SPARQL for RDFS -- On RDF/S Ontology Evolution -- Relational Databases in RDF: Keys and Foreign Keys -- An Effective SPARQL Support over Relational Databases -- Implementing the COntext INterchange (COIN) Approach through Use of Semantic Web Tools -- On the Synthetic Generation of Semantic Web Schemas -- Ontology-Based Data Sharing in P2P Databases -- Maintaining Semantic Mappings between Database Schemas and Ontologies.
    Inhalt: This book constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007. The 7 revised full papers presented together with 1 invited paper were carefully selected from 11 submissions. Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, and query reformulation; and storing and indexing semantic Web data and schemas.
    Weitere Ausg.: ISBN 9783540709596
    Weitere Ausg.: Buchausg. u.d.T. Semantic web, ontologies and databases Berlin : Springer, 2008 ISBN 3540709592
    Weitere Ausg.: ISBN 9783540709596
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Datenbanksystem ; Ontologie ; Semantic Web ; Ontologie ; RDF ; Schema ; Abfrageverarbeitung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    gbv_1647386128
    Umfang: Online-Ressource (digital)
    ISBN: 9783540786108
    Serie: Lecture Notes in Computer Science 4943
    Inhalt: Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long Road to Production Reconfigurable Supercomputing -- The von Neumann Syndrome and the CS Education Dilemma -- Programming and Compilation -- Optimal Unroll Factor for Reconfigurable Architectures -- Programming Reconfigurable Decoupled Application Control Accelerator for Mobile Systems -- DNA and String Processing Applications -- DNA Physical Mapping on a Reconfigurable Platform -- Hardware BLAST Algorithms with Multi-seeds Detection and Parallel Extension -- Highly Space Efficient Counters for Perl Compatible Regular Expressions in FPGAs -- Scientific Applications -- A Custom Processor for a TDMA Solver in a CFD Application -- A High Throughput FPGA-Based Floating Point Conjugate Gradient Implementation -- Reconfigurable Computing Hardware and Systems -- Physical Design of FPGA Interconnect to Prevent Information Leakage -- Symmetric Multiprocessor Design for Hybrid CPU/FPGA SoCs -- Run-Time Adaptable Architectures for Heterogeneous Behavior Embedded Systems -- Image Processing -- FPGA-Based Real-Time Super-Resolution on an Adaptive Image Sensor -- A Parallel Hardware Architecture for Image Feature Detection -- Reconfigurable HW/SW Architecture of a Real-Time Driver Assistance System -- Run-Time Behavior -- A New Self-managing Hardware Design Approach for FPGA-Based Reconfigurable Systems -- A Preemption Algorithm for a Multitasking Environment on Dynamically Reconfigurable Processor -- Accelerating Speculative Execution in High-Level Synthesis with Cancel Tokens -- Instruction Set Extension -- ARISE Machines: Extending Processors with Hybrid Accelerators -- The Instruction-Set Extension Problem: A Survey -- Random Number Generation and Financial Computation -- An FPGA Run-Time Parameterisable Log-Normal Random Number Generator -- Multivariate Gaussian Random Number Generator Targeting Specific Resource Utilization in an FPGA -- Exploring Reconfigurable Architectures for Binomial-Tree Pricing Models -- Posters -- Hybrid-Mode Floating-Point FPGA CORDIC Co-processor -- Multiplier-Based Double Precision Floating Point Divider According to the IEEE-754 Standard -- Creating the World’s Largest Reconfigurable Supercomputing System Based on the Scalable SGI® Altix® 4700 System Infrastructure and Benchmarking Life-Science Applications -- Highly Efficient Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation of Instruction-Set Extensions for Reconfigurable Architectures -- PARO: Synthesis of Hardware Accelerators for Multi-dimensional Dataflow-Intensive Applications -- Stream Transfer Balancing Scheme Utilizing Multi-path Routing in Networks on Chip -- Efficiency of Dynamic Reconfigurable Datapath Extensions – A Case Study -- Online Hardware Task Scheduling and Placement Algorithm on Partially Reconfigurable Devices -- Data Reallocation by Exploiting FPGA Configuration Mechanisms -- A Networked, Lightweight and Partially Reconfigurable Platform -- Neuromolecularware – A Bio-inspired Evolvable Hardware and Its Application to Medical Diagnosis -- An FPGA Configuration Scheme for Bitstream Protection -- Lossless Compression for Space Imagery in a Dynamically Reconfigurable Architecture.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783540786092
    Weitere Ausg.: Erscheint auch als Druckausg Reconfigurable computing: architectures, tools and applications Berlin : Springer, 2008 ISBN 3540786090
    Weitere Ausg.: ISBN 9783540786092
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Computerarchitektur ; Rekonfiguration ; Field programmable gate array ; Rekonfiguration ; Computerarchitektur ; Rekonfiguration ; Field programmable gate array ; Rekonfiguration ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    UID:
    gbv_1647675839
    Umfang: Online-Ressource (digital)
    ISBN: 9783540926955
    Serie: Lecture Notes in Computer Science 5313
    Inhalt: 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.
    Inhalt: 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.
    Weitere Ausg.: ISBN 9783540926948
    Weitere Ausg.: Buchausg. u.d.T. Learning and intelligent optimization Berlin : Springer, 2008 ISBN 3540926941
    Weitere Ausg.: ISBN 9783540926948
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Maschinelles Lernen ; NP-hartes Problem ; Soft Computing ; Metaheuristik ; N-armiger Bandit ; Ameisenalgorithmus ; Lernendes System ; Organic Computing ; Optimierung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    UID:
    gbv_1647744296
    Umfang: Online-Ressource (digital)
    ISBN: 9783642005879
    Serie: Lecture Notes in Computer Science 5471
    Inhalt: 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.
    Inhalt: 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.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783642005862
    Weitere Ausg.: Buchausg. u.d.T. Trusted computing Berlin : Springer, 2009 ISBN 3642005861
    Weitere Ausg.: ISBN 9783642005862
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Trusted Computing ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    UID:
    gbv_1647898064
    Umfang: Online-Ressource (digital)
    ISBN: 9783642006098
    Serie: Lecture Notes in Computer Science 5447
    Inhalt: 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.
    Inhalt: 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).
    Weitere Ausg.: ISBN 9783642006081
    Weitere Ausg.: Buchausg. u.d.T. New frontiers in artificial intelligence Berlin : Springer, 2009 ISBN 3642006086
    Weitere Ausg.: ISBN 9783642006081
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Künstliche Intelligenz ; Anwendung ; Natürliche Sprache ; Semantik ; Logik ; Rechtsinformatik ; Mensch-Maschine-Kommunikation ; Bewegung ; Lachen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    UID:
    gbv_1647672201
    Umfang: Online-Ressource (digital)
    ISBN: 9783540708728
    Serie: Lecture Notes in Computer Science 5042
    Inhalt: - Static and Dynamic Processing of Faces, Facial Expressions, and Gaze -- Data Mining Spontaneous Facial Behavior with Automatic Expression Coding -- Ekfrasis: A Formal Language for Representing and Generating Sequences of Facial Patterns for Studying Emotional Behavior -- On the Relevance of Facial Expressions for Biometric Recognition -- Biometric Face Recognition with Different Training and Testing Databases -- Combining Features for Recognizing Emotional Facial Expressions in Static Images -- Mutually Coordinated Anticipatory Multimodal Interaction -- Affordances and Cognitive Walkthrough for Analyzing Human-Virtual Human Interaction -- - Emotional Speech Synthesis and Recognition: Applications to Telecommunication Systems -- Individual Traits of Speaking Style and Speech Rhythm in a Spoken Discourse -- The Organization of a Neurocomputational Control Model for Articulatory Speech Synthesis -- Automatic Speech Recognition Used for Intelligibility Assessment of Text-to-Speech Systems -- ECESS Platform for Web Based TTS Modules and Systems Evaluation -- Towards Slovak Broadcast News Automatic Recording and Transcribing Service -- Computational Stylometry: Who’s in a Play? -- The Acoustic Front-End in Scenarios of Interaction Research -- Application of Expressive Speech in TTS System with Cepstral Description -- Speech Emotion Perception by Human and Machine -- Expressive Speech Synthesis Using Emotion-Specific Speech Inventories -- Study on Speaker-Independent Emotion Recognition from Speech on Real-World Data -- Exploiting a Vowel Based Approach for Acted Emotion Recognition -- Towards Annotation of Nonverbal Vocal Gestures in Slovak -- The CineLingua Approach: Verbal and Non-verbal Features in Second Language Acquisition. Film Narrative to Anchor Comprehension and Production.
    Inhalt: This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007 The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition.
    Weitere Ausg.: ISBN 9783540708711
    Weitere Ausg.: Buchausg. u.d.T. Verbal and nonverbal features of human-human and human-machine interaction Berlin : Springer, 2008 ISBN 3540708715
    Weitere Ausg.: ISBN 9783540708711
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Multimodales System ; Nichtverbale Kommunikation ; Mündliche Kommunikation ; Gefühl ; Identifikation ; Sprachproduktion ; Gefühl ; Automatische Spracherkennung ; Telekommunikation ; Gesicht ; Mimik ; Blick ; Mustererkennung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Pandu Rangan, C. 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz