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.
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 | |
