feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • UB Potsdam  (99)
  • SB Biesenthal
  • Kleinberg, Jon  (99)
Type of Medium
Language
Region
Years
Access
  • 1
    UID:
    gbv_176162976X
    Format: Online-Ressource (xv, 727 Seiten) , digital, PDF file(s).
    ISBN: 9780511761942
    Content: Are all film stars linked to Kevin Bacon? Why do the stock markets rise and fall sharply on the strength of a vague rumour? How does gossip spread so quickly? Are we all related through six degrees of separation? There is a growing awareness of the complex networks that pervade modern society. We see them in the rapid growth of the Internet, the ease of global communication, the swift spread of news and information, and in the way epidemics and financial crises develop with startling speed and intensity. This introductory book on the new science of networks takes an interdisciplinary approach, using economics, sociology, computing, information science and applied mathematics to address fundamental questions about the links that connect us, and the ways that our decisions can have consequences for others.
    Note: Title from publisher's bibliographic system (viewed on 18 Jul 2016)
    Additional Edition: ISBN 9780521195331
    Additional Edition: Erscheint auch als Druck-Ausgabe Easley, David Networks, crowds, and markets Cambridge [u.a.] : Cambridge University Press, 2010 ISBN 9780521195331
    Additional Edition: Erscheint auch als Druck-Ausgabe Easley, David Networks, crowds, and markets Cambridge [u.a.] : Cambridge University Press, 2010 ISBN 9780521195331
    Language: English
    Subjects: Economics , Mathematics , Sociology
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Informationsgesellschaft ; Mathematisches Modell ; Soziales Netzwerk
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    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 ...
  • 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_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 ...
  • 5
    UID:
    gbv_1647257875
    Format: Online-Ressource (digital)
    ISBN: 9783540705178
    Series Statement: Lecture Notes in Computer Science 5098
    Content: Inverse Kinematics Using Sequential Monte Carlo Methods -- Estimation of Dense, Non-rigid Motion Fields from a Multi-camera Array Using a Hierarchical Mixture Model -- Learning to Look at Humans — What Are the Parts of a Moving Body? -- Continuous Hand Gesture Recognition in the Learned Hierarchical Latent Variable Space -- Real-Time 3D Body Pose Tracking from Multiple 2D Images -- Applying Space State Models in Human Action Recognition: A Comparative Study -- Bone Glow: An Improved Method for the Assignment of Weights for Mesh Deformation -- Analysis of Human Motion, Based on the Reduction of Multidimensional Captured Data – Application to Hand Gesture Compression, Segmentation and Synthesis -- Exploiting Structural Hierarchy in Articulated Objects Towards Robust Motion Capture -- Estimating Human Skeleton Parameters and Configuration in Real-Time from Markered Optical Motion Capture -- Dealing with Self-occlusion in Region Based Motion Capture by Means of Internal Regions -- Model-Based Analysis and Synthesis of Time-Varying Mesh -- Mesh Vertex Pose and Position Interpolation Using Geometric Algebra -- An Audiovisual Talking Head for Augmented Speech Generation: Models and Animations Based on a Real Speaker’s Articulatory Data -- Towards Efficiency in Cloth Simulation -- 2D Articulated Body Tracking with Self-occultations Handling -- A Two-Step Approach for Detecting Individuals within Dense Crowds -- 3D Modeling for Deformable Objects -- Active-Vision System Reconfiguration for Form Recognition in the Presence of Dynamic Obstacles -- View-Invariant Human Action Detection Using Component-Wise HMM of Body Parts -- A Generative Model for Motion Synthesis and Blending Using Probability Density Estimation -- Gestural Interaction Using Feature Classification -- Predicting Missing Markers to Drive Real-Time Centre of Rotation Estimation -- Accurate Human Motion Capture Using an Ergonomics-Based Anthropometric Human Model -- A Deformable Surface Model with Volume Preserving Springs -- Temporal Nearest End-Effectors for Real-Time Full-Body Human Actions Recognition -- Fusing Edge Cues to Handle Colour Problems in Image Segmentation -- Body-Part Templates for Recovery of 2D Human Poses under Occlusion -- Autonomous Virtual Agents for Performance Evaluation of Tracking Algorithms -- A Manipulable Vision-Based 3D Input Device for Space Curves -- A Comparative Study on Using Zernike Velocity Moments and Hidden Markov Models for Hand Gesture Recognition -- Deformable Volumetric Simplex Meshes -- Analytical Simulation of B-Spline Surfaces Deformation -- Apperance-Based Tracking and Face Identification in Video Sequences -- Interactive Constrained Deformations of NURBS Surfaces: N-SCODEF -- A 3D Shape Descriptor for Human Pose Recovery -- Fast Detection and Modeling of Human-Body Parts from Monocular Video -- Kinetic Pseudo-energy History for Human Dynamic Gestures Recognition -- An Improved Algorithm for Estimating the ICA Model Concerning the Convergence Rate -- Automatic Adjustment of Rigs to Extracted Skeletons -- Real-Time Recognition of Human Gestures for 3D Interaction -- Effective Emotional Classification Combining Facial Classifiers and User Assessment -- Online and Offline Fingerprint Template Update Using Minutiae: An Experimental Comparison -- Users with Disabilities: Maximum Control with Minimum Effort.
    Content: This book constitutes the refereed proceedings of the 5th International Conference on Articulated Motion and Deformable Objects, AMDO 2008, held in Port d'Andratx, Mallorca, Spain, in July 2008. The 36 revised full papers and 7 poster papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on computer graphics: human modelling and animation, human motion: analysis, tracking, 3D reconstruction and recognition, multimodal user interaction: VR and ar, speech, biometrics, and advanced multimedia systems: standards, indexed video contents.
    Additional Edition: ISBN 9783540705161
    Additional Edition: Buchausg. u.d.T. Articulated motion and deformable objects Berlin : Springer, 2008 ISBN 3540705163
    Additional Edition: ISBN 9783540705161
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Deformierbares Objekt ; Mensch ; Dreidimensionale Rekonstruktion ; Computeranimation ; Deformierbares Objekt ; Mensch ; Bewegungsanalyse ; Dreidimensionale Rekonstruktion ; Videobearbeitung ; Deformierbares Objekt ; Objekterkennung ; Szenenanalyse ; Erweiterte Realität ; Multimodales System ; Automatische Sprachproduktion ; Dreidimensionale Rekonstruktion ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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 ...
  • 6
    UID:
    gbv_1647259886
    Format: Online-Ressource (digital)
    ISBN: 9783540705871
    Series Statement: Lecture Notes in Computer Science 5127
    Content: Autonomy, Incentives and Trust -- A Role-Based Infrastructure for the Management of Dynamic Communities -- PSH: A Private and Shared History-Based Incentive Mechanism -- Cooperation under Scarcity: The Sharer’s Dilemma -- Overlays and Virtualization -- A Distributed Certification System for Structured P2P Networks -- N2N: A Layer Two Peer-to-Peer VPN -- Secure Sharing of an ICT Infrastructure through Vinci -- Load Balancing and Fault Recovery -- Statistical Behaviors of Distributed Transition Planning -- Service Load Balancing with Autonomic Servers: Reversing the Decision Making Process -- An Architecture for Supporting Network Fault Recovery Management -- Network Traffic Engineering and Analysis -- RLTE: Reinforcement Learning for Traffic-Engineering -- SNMP Trace Analysis Definitions -- Convergent Behavior -- Dynamic Consistency Analysis for Convergent Operators -- A Theory of Closure Operators -- PhD Workshop -- Entwined Influences of Users’ Behaviour and QoS: A Multi-model Approach -- Business-Driven Management of Policies in DiffServ Networks -- Token-Based Payment in Dynamic SAML-Based Federations -- Conceptual Integration of Flow-Based and Packet-Based Network Intrusion Detection -- Towards Resilient Community Wireless Mesh Networks -- Resource Management of Disruption Tolerant Networks -- Design of an IP Flow Record Query Language -- Enabling Next Generation Peer-to-Peer Services.
    Content: This book constitutes the refereed proceedings of the Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, held in Bremen, Germany, in June 2008, under the auspices of IFIP. The 13 revised full papers presented together with 8 papers of the AIMS PhD workshop were carefully reviewed and selected from 33 submissions to the main conference and 12 papers for the PhD workshop respectively. The papers are discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault recovery, network traffic engineering and analysis, and convergent behavior of distributed systems.
    Additional Edition: ISBN 9783540705864
    Additional Edition: Buchausg. u.d.T. Resilient networks and services Berlin : Springer, 2008 ISBN 3540705864
    Additional Edition: ISBN 9783540705864
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Netzwerkverwaltung ; Netzwerktopologie ; Autonomic Computing ; Trusted Computing ; Fehlertoleranz ; Rechnernetz ; Dienstgüte ; Rechnernetz ; Traffic Engineering ; Netzwerkverwaltung ; Netzwerktopologie ; Autonomic Computing ; Trusted Computing ; Fehlertoleranz ; Rechnernetz ; Dienstgüte ; Rechnernetz ; Traffic Engineering ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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_1647256852
    Format: Online-Ressource (digital)
    ISBN: 9783540694786
    Series Statement: Lecture Notes in Computer Science 5066
    Content: Interactive TV -- Interactive Television - A Brief Media History -- Interactive Narratives: Exploring the Links between Empathy, Interactivity and Structure -- The Rise and Fall of Juan Perez: Key Pressing Behaviour and Children’s Responses to Interactive Television -- Interactive Authoring -- From Time-Shift to Shape-Shift: Towards Nonlinear Production and Consumption of News -- ShapeShifting Documentary: A Golden Age -- HyLive: Hypervideo-Authoring for Live Television -- Composer: Authoring Tool for iTV Programs -- Ubiquitous Interactive Video Editing Via Multimodal Annotations -- Personalisation and Recommender Systems -- Unobtrusive Dynamic Modelling of TV Program Preferences in a Household -- An Ethnographic Study on Recommendations in the Living Room: Implications for the Design of iTV Recommender Systems -- Recommender System for the Multi-channel TV Production -- A New Approach for a Lightweight Multidimensional TV Content Taxonomy: TV Content Fingerprinting -- Modeling Moods in BBC Programs Based on Emotional Context -- Predicting Future User Behaviour in Interactive Live TV -- Mobile TV -- Does Mobile Television Challenge the Dimension of Viewing Television? An Explorative Research on Time, Place and Social Context of the Use of Mobile Television Content -- Relax or Study?: A Qualitative User Study on the Usage of Mobile TV and Video -- Live Dublin – Mobile Phone Live Video Group Communication Experiment -- A Lightweight Mobile TV Recommender -- Social TV -- Local Communities: Back to Life (Live) Through IPTV -- PresenceRemote: Embracing Ambiguity in the Design of Social TV for Senior Citizens -- Investigating the Use of Voice and Text Chat in a Social Television System -- New TV Environments -- Usages of the Secondary Screen in an Interactive Television Environment: Control, Enrich, Share, and Transfer Television Content -- An Experimental Platform Based on MCE for Interactive TV -- Interactive Coffee Tables: Interfacing TV within an Intuitive, Fun and Shared Experience -- YouTube3D: Accessing Web Video Streams through a 3D Interface -- iTV Architectures and Systems -- ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks -- Prototyping Interactive and Personalized IPTV-Services on Top of Open IMS Infrastructures -- A Software Component for Content Management and Delivery to Mobile Phones and Digital Television -- Development of a Generic XML Personality Metadata Handler for Distributed Entertainment Services -- EMTV – A Component-Based DTV Middleware Extension for Educational Purposes -- DVB Service Security—A Problem in Development of Multi-service Television -- User Interfaces and Interaction Design -- Where Have You Ended Up Today? Dynamic TV and the Inter-tainment Paradigm -- Media Space Navigator: Navigating Video Content on IPTV Portals -- An Adaptive Cartography of DTV Programs -- Electronic Programme Guide Design for Preschool Children -- Interaction Design in Television Voting: A Usability Study on Music TV and Input Devices -- User Studies -- What You Expect Is What You See -- ’I Want My HDTV’? Underlying Factors of Perceived Usefulness for High Definition Television -- Prospecting the Appropriation of the Digital TV in a Brazilian Project -- Usability & User Experience: Preliminary Results from Evaluating an IPTV Community Platform -- Accessibility -- iTV as a Platform for Rich Multimedia Reminders for People with Dementia -- A Comparative Study of Remote Controls for Digital TV Receivers.
    Content: This book constitutes the refereed proceedings of the 6th European Conference on Interactive Television, EuroITV 2008, held in Salzburg, Austria, in July 2008. The 42 revised full papers were carefully reviewed and selected from 156 submissions. The contributions cover significant aspects of the interactive television domain including submissions on user studies, technical challenges related to new developments as well as new kind of formats. The papers are organized in topical sections on interactive TV, interactive authoring, personalisation and recommender systems, mobile TV, social TV, new TV environments, iTV architectures and systems, user interfaces and interaction design, user studies, and accessibility.
    Additional Edition: ISBN 9783540694779
    Additional Edition: Buchausg. u.d.T. Changing television environments Berlin : Springer, 2008 ISBN 3540694773
    Additional Edition: ISBN 9783540694779
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Interaktives Fernsehen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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 ...
  • 8
    UID:
    gbv_1647392195
    Format: Online-Ressource (digital)
    ISBN: 9783540850533
    Series Statement: Lecture Notes in Computer Science 5154
    Content: Side-Channel Analysis 1 -- Attack and Improvement of a Secure S-Box Calculation Based on the Fourier Transform -- Collision-Based Power Analysis of Modular Exponentiation Using Chosen-Message Pairs -- Multiple-Differential Side-Channel Collision Attacks on AES -- Implementations 1 -- Time-Area Optimized Public-Key Engines: -Cryptosystems as Replacement for Elliptic Curves? -- Ultra High Performance ECC over NIST Primes on Commercial FPGAs -- Exploiting the Power of GPUs for Asymmetric Cryptography -- Fault Analysis 1 -- High-Performance Concurrent Error Detection Scheme for AES Hardware -- A Lightweight Concurrent Fault Detection Scheme for the AES S-Boxes Using Normal Basis -- RSA with CRT: A New Cost-Effective Solution to Thwart Fault Attacks -- Random Number Generation -- A Design for a Physical RNG with Robust Entropy Estimators -- Fast Digital TRNG Based on Metastable Ring Oscillator -- Efficient Helper Data Key Extractor on FPGAs -- Side-Channel Analysis 2 -- The Carry Leakage on the Randomized Exponent Countermeasure -- Recovering Secret Keys from Weak Side Channel Traces of Differing Lengths -- Attacking State-of-the-Art Software Countermeasures—A Case Study for AES -- Cryptography and Cryptanalysis -- Binary Edwards Curves -- A Real-World Attack Breaking A5/1 within Hours -- Hash Functions and RFID Tags: Mind the Gap -- Implementations 2 -- A New Bit-Serial Architecture for Field Multiplication Using Polynomial Bases -- A Very Compact Hardware Implementation of the MISTY1 Block Cipher -- Light-Weight Instruction Set Extensions for Bit-Sliced Cryptography -- Fault Analysis 2 -- Power and Fault Analysis Resistance in Hardware through Dynamic Reconfiguration -- RFID and Its Vulnerability to Faults -- Perturbating RSA Public Keys: An Improved Attack -- Side-Channel Analysis 3 -- Divided Backend Duplication Methodology for Balanced Dual Rail Routing -- Using Subspace-Based Template Attacks to Compare and Combine Power and Electromagnetic Information Leakages -- Mutual Information Analysis -- Invited Talks -- RSA—Past, Present, Future -- A Vision for Platform Security.
    Content: This book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded Systems, CHES 2008, held in Washington, D.C., USA, during August 10-13, 2008. The book contains 2 invited talks and 27 revised full papers which were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on side channel analysis, implementations, fault analysis, random number generation, and cryptography and cryptanalysis.
    Additional Edition: ISBN 9783540850526
    Additional Edition: Buchausg. u.d.T. Cryptographic hardware and embedded systems - CHES 2008 Berlin : Springer, 2008 ISBN 354085052X
    Additional Edition: ISBN 9783540850526
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Eingebettetes System ; Hardwareentwurf ; Kryptologie ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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 ...
  • 9
    UID:
    gbv_1647396603
    Format: Online-Ressource (digital)
    ISBN: 9783540853619
    Series Statement: Lecture Notes in Computer Science 5201
    Content: Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service Choreography and Orchestration with Conversations -- Knowledge and Information in Probabilistic Systems -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic Separation for Transactional Memory -- Completeness and Nondeterminism in Model Checking Transactional Memories -- Semantics of Deterministic Shared-Memory Systems -- A Scalable and Oblivious Atomicity Assertion -- R-Automata -- Distributed Timed Automata with Independently Evolving Clocks -- A Context-Free Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract-Directed Synthesis of Simple Orchestrators -- Environment Assumptions for Synthesis -- Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning -- SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs -- Subsequence Invariants -- Invariants for Parameterised Boolean Equation Systems -- Unfolding-Based Diagnosis of Systems with an Evolving Topology -- On the Construction of Sorted Reactive Systems -- Dynamic Partial Order Reduction Using Probe Sets -- A Space-Efficient Probabilistic Simulation Algorithm -- Least Upper Bounds for Probability Measures and Their Applications to Abstractions -- Abstraction for Stochastic Systems by Erlang’s Method of Stages -- On the Minimisation of Acyclic Models -- Quasi-Static Scheduling of Communicating Tasks -- Strategy Construction for Parity Games with Imperfect Information -- Mixing Lossy and Perfect Fifo Channels -- On the Reachability Analysis of Acyclic Networks of Pushdown Systems -- Spatial and Behavioral Types in the Pi-Calculus -- A Spatial Equational Logic for the Applied ?-Calculus -- Structured Interactional Exceptions in Session Types -- Global Progress in Dynamically Interleaved Multiparty Sessions -- Normed BPA vs. Normed BPP Revisited -- A Rule Format for Associativity -- Deriving Structural Labelled Transitions for Mobile Ambients -- Termination Problems in Chemical Kinetics -- Towards a Unified Approach to Encodability and Separation Results for Process Calculi -- A Notion of Glue Expressiveness for Component-Based Systems.
    Content: This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
    Additional Edition: ISBN 9783540853602
    Additional Edition: Buchausg. u.d.T. CONCUR 2008 - concurrency theory Berlin : Springer, 2008 ISBN 354085360X
    Additional Edition: ISBN 9783540853602
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Nebenläufigkeit ; Nebenläufigkeit ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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 ...
  • 10
    UID:
    gbv_1647396476
    Format: Online-Ressource (digital)
    ISBN: 9783540853039
    Series Statement: Lecture Notes in Computer Science 5158
    Content: Trends and Challenges -- Computational Forensics: An Overview -- Computational Methods for Determining Individuality -- Scanner, Printer, and Prints -- Survey of Scanner and Printer Forensics at Purdue University -- Evaluation of Graylevel-Features for Printing Technique Classification in High-Throughput Document Management Systems -- Document Signature Using Intrinsic Features for Counterfeit Detection -- Human Identification -- Automatic Feature Extraction from 3D Range Images of Skulls -- 3D Processing and Visualization of Scanned Forensic Data -- Person Identification Based on Barefoot 3D Sole Shape -- Shoeprints -- Computerized Matching of Shoeprints Based on Sole Pattern -- Shoe-Print Extraction from Latent Images Using CRF -- Linguistics -- Finding Identity Group “Fingerprints” in Documents -- Supporting Law Enforcement in Digital Communities through Natural Language Analysis -- An Intelligent System for Semantic Information Retrieval Information from Textual Web Documents -- Decision Making and Search -- Support of Interviewing Techniques in Physical Access Control Systems -- Application of q-Gram Distance in Digital Forensic Search -- Speech Analysis -- Similarity Visualization for the Grouping of Forensic Speech Recordings -- Handwritten Signature and Speech: Preliminary Experiments on Multiple Source and Classifiers for Personal Identity Verification -- Signatures and Handwriting -- Signature Verification Using a Bayesian Approach -- Stroke-Morphology Analysis Using Super-Imposed Writing Movements -- Invariants Discretization for Individuality Representation in Handwritten Authorship.
    Content: This book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, August 2008. The 19 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on trends and challenges; scanner, printer, and prints; human identification; shoeprints; linguistics;decision making and search; speech analysis; signatures and handwriting.
    Additional Edition: ISBN 9783540853022
    Additional Edition: Buchausg. u.d.T. Computational forensics Berlin : Springer, 2008 ISBN 3540853022
    Additional Edition: ISBN 9783540853022
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Computerforensik ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages