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.
Public key infrastructures, services and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul (eds.).
Public key infrastructures, services and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul (eds.).
Creatore [European PKI Workshop (8th : 2011 : Leuven, Belgium)]
Estensione 1 online resource (x, 208 pages).
Accesso persona Petkova-Nikova, Svetla
Pashalidis, Andreas, 1978-
Pernul, Günther, 1961-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Algorithm Analysis and Problem Complexity
Computers and Society
Systems and Data Security
ISBN 9783642298042
3642298044
3642298036
9783642298035
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Secret Handshake Scheme with Request-Based-Revealing / Yutaka Kawai and Noboru Kunihiro -- Password-Based Signatures / Kristian Gjøsteen and Øystein Thuen -- Isolating Partial Information of Indistinguishable Encryptions / Jean Lancrenon and Roland Gillard -- A Universal Client-Based Identity Management Tool / Haitham S. Al-Sinani and Chris J. Mitchell -- Design and Evaluation of a Privacy-Preserving Architecture for Vehicle-to-Grid Interaction / Mark Stegelmann and Dogan Kesdogan -- Insider Attacks and Privacy of RFID Protocols / Ton van Deursen and Saša Radomirović -- Cell-Based Roadpricing / Flavio D. Garcia, Eric R. Verheul and Bart Jacobs -- Ballot Aggregation and Mixnet Based Open-Audit Elections / (Extended Abstract) / Olivier Pereira -- PKI as Part of an Integrated Risk Management Strategy for Web Security / Peter Gutmann -- A PKI-Based Mobile Banking Demonstrator / Gauthier Van Damme, Nicolas Luyckx and Karel Wouters -- Certification Validation: Back to the Past / Moez Ben M'Barka and Julien P. Stern -- A Hijacker's Guide to the LPC Bus / Johannes Winter and Kurt Dietrich -- Secure Event Logging in Sensor Networks / An Braeken, Antonio De La Piedro and Karel Wouters.
Record Nr. UCHICAGO-11076886
[European PKI Workshop (8th : 2011 : Leuven, Belgium)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / Ruixuan Li, Jiannong Cao, Julien Bourgeois (eds.).
Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / Ruixuan Li, Jiannong Cao, Julien Bourgeois (eds.).
Creatore [GPC (Conference) (7th : 2012 : Hong Kong, China)]
Estensione 1 online resource (xiii, 378 pages) : illustrations.
Accesso persona Li, Ruixuan
Cao, Jiannong
Bourgeois, Julien
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Operating systems (Computers)
Computer software
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Operating Systems
Programming Techniques
ISBN 9783642307676
3642307671
9783642307669
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From Web Cache to Cloud Cache / Thepparit Banditwattanawong -- pCloud: An Adaptive I/O Resource Allocation Algorithm with Revenue Consideration over Public Clouds / Jianzong Wang, Yanjun Chen, Daniel Gmach, Changsheng Xie and Jiguang Wan, et al. -- A Gossip-Based Mutual Exclusion Algorithm for Cloud Environments / JongBeom Lim, Kwang-Sik Chung, Sung-Ho Chin and Heon-Chang Yu -- An Effective Partition Approach for Elastic Application Development on Mobile Cloud Computing / Zhuoran Qin, Jixian Zhang and Xuejie Zhang -- Memory Virtualization for MIPS Processor Based Cloud Server / Li Ruan, Huixiang Wang, Limin Xiao, Mingfa Zhu and Feibo Li -- Implementation of a Distributed Data Storage System with Resource Monitoring on Cloud Computing / Chao-Tung Yang, Wen-Chung Shih and Chih-Lin Huang -- Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware / Leila Abidi, Christophe Cérin and Kais Klai -- A Request Multiplexing Method Based on Multiple Tenants in SaaS / Pingli Gu, Yanlei Shang, Junliang Chen, Bo Cheng and Yan Jiang -- An Adaptive Design Pattern for Genetic Algorithm-Based Composition of Web Services in Autonomic Computing Systems Using SOA / Vishnuvardhan Mannava and T. Ramesh -- Service-Oriented Ontology and Its Evolution / Weisen Pan, Shizhan Chen and Zhiyong Feng -- Energy Efficient Activity Recognition Based on Low Resolution Accelerometer in Smart Phones / Yunji Liang, Xingshe Zhou, Zhiwen Yu, Bin Guo and Yue Yang.
Energy Efficient Allocation of Virtual Machines in Cloud Computing Environments Based on Demand Forecast / Jian Cao, Yihua Wu and Minglu Li -- Energy Conservative Mobile Cloud Infrastructure / Ashok Chandrasekar, Karthik Chandrasekar, Harini Ramasatagopan and Rafica Abdul Rahim -- Power-Constrained Actuator Coordination for Agricultural Sensor Networks / Junghoon Lee, Gyung-Leen Park, Ho-Young Kwak and Jikwang Han -- Design and Evaluation of Mobile Applications with Full and Partial Offloadings / Jennifer Kim -- A Cross-Layer Scheme to Improve TCP Performance in Wireless Multi-hop Networks / Fu-Quan Zhang and Inwhee Joe -- A Fully Abstract View for Local Cause Semantics / Jianxin Xue and Xiaoju Dong -- Efficiency Considerations in Policy Based Management in Resource Constrained Devices / Jignesh Kakkad and Nandan Parameswaran -- Agent Based Quality Management Middleware for Context-Aware Pervasive Applications / Di Zheng, Jun Wang and Ke-rong Ben -- A Virtual File System for Streaming Loading of Virtual Software on Windows NT / Yabing Cui, Chunming Hu, Tianyu Wo and Hanwen Wang -- TBF: A High-Efficient Query Mechanism in De-duplication Backup System / Bin Zhou, Hai Jin, Xia Xie and PingPeng Yuan -- Estimating Deadline-Miss Probabilities of Tasks in Large Distributed Systems / Dongping Wang, Bin Gong and Guoling Zhao -- Global Pricing in Large Scale Computational Markets / Lilia Chourou, Ahmed Elleuch and Mohamed Jemni.
A New RBAC Based Access Control Model for Cloud Computing / Zhuo Tang, Juan Wei, Ahmed Sallam, Kenli Li and Ruixuan Li -- QoS Monitoring and Dynamic Trust Establishment in the Cloud / Ashok Chandrasekar, Karthik Chandrasekar, Malairaja Mahadevan and P. Varalakshmi -- Multihop-Based Key Management in Hierarchical Wireless Sensor Network / Yiying Zhang, Xiangzhen Li, Yan Zhen and Lingkang Zeng -- A Bullet-Proof Verification Using Distributed Watchdogs (BPV-DW) to Detect Black Hole Attack in Mobile Ad Hoc Networks / Firoz Ahmed, Seok Hoon Yoon and Hoon Oh -- Performance Analysis for Workflow Management Systems under Role-Based Authorization Control / Limin Liu, Ligang He and Stephen A. Jarvis -- A Medical Image File Accessing System with Virtualization Fault Tolerance on Cloud / Chao-Tung Yang, Cheng-Ta Kuo, Wen-Hung Hsu and Wen-Chung Shih -- Enhanced Password-Based User Authentication Using Smart Phone / Inkyung Jeun, Mijin Kim and Dongho Won -- Development of m-TMS for Trusted Computing in Mobile Cloud / Hyun-Woo Kim, Eun-Ha Song, Jun-Ho Kim, Sang Oh Park and Young-Sik Jeong -- An Efficient Cloud Storage Model for Cloud Computing Environment / HwaYoung Jeong and JongHyuk Park.
Record Nr. UCHICAGO-11076893
[GPC (Conference) (7th : 2012 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Design science research in information systems : advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012 : proceedings / Ken Peffers, Marcus Rothenberger, Bill Kuechler (eds.).
Design science research in information systems : advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012 : proceedings / Ken Peffers, Marcus Rothenberger, Bill Kuechler (eds.).
Creatore [DESRIST (Conference) (7th : 2012 : Las Vegas, Nev.)]
Estensione 1 online resource (xi, 438 pages) : illustrations.
Accesso persona Peffers, Ken.
Rothenberger, Marcus
Kuechler, William
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
ISBN 9783642298639
364229863X
9783642298622
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Towards a Comprehensive Online Peer Assessment System / Design Outline / Dmytro Babik, Lakshmi S. Iyer and Eric W. Ford -- Designing Digital Innovation Contests / Anders Hjalmarsson and Daniel Rudmark -- Evaluating APIs: A Call for Design Science Research / Bala Iyer and George Wyner -- Designing for Recombination: Process Design through Template Combination / Arvind Karunakaran and Sandeep Purao -- Design Principles for Inter-Organizational Systems Development -- Case Hansel / Heikki Lempinen, Matti Rossi and Virpi Kristiina Tuunainen -- Using Design Science Research to Develop a Modeling Technique for Service Design / Lysanne Lessard and Eric Yu -- Towards a Decision Tool for Choosing a Business Process Maturity Model / Amy Van Looy, Manu De Backer and Geert Poels -- Implementing Design Principles for Collaborative ERP Systems / Wendy Lucas and Tamara Babaian -- Applying Design Science Research for Enterprise Architecture Business Value Assessments / Martin Meyer, Markus Helfert, Brian Donnellan and Jim Kenneally -- Designing-in-the-Large: Combining Local Perspectives to Generate Enterprise-Wide Integration Solutions / Sandeep Purao, Narasimha Bolloju and Chuan Hoo Tan -- Emergency Response System Design: An Examination of Emergency Communication Messages / Rohit Valecha, Raj Sharman, Raghav Rao and Shambhu Upadhyaya -- An Approach for Smart Artifacts for Mobile Advertising / Upkar Varshney.
Towards a Unified Design Theory for Creativity Support Systems / Matthias Voigt, Björn Niehaves and Jörg Becker -- What Makes Corporate Wikis Work? Wiki Affordances and Their Suitability for Corporate Knowledge Work / M. Lisa Yeo and Ofer Arazy -- Design Science as Design of Social Systems -- Implications for Information Systems Research / Andreas Drechsler -- Towards Design Engineering of Ubiquitous Information Systems / Wolfgang Maass and Sabine Janzen -- Technical Action Research as a Validation Method in Information Systems Design Science / Roel Wieringa and Ayşe Moralı -- Decision Enhancement for Sourcing with Shared Service Centres in the Dutch Government / Arjan Knol, Henk Sol and Johan van Wamelen -- Designing a Framework for Virtual Management and Team Building / Jan Pries-Heje and Lene Pries-Heje -- Integrating Organisational Design with IT Design / The Queensland Health Payroll Case / António Rito Silva and Michael Rosemann -- Common Citation Analysis and Technology Overlap Factor: An Empirical Investigation of Litigated Patents Using Network Analysis / Srikar Velichety and Sudha Ram -- Environmental Sustainability in Design Science Research: Direct and Indirect Effects of Design Artifacts / Jan vom Brocke and Stefan Seidel.
Design Science Research and the Core of Information Systems / Ahmad Alturki, Wasana Bandara and Guy G. Gable -- Anatomy of Knowledge Bases Used in Design Science Research / A Literature Review / Oliver Gaß, Norbert Koppenhagen, Harald Biegel, Alexander Maedche and Benjamin Müller -- Characterizing Design Science Theories by Level of Constraint on Design Decisions / Bill Kuechler and Vijay Vaishnavi -- On the Relationship between the IT Artifact and Design Theory: The Case of Virtual Social Facilitation / Björn Niehaves, Kevin Ortbach and Asin Tavakoli -- Towards a Formal Approach to Information Systems Design Theory Using Category Theory / George R. Widmeyer -- Evaluations in the Science of the Artificial -- Reconsidering the Build-Evaluate Pattern in Design Science Research / Christian Sonnenberg and Jan vom Brocke -- Design Science Research Evaluation / Ken Peffers, Marcus Rothenberger, Tuure Tuunanen and Reza Vaezi -- Design of Software Agent-Populated Electronic Negotiation System and Evaluation of Human -- to -- Agent Negotiations / Rustam Vahidov and Gregory E. Kersten -- A Comprehensive Framework for Evaluation in Design Science Research / John Venable, Jan Pries-Heje and Richard Baskerville.
Record Nr. UCHICAGO-11076894
[DESRIST (Conference) (7th : 2012 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Wireless mobile communication and healthcare : second international ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011 : revised selected papers / Konstantina S. Nikita [and others] (eds.).
Wireless mobile communication and healthcare : second international ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011 : revised selected papers / Konstantina S. Nikita [and others] (eds.).
Creatore [MobiHealth 2011 (2011 : Kos Island, Greece)]
Estensione 1 online resource (xvii, 425 pages) : illustrations (some color).
Accesso persona Nikita, Konstantina S.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Medical records -- Data processing
Computer Communication Networks
Data mining
Computer simulation
Computer vision
Bioinformatics
Computational Biology/Bioinformatics
Health Informatics
Data Mining and Knowledge Discovery
Simulation and Modeling
Image Processing and Computer Vision
ISBN 9783642297342
364229734X
3642297331
9783642297335
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Session We.1: Intrabody Communications and Transmission of Patient Data. -- A Distributed-Parameter Approach to Model Galvanic and Capacitive Coupling for Intra-body Communications / M. Amparo Callejón, Javier Reina-Tosina, Laura M. Roa and David Naranjo -- An Ultra-Low Power MAC Protocol for In-body Medical Implant Networks / Ashutosh Ghildiyal, Balwant Godara and Amara Amara -- On the Effectiveness of Relaxation Theory for Controlling High Traffic Volumes in Body Sensor Networks / Naimah Yaakob, Ibrahim Khalil and Jiankun Hu -- Design and Validation of a Secure Communication Platform for Mobile Health / Beatriz Martín de Juan, Miguel Ángel Valero Duboy, Diana Soler, José Manuel Azorín and Rafael Conde -- Part 2. Session We.2: ICT Technologies and Tools for Chronic Disease Management (Special Session). -- Activity Recognition Using Smartphones and Wearable Wireless Body Sensor Networks / Ioannis Kouris and Dimitris Koutsouris -- Decision Support for the Remote Management of Chronic Patients / Sara Colantonio, Giuseppe De Pietro, Massimo Esposito, Alberto Machì and Massimo Martinelli, et al. -- Risk Assessment Models for Diabetes Complications: A Survey of Available Online Tools / Lefteris Koumakis, Franco Chiarugi, Vincenzo Lagani, Angelina Kouroubali and Ioannis Tsamardinos -- Clinical Effectiveness of the "Healthwear" Wearable System in the Reduction of COPD Patients' Hospitalization / Alexis Milsis, Theodoros Katsaras, Nicolaos Saoulis, Evita Varoutaki and Aggelos Vontetsianos.
Towards an Accessible Personal Health Record / Ioannis Basdekis, Vangelis Sakkalis and Constantine Stephanidis -- Developing Advanced Technology Services for Diabetes Management: User Preferences in Europe / Angelina Kouroubali and Franco Chiarugi -- Part 3. Session We. 3: Advances in Wireless Implantable Devices (Special Session). -- Wireless Microrobotic Oxygen Sensing for Retinal Hypoxia Monitoring / Olgaç Ergeneman, George Chatzipirpiridis, Salvador Pané, Georgios A. Sotiriou and Christos Bergeles, et al. -- Meandered versus Spiral Novel Miniature PIFAs Implanted in the Human Head: Tuning and Performance / Asimina Kiourti and Konstantina S. Nikita -- A Radio Channel Model for In-body Wireless Communications / Kamya Yekeh Yazdandoost -- Parametric Study and Design of Implantable PIFAs for Wireless Biotelemetry / Asimina Kiourti, Michalis Tsakalakis and Konstantina S. Nikita -- In Vitro and In Vivo Operation of a Wireless Body Sensor Node / Francesco Merli, Léandre Bolomey, François Gorostidi, Yann Barrandon and Eric Meurville, et al. -- Recent Results in Computer Security for Medical Devices / Shane S. Clark and Kevin Fu -- Part 4. Session We. 4: Mobile Devices for Patient Monitoring. -- Wearable System for EKG Monitoring -- Evaluation of Night-Time Performance / Antti Vehkaoja, Jarmo Verho, Alper Cömert, Markku Honkala and Jukka Lekkala.
A Smartphone-Based Healthcare Monitoring System-PHY Challenges and Behavioral Aspects / Nabil Alrajeh, Ezio Biglieri, Bouchaïb Bounabat and Angel Lozano -- Phone Based Fall Risk Prediction / Vânia Guimarães, Pedro M. Teixeira, Miguel P. Monteiro and Dirk Elias -- Infusing Image Processing Capabilities into an RFID-Based Personal Mobile Medical Assistant / Konstantinos Sidiropoulos, Pantelis Georgiadis, Nikolaos Pagonis, Nikolaos Dimitropoulos and Pantelis Asvestas, et al. -- Securing Medical Sensor Network with HIP / Dmitriy Kuptsov, Boris Nechaev and Andrei Gurtov -- Part 5. Session Th. 1: Healthcare Telemetry and Telemedicine. -- Development of an mHealth Open Source Platform for Diabetic Foot Ulcers Tele-consultations / George E. Dafoulas, Stylianos Koutsias, Joachim Behar, Juan Osorio and Brian Malley, et al. -- Towards Continuous Wheeze Detection Body Sensor Node as a Core of Asthma Monitoring System / Dinko Oletic, Bruno Arsenali and Vedran Bilas -- Reduced Power Consumption for 3GPP-Compliant Continua Health Devices by Deployment of Femtocells in the Home Environment / Edward Mutafungwa, Zhong Zheng and Jyri Hämäläinen -- A New Platform for Delivery Interoperable Telemedicine Services / Foteini Andriopoulou and Dimitrios Lymberopoulos -- Social Media in Healthcare -- User Research Findings and Site Benchmarking / Timo O. Korhonen, Maija Pekkola and Christos Karaiskos.
Part 6. Session Th. 2: ICT Platforms and Technologies for the Daily Management of Chronic Diseases and the Support of the Ageing Population (Special Session). -- Diabetes Management: Devices, ICT Technologies and Future Perspectives / Emmanouil G. Spanakis and Franco Chiarugi -- Exploring New Care Models in Diabetes Management and Therapy with a Wireless Mobile eHealth Platform / Jesper Thestrup, Tamas Gergely and Peter Beck -- A Mobile Android-Based Application for In-hospital Glucose Management in Compliance with the Medical Device Directive for Software / Stephan Spat, Bernhard Höll, Peter Beck, Franco Chiarurgi and Vasilis Kontogiannis, et al. -- Ontology-Driven Monitoring of Patient's Vital Signs Enabling Personalized Medical Detection and Alert / Anna Hristoskova, Vangelis Sakkalis, Giorgos Zacharioudakis, Manolis Tsiknakis and Filip De Turck -- A Mobile Reasoning System for Supporting the Monitoring of Chronic Diseases / Aniello Minutolo, Massimo Esposito and Giuseppe De Pietro -- Using SOA for a Combined Telecare and Telehealth Platform for Monitoring of Elderly People / Georgios Lamprinakos, Stefan Asanin, Peter Rosengren, Dimitra I. Kaklamani and Iakovos S. Venieris -- Part 7. Session Th. 3: Patient Monitoring and Management. -- Adaptive Assistance: Smart Home Nursing / Nikola Serbedzija -- Ubiquitous Healthcare Profile Management Applying Smart Card Technology / Maria-Anna Fengou, Georgios Mantas, Dimitrios Lymberopoulos and Nikos Komninos.
Identifying Chronic Disease Complications Utilizing State of the Art Data Fusion Methodologies and Signal Processing Algorithms / John Gialelis, Petros Chondros, Dimitrios Karadimas, Sofia Dima and Dimitrios Serpanos -- A Support Vector Machine Approach for Categorization of Patients Suffering from Chronic Diseases / Christos Bellos, Athanasios Papadopoulos, Roberto Rosso and Dimitrios I. Fotiadis -- Combined Health Monitoring and Emergency Management through Android Based Mobile Device for Elderly People / Miklos Kozlovszky, János Sicz-Mesziár, János Ferenczi, Judit Márton and Gergely Windisch, et al. -- Part 8. Session Th. 4: Mobile and Wireless Technologies for Healthcare Delivery and Emergency. -- An ISO-Based Quality Model for Evaluating Mobile Medical Speech Translators / Nikos Tsourakis and Paula Estrella -- An Interdisciplinary Approach to Emergency Responder Mobile Technology Design / Patricia Collins and Sean Lanthier -- TOPS -- System for Planning and Providing the Health and Social Services at the Home Environment of Clients / Tomáš Váňa, David Žák and Jiří Lebduška -- A Data Synchronization Framework for Personal Health Systems / Davide Capozzi and Giordano Lanzola.
Service-Oriented Middleware Architecture for Mobile Personal Health Monitoring / Matts Ahlsén, Stefan Asanin, Peeter Kool, Peter Rosengren and Jesper Thestrup -- Inactivity Monitoring for People with Alzheimer's Disease Using Smartphone Technology / Nicola Armstrong, Chris Nugent, George Moore, Dewar Finlay and William Burns -- Part 9. Session Fr. 1: Measurement and Monitoring Technologies. -- Performance of a Near-Field Radio-Frequency Pressure Sensing Method in Compression Garment Application / Timo Juhani Salpavaara, Jarmo Verho and Pekka Kumpulainen -- Hybrid Vital Sensor of Health Monitoring System for the Elderly / Dong Ik Shin, Ji Hoon Song, Se Kyeong Joo and Soo Jin Huh -- Low-Cost Blood Pressure Monitor Device for Developing Countries / Carlos Arteta, João S. Domingos, Marco A.F. Pimentel, Mauro D. Santos and Corentin Chiffot, et al. -- Telemedical System for Diagnosis and Therapy of Stress Related Disorders / Stefan Hey -- An Integrated Approach towards Functional Brain Imaging Using Simultaneous Focused Microwave Radiometry, Near-Infrared Spectroscopy and Electroencephalography Measurements / Panagiotis Farantatos, Irene Karanasiou and Nikolaos Uzunoglu -- Part 10. Session Fr. 2: Ambient Assistive Technologies for Pervasive Healthcare Services (Special Session) / A New Home-Based Training System for Cardiac Rehabilitation / Christian Menard and Raimund Antonitsch -- Context-Aware System for Neurology Hospital Wards / Ingrid Flinsenberg, Roel Cuppen, Evert van Loenen, Elke Daemen and Roos Rajae-Joordens.
Towards Utilizing Tcpcrypt in Mobile Healthcare Applications / Stefanos A. Nikolidakis, Vasileios Giotsas, Emmanouil Georgakakis, Dimitrios D. Vergados and Christos Douligeris -- An Access Control Framework for Pervasive Mobile Healthcare Systems Utilizing Cloud Services / Mikaela Poulymenopoulou, Flora Malamateniou and George Vassilacopoulos -- Distributed Management of Pervasive Healthcare Data through Cloud Computing / Charalampos Doukas, Thomas Pliakas, Panayiotis Tsanakas and Ilias Maglogiannis -- Efficient Exploitation of Parallel Computing on the Server-Side of Health Organizations' Intranet for Distributing Medical Images to Smart Devices / Athanasios Kakarountas and Ilias Mavridis -- Part 11. Workshop We. 1: Electromagnetic Issues in Advanced Mobile Healthcare Applications / Body Absorbed Radiation and Design Issues for Wearable Antennas and Sensors / Stavros Koulouridis -- Development of a FDTD Simulator for the Calculation of Temperature Rise in Human Heads from Mobile Phones Operation / Adamos G. Kyriakou, Elias Aitides and Michael T. Chryssomallis -- Numerical Assessment of EEG Electrode Artifacts during EMF Exposure in Human Provocation Studies / Maria Christopoulou, Orestis Kazasidis and Konstantina S. Nikita -- Part 12. Workshop Fr. 1: Mobile Systems and Technologies for Patient Safety, Guidance and Empowerment / On Location-Based Services for Patient Empowerment, Guidance and Safety / Andreas K. Triantafyllidis, Vassilis G. Koutkias, Ioannis Moulos and Nicos Maglaveras.
Record Nr. UCHICAGO-11076967
[MobiHealth 2011 (2011 : Kos Island, Greece)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Reliable software technologies-- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / Mats Brorsson, Luís Miguel Pinho (eds.).
Reliable software technologies-- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / Mats Brorsson, Luís Miguel Pinho (eds.).
Creatore [Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)]
Estensione 1 online resource.
Accesso persona Brorsson, Mats
Pinho, Luís Miguel
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Programming Techniques
Mathematical Logic and Formal Languages
ISBN 9783642305986
3642305989
3642305970
9783642305979
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ada Ravenscar Code Archetypes for Component-Based Development / Marco Panunzio and Tullio Vardanega -- An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications / Sergio Sáez, Jorge Real and Alfons Crespo -- Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA / Marisol García-Valls and Felipe Ibáñez-Vázquez -- Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 / José F. Ruiz, Cyrille Comar and Yannick Moy -- Teaching 'Concepts of Programming Languages' with Ada / Theodor Tempelmeier -- Designing the API for a Cryptographic Library / A Misuse-Resistant Application Programming Interface / Christian Forler, Stefan Lucks and Jakob Wenzel -- Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development / Patricia López Martínez and Tullio Vardanega -- An Approach to Model Checking Ada Programs / José Miguel Faria, João Martins and Jorge Sousa Pinto -- Formal Modelling for Ada Implementations: Tasking Event-B / Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler -- Augmenting Formal Development with Use Case Reasoning / Alexei Iliasov -- Formal Goal-Oriented Development of Resilient MAS in Event-B / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology / Pak-Lok Poon, Tsong Yueh Chen and T.H. Tse -- Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit / Kristoffer Nyborg Gregertsen and Amund Skavhaug -- Implementing and Verifying EDF Preemption-Level Resource Control / Mark Louis Fairbairn and Alan Burns -- Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems / Florian Pölzlbauer, Iain Bate and Eugen Brenner.
Record Nr. UCHICAGO-11076973
[Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / Anthony Bonato, Jeannette Janssen (eds.).
Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / Anthony Bonato, Jeannette Janssen (eds.).
Creatore [WAW (Workshop) (9th : 2012 : Halifax, N.S.)]
Estensione 1 online resource (viii, 178 pages) : illustrations.
Accesso persona Bonato, Anthony, 1971-
Janssen, Jeannette
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Data mining
Information storage and retrieval systems
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
ISBN 9783642305412
3642305415
3642305407
9783642305405
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hypergraph Coloring Games and Voter Models / Fan Chung and Alexander Tsiatas -- On a DAG Partitioning Problem / Soroush Alamdari and Abbas Mehrabian -- Some Typical Properties of the Spatial Preferred Attachment Model / Colin Cooper, Alan Frieze and Paweł Prałat -- A Sublinear Time Algorithm for PageRank Computations / Christian Borgs, Michael Brautbar, Jennifer Chayes and Shang-Hua Teng -- Quick Detection of Nodes with Large Degrees / Konstantin Avrachenkov, Nelly Litvak, Marina Sokol and Don Towsley -- Ranking and Sparsifying a Connection Graph / Fan Chung and Wenbo Zhao -- A Game-Theoretic Model of Attention in Social Networks / Ashish Goel and Farnaz Ronaghi -- On Certain Properties of Random Apollonian Networks / Alan Frieze and Charalampos E. Tsourakakis -- Mutual or Unrequited Love: Identifying Stable Clusters in Social Networks with Uni- and Bi-directional Links / Yanhua Li, Zhi-Li Zhang and Jie Bao -- Dynamic PageRank Using Evolving Teleportation / Ryan A. Rossi and David F. Gleich -- Multi-commodity Allocation for Dynamic Demands Using PageRank Vectors / Fan Chung, Paul Horn and Jacob Hughes -- Are We There Yet? When to Stop a Markov Chain while Generating Random Graphs / Jaideep Ray, Ali Pinar and C. Seshadhri -- A Fast Algorithm to Find All High Degree Vertices in Graphs with a Power Law Degree Sequence / Colin Cooper, Tomasz Radzik and Yiannis Siantos.
Record Nr. UCHICAGO-11076982
[WAW (Workshop) (9th : 2012 : Halifax, N.S.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Computational science and its applications-- ICCSA 2012 : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings. Part II / Beniamino Murgante [and others] (eds.).
Computational science and its applications-- ICCSA 2012 : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings. Part II / Beniamino Murgante [and others] (eds.).
Creatore [ICCSA (Conference) (12th : 2012 : Salvador, Brazil)]
Estensione 1 online resource.
Accesso persona Murgante, Beniamino
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Data mining
Algorithm Analysis and Problem Complexity
Simulation and Modeling
Information Systems Applications (incl. Internet)
ISBN 9783642310751
3642310753
9783642310744
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Knowledge and Innovation in Manufacturing Sector: The Case of Wedding Dresses in Southern Italy / Annunziata de Felice, Isabella Martucci and Dario Antonio Schirone -- Marketing Strategies: Support and Enhancement of Core Business / Dario Antonio Schirone and Germano Torkan -- The Rational Quantification of Social Housing / An Operative Research Model / Gianluigi De Mare, Antonio Nesticò and Francesco Tajani -- Simulation of Users Decision in Transport Mode Choice Using Neuro-Fuzzy Approach / Mauro Dell'Orco and Michele Ottomanelli -- Multidimensional Spatial Decision-Making Process: Local Shared Values in Action / Maria Cerreta, Simona Panaro and Daniele Cannatella -- A Proposal for a Stepwise Fuzzy Regression: An Application to the Italian University System / Francesco Campobasso and Annarita Fanizzi -- Cluster Analysis for Strategic Management: A Case Study of IKEA / Paola Perchinunno and Dario Antonio Schirone -- Clustering for the Localization of Degraded Urban Areas / Silvestro Montrone and Paola Perchinunno -- A BEP Analysis of Energy Supply for Sustainable Urban Microgrids / Pasquale Balena, Giovanna Mangialardi and Carmelo Maria Torre -- The Effect of Infrastructural Works on Urban Property Values: The asse attrezzato in Pescara, Italy / Sebastiano Carbonara -- Prospect of Integrate Monitoring: A Multidimensional Approach / Marco Selicato, Carmelo Maria Torre and Giovanni La Trofa -- The Use of Ahp in a Multiactor Evaluation for Urban Development Programs: A Case Study / Luigi Fusco Girard and Carmelo Maria Torre.
Assessing Urban Transformations: A SDSS for the Master Plan of Castel Capuano, Naples / Maria Cerreta and Pasquale De Toro -- Computational Context to Promote Geographic Information Systems toward Human-Centric Perspectives / Luis Paulo da Silva Carvalho and Paulo Caetano da Silva -- Voronoi-Based Curve Reconstruction: Issues and Solutions / Mehran Ghandehari and Farid Karimipour -- Geovisualization and Geostatistics: A Concept for the Numerical and Visual Analysis of Geographic Mass Data / Julia Gonschorek and Lucia Tyrallová -- Spatio-Explorative Analysis and Its Benefits for a GIS-integrated Automated Feature Identification / Lucia Tyrallová and Julia Gonschorek -- Peer Selection in P2P Service Overlays Using Geographical Location Criteria / Adriano Fiorese, Paulo Simões and Fernando Boavida -- Models for Spatial Interaction Data: Computation and Interpretation of Accessibility / Morton E. O'Kelly -- Am I Safe in My Home? Fear of Crime Analyzed with Spatial Statistics Methods in a Central European City / Daniel Lederer -- Developing a GIS Based Decision Support System for Resource Allocation in Earthquake Search and Rescue Operation / Abolfazl Rasekh and Ali Reza Vafaeinezhad -- Concepts, Compass and Computation: Models for Directional Part-Whole Relationships / Gaurav Singh, Rolf A. de By and Ivana Ivánová -- SIGHabitar -- Business Intelligence Based Approach for the Development of Land Information Systems: The Multipurpose Technical Cadastre of Ouro Preto, Brazil / João Tácio C. Silva, José Francisco V. Rezende, Érika Fidêncio, Tarick Melo and Brayan Neves, et al.
Rehabilitation and Reconstruction of Asphalts Pavement Decision Making Based on Rough Set Theory / Shaaban M. Shaaban and Hossam A. Nabwey -- Cartographic Circuits Inside GIS Environment for the Construction of the Landscape Sensitivity Map in the Case of Cremona / Pier Luigi Paolillo, Umberto Baresi and Roberto Bisceglie -- Cloud Classification in JPEG-compressed Remote Sensing Data (LANDSAT 7/ETM+) / Erik Borg, Bernd Fichtelmann and Hartmut Asche -- A Probabilistic Rough Set Approach for Water Reservoirs Site Location Decision Making / Shaaban M. Shaaban and Hossam A. Nabwey -- Definition and Analysis of New Agricultural Farm Energetic Indicators Using Spatial OLAP / Sandro Bimonte, Kamal Boulil, Jean-Pierre Chanet and Marilys Pradel -- Validating a Smartphone-Based Pedestrian Navigation System Prototype / An Informal Eye-Tracking Pilot Test / Mario Kluge and Hartmut Asche -- Open Access to Historical Atlas: Sources of Information and Services for Landscape Analysis in an SDI Framework / Raffaella Brumana, Daniela Oreni, Branka Cuca, Anna Rampini and Monica Pepe -- From Concept to Implementation: Web-Based Cartographic Visualisation with CartoService / Hartmut Asche and Rita Engemaier -- Multiagent Systems for the Governance of Spatial Environments: Some Modelling Approaches / Domenico Camarda -- A Data Fusion System for Spatial Data Mining, Analysis and Improvement / Silvija Stankute and Hartmut Asche -- Dealing with Multiple Source Spatio-temporal Data in Urban Dynamics Analysis / João Peixoto and Adriano Moreira.
Public Decision Processes: The Interaction Space Supporting Planner's Activity / Giuseppe B. Las Casas, Lucia Tilio and Alexis Tsoukiàs -- Selection and Scheduling Problem in Continuous Time with Pairwise-Interdependencies / Ivan Blecic, Arnaldo Cecchini and Giuseppe A. Trunfio -- Parallel Simulation of Urban Dynamics on the GPU / Ivan Blecic, Arnaldo Cecchini and Giuseppe A. Trunfio -- Geolocalization as Wayfinding and User Experience Support in Cultural Heritage Locations / Letizia Bollini and Roberto Falcone -- Climate Alteration in the Metropolitan Area of Bari: Temperatures and Relationship with Characters of Urban Context / Pierangela Loconte, Claudia Ceppi, Giorgia Lubisco, Francesco Mancini and Claudia Piscitelli, et al. -- Study of Sustainability of Renewable Energy Sources through GIS Analysis Techniques / Emanuela Caiaffa, Alessandro Marucci and Maurizio Pollino -- The Comparative Analysis of Urban Development in Two Geographic Regions: The State of Rio de Janeiro and the Campania Region / Massimiliano Bencardino, Ilaria Greco and Pitter Reis Ladeira -- Land-Use Dynamics at the Micro Level: Constructing and Analyzing Historical Datasets for the Portuguese Census Tracts / António M. Rodrigues, Teresa Santos, Raquel Faria de Deus and Dulce Pimentel -- Using Hydrodynamic Modeling for Estimating Flooding and Water Depths in Grand Bay, Alabama / Vladimir J. Alarcon and William H. McAnally -- Comparison of Two Hydrodynamic Models of Weeks Bay, Alabama / Vladimir J. Alarcon, William H. McAnally and Surendra Pathak.
Connections between Urban Structure and Urban Heat Island Generation: An Analysis trough Remote Sensing and GIS / Marialuce Stanganelli and Marco Soravia -- Taking the Leap: From Disparate Data to a Fully Interactive SEIS for the Maltese Islands / Saviour Formosa, Elaine Sciberras and Janice Formosa Pace -- Analyzing the Central Business District: The Case of Sassari in the Sardinia Island / Silvia Battino, Giuseppe Borruso and Carlo Donato -- That's ReDO: Ontologies and Regional Development Planning / Francesco Scorza, Giuseppe B. Las Casas and Beniamino Murgante -- A Landscape Complex Values Map: Integration among Soft Values and Hard Values in a Spatial Decision Support System / Maria Cerreta and Roberta Mele -- Analyzing Migration Phenomena with Spatial Autocorrelation Techniques / Beniamino Murgante and Giuseppe Borruso -- From Urban Labs in the City to Urban Labs on the Web / Viviana Lanza, Lucia Tilio, Antonello Azzato, Giuseppe B. Las Casas and Piergiuseppe Pontrandolfi -- Bilayer Segmentation Augmented with Future Evidence / Silvio Ricardo Rodrigues Sanches, Valdinei Freire da Silva and Romero Tori -- A Viewer-dependent Tensor Field Visualization Using Multiresolution and Particle Tracing / José Luiz Ribeiro de Souza Filho, Marcelo Caniato Renhe, Marcelo Bernardes Vieira and Gildo de Almeida Leonel -- Abnormal Gastric Cell Segmentation Based on Shape Using Morphological Operations / Noor Elaiza Abdul Khalid, Nurnabilah Samsudin and Rathiah Hashim -- A Bio-inspired System for Boundary Detection in Color Natural Scenes / Karin S. Komati, Evandro O.T. Salles and Mario Sarcinelli-Filho.
Record Nr. UCHICAGO-11076991
[ICCSA (Conference) (12th : 2012 : Salvador, Brazil)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Engaging learners through emerging technologies : International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings / Kam Cheong Li [and others] (eds.).
Engaging learners through emerging technologies : International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings / Kam Cheong Li [and others] (eds.).
Creatore [International Conference on ICT in Teaching and Learning (7th : 2012 : Hong Kong, China)]
Estensione 1 online resource.
Accesso persona Li, Kam Cheong
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
ISBN 9783642313981
3642313981
9783642313974
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. The Construct of Student Engagement and the Applications of ICT -- Student Engagement: Meanings, Approaches and Ideas for Educators Interested in ICT / K.C. Li and Fu Lee Wang -- Part 2. Emerging Pedagogies through ICT -- Learning Management System: Japanese Student Perceptions and Expectations / Yoko Hirata and Yoshihiro Hirata -- e-Assessment: A Case of Student-Centred Learning / Madeleine Tsoi and Reggie Kwan -- A Report on the Online Learning Experience of Students in Accounting Course / J. Lam, R. Chan and K. Yan -- An Enhanced e-Assessment System for the Acquisition of Putonghua / Carole Chen, Kenneth Wong, Kat Leung and Reggie Kwan -- Using a Facebook Closed-Group as Part of an Online Course / Daniyar Sapargaliyev -- Social Network Sites and e-Learning Adoption / Ramón Rufín Moreno and Cayetano Medina Molina -- Part 3. Applications of ICT in Teaching and Learning -- An Effective Tool to Support Teaching and Learning of Modular Programming / Fu Lee Wang, Reggie Kwan and Kenneth Wong -- A Mobile Application to Enhance Teaching and Learning in Classroom Environment / Sin-Chun Ng, Andrew Kwok-Fai Lui and Dennis Siu-Fung Tsui -- Design and Development of Multi-subject Item Bank in an M-Learning System / Hui Ye, Zuyuan Wang, Qing Luo and Yuanyuan Hu -- An e-Learning System for Piano Instruction / Ruiheng Sun, Ningsheng Ma, Yuening Zhang, Qing Luo and Hui Ye -- Part 4. Research/Case Studies on ICT in Engaged Learning -- Analysis of Experts' and Novices' Thinking Process in Program Debugging / Ching-Zon Yen, Ping-Huang Wu and Ching-Fang Lin -- Student Teachers' Perception of the VBL System to Enhance Technology Integration Competencies / Ya-Fung Chang, Yi-Chin Chen and Chia-Ling Hsu -- Citizenship Education via an Online Peer Discussion Blended Learning Approach: Lessons Learned / Khe Foon Hew and Wing Sum Cheung -- Tree-Based Comparison for Plagiarism Detection and Automatic Marking of Programming Assignments / Sin-Chun Ng, Andrew Kwok-Fai Lui and Lai-Shan Wong -- Research on the Learner Guide Mechanism in the Virtual Experiment Platform of Physics Based on the Theory of User-Centered Design / Yuanyuan Hu, Zuyuan Wang, Yu Lu and Ruiheng Sun -- Part 5. Turning to a New Page of Open Textbooks -- Overcoming Copyright Hurdles in the Development of Learning Materials in the Digital Era / K.S. Yuen, Linda Chow, Simon K.S. Cheung, K.C. Li and Eva Y.M. Tsang -- Open Access Textbooks: Opportunities and Challenges / Simon K.S. Cheung, K.S. Yuen, K.C. Li, Eva Y.M. Tsang and Alex Wong -- eVolution from Conventional Textbooks to Open Textbooks: A Way Out for Hong / K.C. Li, K.S. Yuen, Simon K.S. Cheung and Eva Y.M. Tsang.
Record Nr. UCHICAGO-11077026
[International Conference on ICT in Teaching and Learning (7th : 2012 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Associative Digital Network Theory [electronic resource] : An Associative Algebra Approach to Logic, Arithmetic and State Machines / by Nico F. Benschop
Associative Digital Network Theory [electronic resource] : An Associative Algebra Approach to Logic, Arithmetic and State Machines / by Nico F. Benschop
Creatore [Benschop, Nico F.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Communication Networks
Communications Engineering, Networks
Logic Design
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
General Algebraic Systems
Computer Science
ISBN 9781402098291
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7937509
[Benschop, Nico F.]  
Software
Lo trovi qui: University of Chicago
Decision and game theory for security : second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, proceedings / John S. Baras, Jonathan Katz, Eitan Altman (eds.).
Decision and game theory for security : second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, proceedings / John S. Baras, Jonathan Katz, Eitan Altman (eds.).
Creatore [GameSec (Conference) (2nd : 2011 : College Park, MD)]
Estensione 1 online resource (x, 257 pages).
Disciplina 005.8
Accesso persona Baras, John S.
Katz, Jonathan, 1974-
Altman, Eitan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Computer software
Information Systems
Systems and Data Security
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
Game Theory, Economics, Social and Behav. Sciences
ISBN 9783642252808
364225280X
9783642252792
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro; Title; Preface; Organization; Table of Contents; Plenary Keynotes; Beyond Nash Equilibrium: Solution Concepts for the 21st Century; References; Network Security Games: Combining Game Theory, Behavioral Economics, and Network Measurements; References; Attacks, Adversaries, and Game Theory; Indices of Power in Optimal IDS Default Configuration: Theory and Examples; Introduction; Related Work; IDS Performance Evaluation; Attack Graphs; Game-Theoretical Methods; Attacker and Detector Model; Cooperative Game Model; Shapley Values and B-C Index; An Example
Multiple Attack Sequences and Multinear ExtensionMultilinear Extension (MLE); Multilinear Approximation; Optimal Default Configuration; An Example; Conclusion; References; Exploiting Adversary's Risk Profiles in Imperfect Information Security Games; Introduction; High Card; Game Parameters; A Round of Play; Sidepots; Round Resolution; Rules in a Nutshell; Examples; Diplomacy; Computer Security; Simulation; Probability of Winning; Utility Functions; Non-modeling Bots; Modeling Bot; Results; Conclusions; References; Wireless Adhoc and Sensor Networks
An Anti-jamming Strategy for Channel Access in Cognitive Radio NetworksIntroduction; Problem Modeling and Solution; Numerical Results; Conclusions; Application to CR; References; Node Capture Games: A Game Theoretic Approach to Modeling and Mitigating Node Capture Attacks; Introduction; Background and Preliminaries; Network Model; Adversarial Model; Related Work on Distributed Clone Detection Model; Analytical Models of Node Capture Attacks; Linear Dynamical Model; Stochastic Model; A Game Theoretic Approach to Modeling Node Capture Attacks; Games Based on the Linear Dynamical Model
Games Based on the Queueing ModelSimulation Results; Conclusion; References; Multi-variate Quickest Detection of Significant Change Process; Introduction; Detection of Disorder at Sensors; Formulation of the Problem; Construction of the Optimal Detection Strategy; The Aggregated Decision via the Cooperative Game; A Simple Game; The Aggregated Decision Rule; A Non-cooperative Stopping Game; The Finite Horizon Game; Infinite Horizon Game; Determining the Strategies of Sensors; Final Remarks; Algorithm; References; Network Games
Interplay between Security Providers, Consumers, and Attackers: A Weighted Congestion Game ApproachIntroduction; Model; User Data Valuation; Security Systems Performance; The Attacker Point of View; User Preferences; User Equilibrium; Structure of a User Equilibrium; The Case of Several Providers with the Same Price; Game Equilibrium as a Solution of an Optimization Problem; Price of Anarchy of the User Game; Pricing Decisions of Security Providers; Licensed versus Free Security Provider; Competition among Providers: The Risk of Price War; Conclusions; References
Record Nr. NYU-006478987
[GameSec (Conference) (2nd : 2011 : College Park, MD)]  
Materiale a stampa
Lo trovi qui: New York University