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.
Provenance and annotation of data and processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised selected papers / Paul Groth, James Frew (eds.).
Provenance and annotation of data and processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised selected papers / Paul Groth, James Frew (eds.).
Creatore [International Provenance and Annotation Workshop (4th : 2012 : Santa Barbara, Calif.)]
Estensione 1 online resource.
Disciplina 005.74
Accesso persona Groth, Paul
Frew, James
Genere/Forma Electronic books
Soggetto non controllato Computer science
Database management
Information storage and retrieval systems
Artificial intelligence
Information Systems
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems
Computers and Society
ISBN 9783642342226 (electronic bk.)
3642342221 (electronic bk.)
9783642342219
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SourceTrac: Tracing Data Sources within Spreadsheets / Hazeline U. Asuncion -- Towards Integrating Workflow and Database Provenance / Fernando Chirigati and Juliana Freire -- DEEP: A Provenance-Aware Executable Document System / Huanjia Yang, Danius T. Michaelides, Chris Charlton, William J. Browne and Luc Moreau -- Towards Unified Provenance Granularities / Timothy Lebo, Ping Wang, Alvaro Graves and Deborah L. McGuinness -- Functional Requirements for Information Resource Provenance on the Web / James P. McCusker, Timothy Lebo, Alvaro Graves, Dominic Difranzo and Paulo Pinheiro, et al. -- A PROV Encoding for Provenance Analysis Using Deductive Rules / Paolo Missier and Khalid Belhajjame -- Declarative Rules for Inferring Fine-Grained Data Provenance from Scientific Workflow Execution Traces / Shawn Bowers, Timothy McPhillips and Bertram Ludäscher -- Automatic Discovery of High-Level Provenance Using Semantic Similarity / Tom De Nies, Sam Coppens, Davy Van Deursen, Erik Mannens and Rik Van de Walle --
Transparent Provenance Derivation for User Decisions / Ingrid Nunes, Yuhui Chen, Simon Miles, Michael Luck and Carlos Lucena -- Detecting Duplicate Records in Scientific Workflow Results / Khalid Belhajjame, Paolo Missier and Carole A. Goble -- The Xeros Data Model: Tracking Interpretations of Archaeological Finds / Michael O. Jewell, Enrico Costanza, Tom Frankland, Graeme Earl and Luc Moreau -- Using Domain-Specific Data to Enhance Scientific Workflow Steering Queries / João Carlos de A.R. Gonçalves, Daniel de Oliveira, Kary A. C. S. Ocaña, Eduardo Ogasawara and Marta Mattoso -- Network Analysis on Provenance Graphs from a Crowdsourcing Application / Mark Ebden, Trung Dong Huynh, Luc Moreau, Sarvapali Ramchurn and Stephen Roberts -- Modelling Provenance Using Structured Occurrence Networks / Paolo Missier, Brian Randell and Maciej Koutny -- DEMO: ourSpaces - A Provenance Enabled Virtual Research Environment / Peter Edwards, Chris Mellish, Edoardo Pignotti, Kapila Ponnamperuma and Thomas Bouttaz, et al. --
SOLE: Linking Research Papers with Science Objects / Quan Pham, Tanu Malik, Ian Foster, Roberto Di Lauro and Raffaele Montella -- DEMO: Managing the Provenance of Crowdsourced Disruption Reports / Milan Markovic, Peter Edwards, David Corsar and Jeff Z. Pan -- Designing a Provenance-Based Climate Data Analysis Application / Emanuele Santos, David Koop, Thomas Maxwell, Charles Doutriaux and Tommy Ellqvist, et al. -- Quality Assessment, Provenance, and the Web of Linked Sensor Data / Chris Baillie, Peter Edwards and Edoardo Pignotti -- Integrating Text and Graphics to Present Provenance Information / Thomas Bouttaz, Alan Eckhardt, Chris Mellish and Peter Edwards -- Exploring Provenance in a Linked Data Ecosystem / David Corsar, Peter Edwards, Nagendra Velaga, John Nelson and Jeff Z. Pan -- Enabling Re-executions of Parallel Scientific Workflows Using Runtime Provenance Data / Flávio Costa, Daniel de Oliveira, Kary A. C. S. Ocaña, Eduardo Ogasawara and Marta Mattoso -- Access Control for OPM Provenance Graphs / Roxana Danger, Robin Campbell Joy, John Darlington and Vasa Curcin -- Improving the Understanding of Provenance and Reproducibility of a Multi-Sensor Merged Climate Data Record / Hook Hua, Brian Wilson, Gerald Manipon, Lei Pan and Eric Fetzer -- Provenance Tracking in R / Andrew Runnalls and Chris Silles -- The Provenance Store prOOst for the Open Provenance Model / Andreas Schreiber, Miriam Ney and Heinrich Wendel -- A Comprehensive Model for Provenance / Salmin Sultana and Elisa Bertino -- Provenance Representation in the Global Change Information System (GCIS) / Curt Tilmes -- Integrating Provenance into an Operational Data Product Information System / Stephan Zednik, James Michaelis and Peter Fox -- On Presenting Apropos Provenance for Situation Awareness and Data Forensics / Jing Zhao, Yogesh Simmhan and Viktor Prasanna.
Record Nr. UPENN-9960101443503681
[International Provenance and Annotation Workshop (4th : 2012 : Santa Barbara, Calif.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Human-computer interaction [electronic resource] : interaction modalities and techniques : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part IV / Masaaki Kurosu (ed.).
Human-computer interaction [electronic resource] : interaction modalities and techniques : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part IV / Masaaki Kurosu (ed.).
Creatore [International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)]
Estensione 1 online resource.
Disciplina 004.01/9
Accesso persona Kurosu, Masaaki
Genere/Forma Electronic books
Soggetto non controllato Computer science
Multimedia systems
User Interfaces and Human Computer Interaction
Computers and Society
Multimedia Information Systems
ISBN 9783642393303 (electronic bk.)
3642393306 (electronic bk.)
9783642393297
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108413503681
[International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Smart grid security [electronic resource] : first International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012 : revised selected papers / Jorge Cuellar (ed.).
Smart grid security [electronic resource] : first International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012 : revised selected papers / Jorge Cuellar (ed.).
Creatore [SmartGridSec (Workshop) (1st : 2012 : Berlin, Germany)]
Estensione 1 online resource (vi, 149 p.) : ill
Disciplina 621.319
Accesso persona Cuellar, Jorge
Genere/Forma Electronic books
Soggetto non controllato Computer science
Operating systems (Computers)
Data protection
Information Systems
Systems and Data Security
Computers and Society
Management of Computing and Information Systems
ISBN 9783642380303 (electronic bk.)
3642380301 (electronic bk.)
9783642380297
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto IT Security Architecture Approaches for Smart Metering and Smart Grid / David von Oheimb -- Smart Grid Information Exchange - Securing the Smart Grid from the Ground / Steffen Fries, Rainer Falk, Ariane Sutor -- A Tool Set for the Evaluation of Security and Reliability in Smart Grids / Joël Chinnow, Jakob Tonn, Karsten Bsufka, Thomas Konnerth, Sahin Albayrak -- Regular Papers -- A Holistic View of Security and Privacy Issues in Smart Grids / Muhammad Rizwan Asghar, Daniele Miorandi -- Hardware Security for Device Authentication in the Smart Grid / Andrew J. Paverd, Andrew P. Martin -- Maintaining Privacy in Data Rich Demand Response Applications / Markus Karwe, Jens Strüker -- Data Protection in a Cloud-Enabled Smart Grid / Alexander Fromm, Florian Kelbert, Alexander Pretschner -- Formal Analysis of a Privacy-Preserving Billing Protocol / Alessandro Armando, Roberto Carbone, Alessio Merlo -- Privacy in Smart Metering Ecosystems / Peter Ebinger, José Luis Hernández Ramos, Panayotis Kikiras, Mario Lischka -- Energy@home Leveraging ZigBee to Enable Smart Grid in Residential Environment / Andrea Ranalli, Claudio Borean.
Record Nr. UPENN-9960105833503681
[SmartGridSec (Workshop) (1st : 2012 : Berlin, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Collaboration and technology [electronic resource] : 17th international conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011 : proceedings / Adriana S. Vivacqua, Carl Gutwin, Marcos R.S. Borges (eds.).
Collaboration and technology [electronic resource] : 17th international conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011 : proceedings / Adriana S. Vivacqua, Carl Gutwin, Marcos R.S. Borges (eds.).
Creatore [International Workshop on Groupware (17th : 2011 : Parati, Brazil)]
Estensione 1 online resource (x, 231 p.) : ill. (some col.
Disciplina 005.3/76
Accesso persona Vivacqua, Adriana S.
Gutwin, Carl
Borges, Marcos R. S. (Marcos Roberto da Silva)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
Computers and Society
ISBN 9783642238017 (electronic bk.)
3642238017 (electronic bk.)
9783642238000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088043503681
[International Workshop on Groupware (17th : 2011 : Parati, Brazil)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Design, user experience, and usability [electronic resource] : web, mobile, and product design : second international Conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part IV / edited by Aaron Marcus
Design, user experience, and usability [electronic resource] : web, mobile, and product design : second international Conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part IV / edited by Aaron Marcus
Creatore [DUXU (Conference) (2nd : 2013 : Las Vegas, Nev.)]
Estensione 1 online resource.
Disciplina 004.2/1
Accesso persona Marcus, Aaron, 1943-
Accesso convegno International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)
Genere/Forma Electronic books
Soggetto non controllato Computer science
User Interfaces and Human Computer Interaction
Computer Applications
Computers and Society
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
ISBN 9783642392535 (electronic bk.)
3642392539 (electronic bk.)
9783642392528
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108463503681
[DUXU (Conference) (2nd : 2013 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Creatore [SAFECOMP (Conference) (2012 : Magdeburg, Germany)]
Estensione 1 online resource.
Disciplina 005.8
Accesso persona Ortmeier, Frank
Daniel, Peter, 1950-
Accesso convegno Sassur 2012 (2012 : Magdeburg, Germany)
ASCoMS 2012 (2012 : Magdeburg, Germany)
DESEC4LCCI 2012 (2012 : Magdeburg, Germany)
ERCIM/EWICS 2012 (2012 : Magdeburg, Germany)
International Workshop on Digital Engineering (2012 : Magdeburg, Germany)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Logic design
Artificial intelligence
Systems and Data Security
Logics and Meanings of Programs
Computers and Society
ISBN 9783642336751 (electronic bk.)
3642336752 (electronic bk.)
9783642336744
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Sassur 2012 / Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh and Didier Van Den Abeele -- AdvoCATE: An Assurance Case Automation Toolset / Ewen Denney, Ganesh Pai and Josef Pohl -- Towards a Case-Based Reasoning Approach for Safety Assurance Reuse / Alejandra Ruiz, Ibrahim Habli and Huáscar Espinoza -- Modeling for Safety in a Synthesis-Centric Systems Engineering Framework / Jasen Markovski and J. M. van de Mortel-Fronczak -- A Model Based Approach for Safety Analysis / Fabien Belmonte and Elie Soubiran -- Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards / Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba and Piotr Pepek, et al. -- A New Approach to Assessment of Confidence in Assurance Cases / Xingyu Zhao, Dajian Zhang, Minyan Lu and Fuping Zeng -- An Unified Meta-model for Trustworthy Systems Engineering / Eric Verhulst and Bernhard H. C. Sputh -- A Preliminary Fault Injection Framework for Evaluating Multicore Systems / Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo and Ricardo Barbosa, et al. --
Meeting Real-Time Requirements with Multi-core Processors / Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann and Gernot Gebhard, et al. -- Assessing Software Interference Management When Modifying Safety-Related Software / Patrick J. Graydon and Tim P. Kelly -- Introduction to ASCoMS 2012 / António Casimiro and Jörg Kaiser -- Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults / Luís Marques and António Casimiro -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems / Sebastian Zug, Tino Brade, Jörg Kaiser and Sasanka Potluri -- Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles / Kenneth Östberg and Rolf Johansson -- From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering / Christian Berger -- Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems / Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin and Daniel Karlsson -- Introduction to DESEC4LCCI 2012 / Christian Esposito, Marco Platania and Francesco Brancati --
Quantitative Security Evaluation of a Multi-biometric Authentication System / Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli and Ernesto La Mattina -- Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology / Luigi Romano, Salvatore D'Antonio, Valerio Formicola and Luigi Coppolino -- On Securing Communications among Federated Health Information Systems / Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza and Paolo Mori, et al. -- How Secure Is ERTMS? / Richard Bloomfield, Robin Bloomfield, Ilir Gashi and Robert Stroud -- International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead / Craig Gibson, Matteo Melideo, Luigi Romano and Salvatore D'Antonio -- A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace / Magali Andreia Rossi, Jorge Rady de Almeida Junior, Andrea Bondavalli and Paolo Lollini -- HSIENA: A Hybrid Publish/Subscribe System / Fabio Petroni and Leonardo Querzoni --
WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms / Roeland Dillen, Jonas Buys, Vincenzo De Florio and Chris Blondia -- Formal Verification of a Safety Argumentation and Application to a Complex UAV System / Julien Brunel and Jacques Cazin -- Electronic Reliability Estimation: How Reliable Are the Results? / Nuno Silva and Rui Lopes -- Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics / Silvano Chiaradonna, Felicita Di Giandomenico and Nicola Nostro -- Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012 / Erwin Schoitsch and Amund Skavhaug -- The Cyber-Physical Attacker / Roberto Vigo -- Dependable and Secure Embedded Node Demonstrator / Przemysław Osocha, João Carlos Cunha and Fabio Giovagnini -- Towards Secure Time-Triggered Systems / Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler and Thomas Bleier, et al. -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems / Alexander Hanzlik and Erwin Kristen -- Compiling for Time Predictability / Peter Puschner, Raimund Kirner, Benedikt Huber and Daniel Prokesch --
Towards the Automated Qualification of Tool Chain Design / Fredrik Asplund, Matthias Biehl and Frédéric Loiret -- A Systematic Elaboration of Safety Requirements in the Avionic Domain / Antoaneta Kondeva, Martin Wassmuth and Andreas Mitschke -- Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems / Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis and Alberto Ferrari -- Supporting Assurance by Evidence-Based Argument Services / Janusz Górski, Aleksander Jarzębowicz, Jakub Miler, Michał Witkowicz and Jakub Czyżnikiewicz, et al. -- Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform / Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, P. Chmelar and Lars Dalgaard -- Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment / Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong and Amund Skavhaug --
Introduction to IWDE 2012 / Veit Köppen and Gunter Saake -- Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems / Max Steiner, Patric Keller and Peter Liggesmeyer -- Towards Artificial Perception / André Dietrich, Sebastian Zug and Jörg Kaiser -- A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes / Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler and Klaus Richter -- Visual Approach Facilitating the Importance Analysis of Component Fault Trees / Yi Yang, Patric Keller and Peter Liggesmeyer -- Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation / Sven Kuhlmann, Jana Fruth, Tobias Hoppe and Jana Dittmann -- From Discrete Event Simulation to Virtual Reality Environments / Sebastian Nielebock, Frank Ortmeier, Marco Schumann and André Winge -- Program Comprehension in Preprocessor-Based Software / Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann and Jana Dittmann, et al.
Record Nr. UPENN-9960100243503681
[SAFECOMP (Conference) (2012 : Magdeburg, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algorithmic game theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / Maria Serna (ed.).
Algorithmic game theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / Maria Serna (ed.).
Creatore [SAGT 2012 (2012 : Barcelona, Spain)]
Estensione 1 online resource.
Disciplina 519.3
Accesso persona Serna, Maria, 1959-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Electronic data processing
Computer simulation
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 9783642339967 (electronic bk.)
3642339964 (electronic bk.)
9783642339950
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Classification of Weakly Acyclic Games / Krzysztof R. Apt and Sunil Simon -- Selfishness Level of Strategic Games / Krzysztof R. Apt and Guido Schäfer -- Mechanisms for Scheduling with Single-Bit Private Values / Vincenzo Auletta, George Christodoulou and Paolo Penna -- The Complexity of Decision Problems about Nash Equilibria in Win-Lose Games / Vittorio Bilò and Marios Mavronicolas -- An Optimal Bound to Access the Core in TU-Games / Sylvain Béal, Eric Rémila and Philippe Solal -- Convergence of Ordered Improvement Paths in Generalized Congestion Games / K. Ruben Brokkelkamp and Mees J. de Vries -- Basic Network Creation Games with Communication Interests / Andreas Cord-Landwehr, Martina Hüllmann, Peter Kling and Alexander Setzer -- Common Knowledge and State-Dependent Equilibria / Nuh Aygun Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts and Andrea Vattani -- Approximating the Minmax Value of Three-Player Games within a Constant is as Hard as Detecting Planted Cliques / Kord Eickmeyer, Kristoffer Arnstfelt Hansen and Elad Verbin -- Approximate Well-Supported Nash Equilibria Below Two-Thirds / John Fearnley, Paul W. Goldberg, Rahul Savani and Troels Bjerre Sørensen -- Mechanisms and Impossibilities for Truthful, Envy-Free Allocations / Michal Feldman and John Lai -- Capacitated Network Design Games / Michal Feldman and Tom Ron -- Decentralized Dynamics for Finite Opinion Games / Diodato Ferraioli, Paul W. Goldberg and Carmine Ventre -- On the Hardness of Network Design for Bottleneck Routing Games / Dimitris Fotakis, Alexis C. Kaporis, Thanasis Lianeas and Paul G. Spirakis -- Ad Auctions with Data / Hu Fu, Patrick Jordan, Mohammad Mahdian, Uri Nadav and Inbal Talgam-Cohen, et al. -- Commodity Auctions and Frugality Ratios / Paul W. Goldberg and Antony McCabe -- On the Communication Complexity of Approximate Nash Equilibria / Paul W. Goldberg and Arnoud Pastink -- Congestion Games with Capacitated Resources / Laurent Gourvès, Jérôme Monnot, Stefano Moretti and Nguyen Kim Thang -- Network Bargaining: Using Approximate Blocking Sets to Stabilize Unstable Instances / Jochen Könemann, Kate Larson and David Steiner -- Uniform Price Auctions: Equilibria and Efficiency / Evangelos Markakis and Orestis Telelis -- Minimizing Expectation Plus Variance / Marios Mavronicolas and Burkhard Monien -- A Theoretical Examination of Practical Game Playing: Lookahead Search / Vahab Mirrokni, Nithum Thain and Adrian Vetta.
Record Nr. UPENN-9960101483503681
[SAGT 2012 (2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Free Convection Film Flows and Heat Transfer [electronic resource] / by Deyi Shang
Free Convection Film Flows and Heat Transfer [electronic resource] / by Deyi Shang
Creatore [Shang, Deyi]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Computer Communication Networks
Computers and Society
Database Management
Information Systems Applications (incl.Internet)
ISBN 9783540448099
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-6498208
[Shang, Deyi]  
Software
Lo trovi qui: University of Chicago
Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / Michael Huth [and others] (eds.).
Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / Michael Huth [and others] (eds.).
Creatore [TRUST (Conference) (6th : 2013 : London, England)]
Estensione 1 online resource.
Accesso persona Huth, Michael, 1962-
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Algorithm Analysis and Problem Complexity
Computers and Society
Information Systems Applications (incl. Internet)
ISBN 9783642389085
3642389082
3642389074
9783642389078
Classificazione 54.62
54.32
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Technical Strand. KISS: "Key It Simple and Secure" Corporate Key Management / Zongwei Zhou [and others] -- Guardian: Hypervisor as Security Foothold for Personal Computers / Yueqiang Cheng, Xuhua Ding -- Improving Trusted Tickets with State-Bound Keys / Jan Nordholz, Ronald Aigner, Paul England -- Group Signatures on Mobile Devices: Practical Experiences / Klaus Potzmader [and others] -- Limiting Data Exposure in Monitoring Multi-domain Policy Conformance / Mirko Montanari [and others] -- Towards Trustworthy Network Measurements / Ghassan O. Karame -- Stochastic Model of a Metastability-Based True Random Number Generator / Molka Ben-Romdhane, Tarik Graba, Jean-Luc Danger -- Semi-automated Prototyping of a TPM v2 Software and Hardware Simulation Platform / Martin Pirker, Johannes Winter -- Tapping and Tripping with NFC / Sandeep Tamrakar, Jan-Erik Ekberg -- TEEM: A User-Oriented Trusted Mobile Device for Multi-platform Security Applications / Wei Feng [and others] -- TRUMP: A Trusted Mobile Platform for Self-management of Chronic Illness in Rural Areas / Chris Burnett [and others] -- First-Class Labels: Using Information Flow to Debug Security Holes / Eric Hennigan [and others] -- A Framework for Evaluating Mobile App Repackaging Detection Algorithms / Heqing Huang [and others] -- Towards Precise and Efficient Information Flow Control in Web Browsers / Christoph Kerschbaumer [and others].
Socio-Economic Strand. Granddaughter Beware! An Intergenerational Case Study of Managing Trust Issues in the Use of Facebook / Ann Light, Lizzie Coles-Kemp -- Contextualized Web Warnings, and How They Cause Distrust / Steffen Bartsch [and others] -- All In: Targeting Trustworthiness for Special Needs User Groups in the Internet of Things / Marc Busch [and others] -- Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach / Gabrielle Anderson, Matthew Collinson, David Pym -- "Fairly Truthful": The Impact of Perceived Effort, Fairness, Relevance, and Sensitivity on Personal Data Disclosure / Miguel Malheiros, Sören Preibusch, M. Angela Sasse -- Poster Abstracts. Formal Evaluation of Persona Trustworthiness with EUSTACE / Shamal Faily [and others] -- Identity Implies Trust in Distributed Systems -- A Novel Approach / Lyzgeo Merin Koshy [and others] -- Non-intrusive and Transparent Authentication on Smart Phones / Nicholas Micallef [and others] -- Quaestio-it.com: From Debates Towards Trustworthy Answers / Valentinos Evripidou, Francesca Toni -- Towards Verifiable Trust Management for Software Execution / Michael Huth, Jim Huan-Pu Kuo.
Record Nr. UCHICAGO-11078969
[TRUST (Conference) (6th : 2013 : London, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Electronic healthcare : third international conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010 : revised selected papers / Martin Szomszor, Patty Kostkova (eds.).
Electronic healthcare : third international conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010 : revised selected papers / Martin Szomszor, Patty Kostkova (eds.).
Creatore [eHealth Conference (3rd : 2010 : Casablanca, Morocco)]
Estensione 1 online resource (xix, 336 pages) : illustrations.
Accesso persona Szomszor, Martin
Kostkova, Patty
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Artificial intelligence
Computers and Society
User Interfaces and Human Computer Interaction
Health Informatics
ISBN 9783642236358
3642236359
3642236340
9783642236341
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076284
[eHealth Conference (3rd : 2010 : Casablanca, Morocco)]  
Materiale a stampa
Lo trovi qui: University of Chicago