top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Digital Libraries: Providing Quality Information [electronic resource] : 17th International Conference on Asia-Pacific Digital Libraries, ICADL 2015, Seoul, Korea, December 9-12, 2015. Proceedings / edited by Robert B. Allen, Jane Hunter, Marcia L. Zeng
Digital Libraries: Providing Quality Information [electronic resource] : 17th International Conference on Asia-Pacific Digital Libraries, ICADL 2015, Seoul, Korea, December 9-12, 2015. Proceedings / edited by Robert B. Allen, Jane Hunter, Marcia L. Zeng
Edizione [1st ed. 2015.]
Estensione 1 online resource (XIV, 362 p. 88 illus. in color.) online resource.
Disciplina 025.04
Accesso persona Allen, Robert B.
Hunter, Jane
Zeng, Marcia L.
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319279749
9783319279732
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Digital preservation -- Gamication -- Text mining -- Citizen science -- Data citation -- Linked data -- Cloud computing. .
Record Nr. DUKE-007680144
Materiale a stampa
Lo trovi qui: Duke University
Electronic Government and the Information Systems Perspective [electronic resource] : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by Andrea Kő, Enrico Francesconi
Electronic Government and the Information Systems Perspective [electronic resource] : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by Andrea Kő, Enrico Francesconi
Estensione 1 online resource (XIX, 319 p. 78 illus.) online resource.
Disciplina 004
Accesso persona Kő, Andrea
Francesconi, Enrico
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319441597
9783319441580
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto E-Government Cases – Legal Issues -- E-Government Cases – Technical Issues -- Open Data and Transparency -- Knowledge Representation and Modeling in E-Government -- Intelligent Systems in E-Government -- E-Government Research and Intelligent Systems -- E-Government Data and Knowledge Management -- Identity Management in E-Government.
Record Nr. DUKE-007680179
Materiale a stampa
Lo trovi qui: Duke University
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Don Harris
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Don Harris
Estensione 1 online resource (XVII, 496 p. 176 illus.) online resource.
Disciplina 006.3
Accesso persona Harris, Don.
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319400303
9783319400297
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Mental workload and performance -- Interaction and cognition -- Team cognition -- Cognition in complex and high risk environments -- Cognition in aviation.
Record Nr. DUKE-007680192
Materiale a stampa
Lo trovi qui: Duke University
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos
Estensione 1 online resource (X, 269 p. 64 illus.) online resource.
Disciplina 004.6
Accesso persona Caballero, Juan
Bodden, Eric
Athanasopoulos, Elias
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319308067
9783319308050
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Security Testing beyond Functional Tests -- Progress-Sensitive Security for SPARK -- Sound and Precise Cross-Layer Data Flow Tracking -- Automatically Extracting Threats from Extended Data Flow Diagrams -- On the Static Analysis of Hybrid Mobile Apps -- Semantics-based Repackaging Detection for Mobile Apps -- Accelerometer-based Device Fingerprinting for Multi-factor Mobile Authentication -- POODLEs, More POODLEs, FREAK Attacks too: How Server Administrators Responded to Three Serious Web Vulnerabilities -- PADS: a platform to detect stealth attacks -- Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality -- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing -- On the Security Cost of Using a Free and Open Source Component in a Proprietary Product -- Idea: Usable Platforms for Secure Programming { Mining Unix for Insight and Guidelines -- AppPAL for Android: Capturing and Checking Mobile App Policies -- Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language -- Idea: Supporting Policy-Based Access Control on Database Systems -- Idea: Enforcing Security Properties by Solving Behavioural Equations.
Record Nr. DUKE-007680193
Materiale a stampa
Lo trovi qui: Duke University
Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Edizione [1st ed. 2015.]
Estensione 1 online resource (X, 319 p. 15 illus.) online resource.
Disciplina 005.11
Accesso persona Beklemishev, Lev Dmitrievich, 1967-
Blass, Andreas, 1947-
Dershowitz, Nachum
Finkbeiner, Bernd
Schulte, Wolfram
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319235349
9783319235332
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-007680234
Materiale a stampa
Lo trovi qui: Duke University
Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Bart Jacobs, Christof Löding
Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Bart Jacobs, Christof Löding
Edizione [1st ed. 2016.]
Estensione 1 online resource (XI, 550 p. 78 illus.) online resource.
Disciplina 005.1015113
Accesso persona Jacobs, Bart
Löding, Christof
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783662496305
9783662496299
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Types -- Comprehensive parametric polymorphism: categorical models and type theory -- Guarded Dependent Type Theory with Coinductive Types -- Dependent Types and Fibred Computational Effects -- Game Semantics for Bounded Polymorphism -- Recursion and Fixed-Points Join Inverse Categories as Models of Reversible Recursion -- A Coalgebraic View of Bar Recursion and Bar Induction -- A New Foundation for Finitary Corecursion -- Fixed-point elimination in the Intuitionistic Propositional Calculus -- Verification and Program Analysis. A Theory of Monitors -- Contextual approximation and higher-order procedures -- A Theory of Slicing for Probabilistic Control Flow Graphs -- Verification of parameterized communicating automata via split-width -- Automata, Logic, Games - Robust Equilibria in Mean-Payoff Games -- Quantifier Alternation for Infinite Words.-Synchronizing automata over nested words -- On Freeze LTL with Ordered Attributes -- Regular transformations of data words through origin information -- Probabilistic and Timed Systems - Trace Refinement in Labelled Markov Decision Processes -- Qualitative Analysis of VASS-Induced MDPs -- Metric Temporal Logic with Counting -- Distributed Synthesis in Continuous Time -- Proof Theory and Lambda Calculus Unary Resolution: Characterizing Ptime -- Focused and Synthetic Nested Sequents -- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms -- Reasoning about call-by-need by means of types -- Algorithms for Infinite Systems Coverability Trees for Petri Nets with Unordered Data -- Shortest paths in one-counter systems -- The Invariance Problem for Matrix Semigroups -- Order-Sorted Rewriting and Congruence Closure -- Monads -- Towards a formal theory of graded monads -- Profinite Monads, Profinite Equations, and Reiterman’s Theorem.
Record Nr. DUKE-007680267
Materiale a stampa
Lo trovi qui: Duke University
Games and Learning Alliance [electronic resource] : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers / edited by Alessandro De Gloria, Remco Veltkamp
Games and Learning Alliance [electronic resource] : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers / edited by Alessandro De Gloria, Remco Veltkamp
Estensione 1 online resource (XVI, 575 p. 181 illus.) online resource.
Disciplina 004.16
Accesso persona De Gloria, Alessandro
Veltkamp, Remco
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319402161
9783319402154
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Games for health -- Games for mobility -- Pervasive gaming -- Urban mobility. .
Record Nr. DUKE-007680286
Materiale a stampa
Lo trovi qui: Duke University
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Edizione [1st ed. 2015.]
Estensione 1 online resource (VII, 155 p. 48 illus.) online resource.
Disciplina 006.3
Accesso persona Croitoru, Madalina
Marquis, Pierre
Rudolph, Sebastian
Stapleton, Gem.
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319287027
9783319287010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Designing a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation.
Record Nr. DUKE-007680305
Materiale a stampa
Lo trovi qui: Duke University
Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / edited by Rachid Echahed, Mark Minas
Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / edited by Rachid Echahed, Mark Minas
Estensione 1 online resource (XVIII, 253 p. 109 illus.) online resource.
Disciplina 004.0151
Accesso persona Echahed, Rachid
Minas, Mark
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319405308
9783319405292
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering -- Foundations -- Sesqui-Pushout Rewriting with Type Refinements -- Parallelism in AGREE Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model Transformation Rules -- Compiling Graph Programs to C -- An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.-Queries -- Rete Network Slicing for Model Queries -- An SQL-Based Query Language and Engine for Graph Pattern Matching -- On the Operationalization of Graph Queries with Generalized Discrimination Networks -- Applications -- The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework -- Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions -- Using Graph Transformation for Puzzle Game Level Generation and Validation -- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. .
Record Nr. DUKE-007680308
Materiale a stampa
Lo trovi qui: Duke University
Human Aspects of Information Security, Privacy, and Trust [electronic resource] : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Theo Tryfonas
Human Aspects of Information Security, Privacy, and Trust [electronic resource] : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Theo Tryfonas
Estensione 1 online resource (XV, 289 p. 83 illus.) online resource.
Disciplina 005.743
Accesso persona Tryfonas, Theodore
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319393810
9783319393803
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto User Identification Using Games -- Hermes: Hands-Free Authentication in Physical Spaces -- Implicit Authentication for Mobile Devices Using Typing Behavior -- Fraud Protection for Online Banking - A User-Centered Approach on Detecting Typical Double-Dealings due to Social Engineering and Inobservance whilst Operating with Personal Login Credentials -- Vibration Based Tangible Tokens for Intuitive Pairing among Smart Devices -- Anonymous Authentication with a Bi-directional Identity Federation in the Cloud -- An Integration of Usable Security and User Authentication into the ISO 9241-210 and ISO/IEC 25010:2011 -- Secure Communication Protocol between a Human and a Bank Server for Preventing Man-in-the-Browser Attacks -- Proposed Privacy Patterns for Privacy Preserving Healthcare Systems in Accord with Nova Scotia’s Personal Health Information Act -- Information Security Application Design: Understanding Your Users -- Responsibility Modelling and Its Application Trust Management -- Security by Compliance? A Study of Insider Threat Implications for Nigerian Banks -- Current Trend of End-users’ Behaviors towards Security Mechanisms -- Share to Protect - Quantitative Study on Privacy Issues in V2X-Technology -- The Impact of Security Cues on User Perceived Security in E-Commerce -- Mass Surveillance in Cyberspace and the Lost Art of Keeping a Secret: Policy Lessons for Government after the Snowden Leaks -- Optional Data Disclosure and the Online Privacy Paradox: A UK Perspective -- Assessing the Feasibility of Adaptive Security Models for the Internet of Things -- OpenStack Firewall as a Service Rule Analyser -- Interactive Discovery and Retrieval of Web Resources Containing Home Made Explosive Recipes -- Attack Tree Analysis for Insider Threats on the IoT Using Isabelle -- The State of Near-Field Communication (NFC) on the Android platform -- Towards a Usable Framework for Modelling Security and Privacy Risks in the Smart Home -- A Taxonomy to Classify Risk End-user Profile in Interaction with the Computing Environment -- Security Middleware Programming Using P4.
Record Nr. DUKE-007680342
Materiale a stampa
Lo trovi qui: Duke University