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.
Security protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers / Bruce Christianson [and others] (eds.).
Security protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers / Bruce Christianson [and others] (eds.).
Creatore [International Workshop on Security Protocols (20th : 2012 : Cambridge, England)]
Estensione 1 online resource.
Disciplina 005.8
Accesso persona Christianson, Bruce
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Computers and Society
ISBN 9783642356940
364235694X
3642356931
9783642356933
Classificazione 54.62
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction: Bringing Protocols to Life (Transcript of Discussion) / Bruce Christianson -- Secure Internet Voting Protocol for Overseas Military Voters / Todd R. Andel, Alec Yasinsac -- Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion) / Todd R. Andel -- Self-enforcing Electronic Voting / Feng Hao, Brian Randell, Dylan Clarke -- Self-enforcing Electronic Voting (Transcript of Discussion) / Feng Hao -- Approaches to Modelling Security Scenarios with Domain-Specific Languages / Phillip J. Brooke, Richard F. Paige, Christopher Power -- Approaches to Modelling Security Scenarios with Domain-Specific Languages (Transcript of Discussion) / Phillip J. Brooke -- The Casino and the OODA Loop / Sandy Clark, Matt Blaze, Jonathan M. Smith -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion) / Matt Blaze -- Statistical Metrics for Individual Password Strength / Joseph Bonneau.
Statistical Metrics for Individual Password Strength (Transcript of Discussion) / Joseph Bonneau -- Street-Level Trust Semantics for Attribute Authentication / Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig -- Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion) / Virgil Gligor -- Analysis of Issues and Challenges of E-Voting in the UK / Dylan Clarke, Feng Hao, Brian Randell -- Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion) / Dylan Clarke -- Protocol Governance: The Elite, or the Mob? / Ross Anderson -- Protocol Governance: The Elite, or the Mob? (Transcript of Discussion) / Ross Anderson -- Usability Issues in Security / Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka -- Usability Issues in Security (Transcript of Discussion) / Yuko Murayama -- Usable Privacy by Visual and Interactive Control of Information Flow / Shah Mahmood, Yvo Desmedt.
Usable Privacy by Visual and Interactive Control of Information Flow (Transcript of Discussion) / Shah Mahmood -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System / Eyüp S. Canlar, Mauro Conti, Bruno Crispo, Roberto Di Pietro -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System (Transcript of Discussion) / Mauro Conti -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices / Oliver Stannard, Frank Stajano -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices (Transcript of Discussion) / Frank Stajano -- Stayin' Alive: Aliveness as an Alternative to Authentication / Jonathan Anderson, Robert N.M. Watson -- Stayin' Alive: Aliveness as an Alternative to Authentication (Transcript of Discussion) / Jonathan Anderson -- Paul Revere Protocols / Paul Syverson -- Paul Revere Protocols (Transcript of Discussion) / Paul Syverson.
Record Nr. NYU-004389354
[International Workshop on Security Protocols (20th : 2012 : Cambridge, England)]  
Materiale a stampa
Lo trovi qui: New York University
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
Creatore [FACS (Symposium) (8th : 2011 : Oslo, Norway)]
Estensione 1 online resource (x, 367 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Arbab, F. (Farhad)
Ölveczky, Peter Csaba
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
ISBN 9783642357435
3642357431
364227269X
9783642272691
3642357423
9783642357428
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language.
Record Nr. NYU-004389659
[FACS (Symposium) (8th : 2011 : Oslo, Norway)]  
Materiale a stampa
Lo trovi qui: New York University
Software quality : increasing value in software and systems development ; 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.).
Software quality : increasing value in software and systems development ; 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.).
Creatore [SWQD 2013 (2013 : Vienna, Austria)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Winkler, Dietmar (Software engineer)
Biffl, Stefan
Bergsmann, Johannes
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information Systems
Management of Computing and Information Systems
Project Management
ISBN 9783642357022
3642357024
9783642357015
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes -- Software Quality: From Requirements to Architecture / Manfred Broy -- Get Access -- The Consortium for IT Software Quality (CISQ) / Richard Mark Soley, Bill Curtis -- Risk Management -- Experiences and Challenges of Introducing Risk-Based Testing in an Industrial Project / Michael Felderer, Rudolf Ramler -- Project Progress and Risk Monitoring in Automation Systems Engineering / Wikan Sunindyo, Thomas Moser, Dietmar Winkler, Richard Mordinyi -- Software and Systems Testing -- WebMate: Generating Test Cases for Web 2.0 / Valentin Dallmeier, Martin Burger, Tobias Orth, Andreas Zeller -- Testing Web Services in the Cloud / Harry M. Sneed -- Model-Based Strategies for Reducing the Complexity of Statistically Generated Test Suites / Winfried Dulz -- Hazard Analysis for Technical Systems / Mario Gleirscher -- Test Processes -- Using Defect Taxonomies to Improve the Maturity of the System Test Process: Results from an Industrial Case Study / Michael Felderer, Armin Beer -- Model-Based Development -- A Transformation of Business Process Models into Software-Executable Models Using MDA / Nuno Santos, Francisco J. Duarte, Ricardo J. Machado, João M. Fernandes -- Aligning Domain-Related Models for Creating Context for Software Product Design / Nuno Ferreira, Nuno Santos, Ricardo J. Machado, Dragan Gašević -- Process Improvement and Measurement -- Mapping CMMI and RUP Process Frameworks for the Context of Elaborating Software Project Proposals / Paula Monteiro, Ricardo J. Machado, Rick Kazman, Ana Lima, Cláudia Simões -- Development and Evaluation of Systems Engineering Strategies: An Assessment-Based Approach / Fritz Stallinger, Reinhold Plösch, Robert Neumann, Stefan Horn, Jan Vollmar -- Improving Completeness of Measurement Systems for Monitoring Software Development Workflows / Miroslaw Staron, Wilhelm Meding, Micael Caiman -- Exploiting Natural Language Definitions and (Legacy) Data for Facilitating Agreement Processes / Christophe Debruyne, Cristian Vasquez.
Record Nr. NYU-004389891
[SWQD 2013 (2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: New York University
System analysis and modeling : theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised selected papers / Øystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
System analysis and modeling : theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised selected papers / Øystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
Creatore [SAM (Workshop : System analysis) (7th : 2012 : Innsbruck, Austria)]
Estensione 1 online resource.
Disciplina 004.2/1
Accesso persona Haugen, Øystein
Reed, Rick
Gotzhein, Reinhard
Genere/Forma Congresses
Llibres electrònics
Congressos
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information Systems
Programming Languages, Compilers, Interpreters
Management of Computing and Information Systems
ISBN 9783642367571
3642367577
3642367569
9783642367564
Classificazione 54.61
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote 1. Models '67 Revisited / Birger Møller-Pedersen -- Test and Analysis I -- Identification and Selection of Interaction Test Scenarios for Integration Testing / Mohamed Mussa, Ferhat Khendek -- An Approach to Specify and Analyze Goal Model Families / Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric Yu -- Language Enhancements -- Real-Time Tasks in SDL / Dennis Christmann, Reinhard Gotzhein -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language / Andreas Blunk, Joachim Fischer -- Fuzzy Subjects -- Behavioral Fuzzing Operators for UML Sequence Diagrams / Martin Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker -- Relativity and Abstract State Machines / Edel Sherratt -- Keynote 2. From Earthquake Detection to Traffic Surveillance -- About Information and Communication Infrastructures for Smart Cities / Joachim Fischer, Jens-Peter Redlich, Björn Scheuermann, Jochen Schiller, Mesut Günes -- Components and Composition -- On Deriving Detailed Component Design from High-Level Service Specification / Urooj Fatima, Rolv Bræk -- Type-Safe Symmetric Composition of Metamodels Using Templates / Henning Berg, Birger Møller-Pedersen -- Configuring and Product Lines -- Towards Correct Product Derivation in Model-Driven Product Lines / Xiaorui Zhang, Birger Møller-Pedersen -- Simulation Configuration Modeling of Distributed Communication Systems / Mihal Brumbulli, Joachim Fischer -- Analysis II -- GRL Model Validation: A Statistical Approach / Jameleddine Hassine, Daniel Amyot -- Configuration-Based Service Availability Analysis for Middleware Managed Applications / Ali Kanso, Maria Toeroe, Ferhat Khendek.
Record Nr. NYU-004390463
[SAM (Workshop : System analysis) (7th : 2012 : Innsbruck, Austria)]  
Materiale a stampa
Lo trovi qui: New York University
Security and privacy protection in information processing systems : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi (eds.).
Security and privacy protection in information processing systems : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi (eds.).
Creatore [IFIP TC11 International Conference on Information Security (28th : 2013 : Auckland, N.Z.)]
Estensione 1 online resource (xiii, 436 pages) : illustrations.
Disciplina 005.8
Accesso persona Janczewski, Lech, 1943-editor
Wolfe, Henry B., editor.
Shenoi, Sujeet, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Computers and Society
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642392184
3642392180
9783642392177
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Malware, authentication and authorization -- Network security/cryptography -- Software security, policy compliance and obligations -- Privacy protection -- Risk analysis and security metrics -- Social engineering -- Security management/forensics.
Record Nr. NYU-004423413
[IFIP TC11 International Conference on Information Security (28th : 2013 : Auckland, N.Z.)]  
Materiale a stampa
Lo trovi qui: New York University
Ad-hoc, mobile, and wireless network : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013 : proceedings / Jacek Cichoń, Maciej Gȩbala, Marek Klonowski (eds.).
Ad-hoc, mobile, and wireless network : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013 : proceedings / Jacek Cichoń, Maciej Gȩbala, Marek Klonowski (eds.).
Creatore [ADHOC-NOW (Conference) (12th : 2013 : Wrocław, Poland)]
Estensione 1 online resource (xiii, 328 pages) : illustrations.
Disciplina 621.382
Accesso persona Cichoń, Jacek
Gębala, Maciej
Klonowski, Marek (Computer scientist)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Information Systems
Telecommunication
Information Systems Applications (incl. Internet)
Communications Engineering, Networks
Management of Computing and Information Systems
Information Storage and Retrieval
ISBN 9783642392474
3642392474
9783642392467
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Design and Assessment of a Reputation-Based Trust Framework in Wireless Testbeds Utilizing User Experience / Aggelos Kapoukakis, Christos Pappas -- Social-Based Routing with Congestion Avoidance in Opportunistic Networks / Alexandru Asandei, Ciprian Dobre, Matei Popovici -- Maximum Lifetime Broadcast in Mobile Sensor Networks / Bruno Nunes, Frederico Barboza, Flávio Assis -- On the Reliability of Wireless Sensor Networks Communications / Alexandre Mouradian, Isabelle Augé-Blum -- Fault Repair Schemes for Static Wireless Sensor Networks Driven by an Analytical Energy Dissipation Model / Skander Azzaz, Leila Azouz Saidane -- I-VDE: A Novel Approach to Estimate Vehicular Density by Using Vehicular Networks / Javier Barrachina, Piedad Garrido, Manuel Fogue -- Repairing Wireless Sensor Network Connectivity with Mobility and Hop-Count Constraints / Thuy T. Truong, Kenneth N. Brown, Cormac J. Sreenan -- Distributed Energy Efficient Data Gathering without Aggregation via Spanning Tree Optimization / Lenka Carr-Motyčková, David Dryml -- Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks / Arnaud Casteigts, Serge Chaumette, Frédéric Guinand.
Evaluating and Bounding Operations Performance in Heterogeneous Sensor and Actuator Networks with Wireless Components / José Cecílio, João Costa, Pedro Martins -- MidSN -- A Middleware for Uniform Configuration and Processing over Heterogeneous Sensor and Actuator Networks / José Cecílio, João Costa, Pedro Martins -- Exploring and Making Safe Dangerous Networks Using Mobile Entities / Mattia D'Emidio, Daniele Frigioni, Alfredo Navarra -- Approximating Maximum Disjoint Coverage in Wireless Sensor Networks / Shagufta Henna, Thomas Erlebach -- Least Channel Variation Multi-channel MAC (LCV-MMAC) / Shagufta Henna, Thomas Erlebach -- Modelling Wireless Sensor Networks for Performability Evaluation / Fredrick A. Omondi, Enver Ever, Purav Shah -- Integration of DANUM-Based Carrier-Grade Mesh Networks and IMS Infrastructure / Przemyslaw Walkowiak, Maciej Urbański -- Group-Based Anonymous On-Demand Routing Protocol for Resource-Restricted Mobile Ad Hoc Networks / George Moldovan, Anda Ignat, Martin Gergeleit -- Greedy Routing Recovery Using Controlled Mobility in Wireless Sensor Networks / Nicolas Gouvy, Nathalie Mitton, Jun Zheng.
A Test-Bed Analysis of Simultaneous PMIPv6 Handover in 802.11 WLANs Environment / Michal Hoeft, Jozef Wozniak -- A Column Generation Approach to Maximize Capacity of Multi-rate Power Controlled TDMA Wireless Sensor Networks / Mejdi Kaddour -- Estimating Time Complexity of Rumor Spreading in Ad-Hoc Networks / Dariusz R. Kowalski, Christopher Thraves Caro -- Strong Connectivity of Wireless Sensor Networks with Double Directional Antennae in 3D / Evangelos Kranakis, Fraser MacQuarrie -- A Graph Parameter That Matches the Resilience of the Certified Propagation Algorithm / Chris Litsas, Aris Pagourtzis, Dimitris Sakavalas -- Beacon-Less Mobility Assisted Energy Efficient Georouting in Energy Harvesting Actuator and Sensor Networks / Nathalie Mitton, Enrico Natalizio, Riaan Wolhuter -- Localization of Submerged Sensors Using Radio and Acoustic Signals with Single Beacon / Anisur Rahman, Vallipuram Muthukkumarasamy -- A Gateway Discovery Approach Using Link Persistence Based Connected Dominating Sets for Vehicular Ad Hoc Networks / Chi Trung Ngo, Hoon Oh -- Comparing Schedules in the SINR and Conflict-Graph Models with Different Power Schemes / Tigran Tonoyan.
Record Nr. NYU-004402663
[ADHOC-NOW (Conference) (12th : 2013 : Wrocław, Poland)]  
Materiale a stampa
Lo trovi qui: New York University
Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Khalil Drira (ed.).
Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Khalil Drira (ed.).
Creatore [ECSA (Conference) (7th : 2013 : Montpellier, France)]
Estensione 1 online resource (xvi, 354 pages) : illustrations.
Disciplina 005.1/2
Accesso persona Drira, Khalil, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Management of Computing and Information Systems
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters
ISBN 9783642390319
3642390315
9783642390302
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Architectural and Design Patterns and Models. Composition-Centered Architectural Pattern Description Language / Minh Tu Ton That [and others] -- Software Reference Architectures -- Exploring Their Usage and Design in Practice / Samuil Angelov, Jos Trienekens, Rob Kusters -- Concurrent Object-Oriented Development with Behavioral Design Patterns / Benjamin Morandi [and others] -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement / Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem -- Towards an Architecture for Managing Big Semantic Data in Real-Time / Carlos E. Cuesta, Miguel A. Martínez-Prieto, Javier D. Fernández -- Controlled Experiment on the Supportive Effect of Architectural Component Diagrams for Design Understanding of Novice Architects / Thomas Haitzer, Uwe Zdun.
ADLs and Architectural MetaModels. Software Architecture Documentation for Developers: A Survey / Dominik Rost [and others] -- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models / Arda Goknil [and others] -- SysADL: A SysML Profile for Software Architecture Description / Jair Leite, Flávio Oquendo, Thais Batista -- A Lightweight Language for Software Product Lines Architecture Description / Eduardo Silva [and others] -- Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs / Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel.
Architectural Design Decision-Making. Classification of Design Decisions -- An Expert Survey in Practice / Cornelia Miesbauer, Rainer Weinreich -- Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse / Marcin Nowak, Cesare Pautasso -- Architectural Decision-Making in Enterprises: Preliminary Findings from an Exploratory Study in Norwegian Electricity Industry / Mohsen Anvaari, Reidar Conradi, Letizia Jaccheri -- Making the Right Decision: Supporting Architects with Design Decision Data / Jan Salvador van der Ven, Jan Bosch -- Architecture-Centric Modeling of Design Decisions for Validation and Traceability / Martin Küster -- Difficulty of Architectural Decisions -- A Survey with Professional Architects / Dan Tofan, Matthias Galster, Paris Avgeriou.
Software Architecture Conformance and Quality. The Role of Quality Attributes in Service-Based Systems Architecting: A Survey / David Ameller [and others] -- Maintaining Architectural Conformance during Software Development: A Practical Approach / Claire Dimech, Dharini Balasubramaniam -- Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations / Ioanna Lytra, Huy Tran, Uwe Zdun -- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker / Lakshitha de Silva, Dharini Balasubramaniam.
Architectural Repair and Adaptation. Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review / Danny Weyns, Tanvir Ahmad -- Towards an Optimized Software Architecture for Component Adaptation at Middleware Level / Thomas Pramsohler, Simon Schenk, Uwe Baumgarten -- Run-Time Support to Manage Architectural Variability Specified with CVL / Gustavo G. Pascual, Mónica Pinto, Lidia Fuentes -- Towards Extensive Software Architecture Erosion Repairs / Matthias Mair, Sebastian Herold.
Short Papers. Benefits and Drawbacks of Reference Architectures / Silverio Martínez-Fernández [and others] -- Swap Fairness for Thrashing Mitigation / François Goichon, Guillaume Salagnac, Stéphane Frénot -- Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes / Henrik Bærbak Christensen, Klaus Marius Hansen -- Describing Cloud Applications Architectures / Everton Cavalcante, Ana Luisa Medeiros, Thais Batista -- MVIC -- An MVC Extension for Interactive, Multimodal Applications / Marc Hesenius, Volker Gruhn -- Toward Industry Friendly Software Architecture Evaluation / Zhao Li, Jiang Zheng.
Towards Continuous Reference Architecture Conformance Analysis / Georg Buchgeher, Rainer Weinreich -- Towards Automated Deployment of Distributed Adaptation Systems / Mohamed Zouari, Ismael Bouassida Rodriguez -- Towards a Bigraph-Based Model for Context-Aware Adamptive Systems / Taha Abdelmoutaleb Cherfia, Faïza Belala -- Characterising Software Platforms from an Architectural Perspective / Ulrik Eklund, Carl Magnus Olsson, Marcus Ljungblad -- Specifying System Architecture from SysML Requirements and Component Interfaces / Samir Chouali, Oscar Carrillo, Hassan Mountassir.
Record Nr. NYU-004420408
[ECSA (Conference) (7th : 2013 : Montpellier, France)]  
Materiale a stampa
Lo trovi qui: New York University
Smart card research and advanced applications : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised selected papers / Stefan Mangard (ed.).
Smart card research and advanced applications : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised selected papers / Stefan Mangard (ed.).
Creatore [CARDIS (Conference) (11th : 2012 : Graz, Austria)]
Estensione 1 online resource.
Disciplina 006.2/46
Accesso persona Mangard, Stefan
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Systems and Data Security
ISBN 9783642372889
3642372880
9783642372872
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Java Card Security. Towards the Hardware Accelerated Defensive Virtual Machine -- Type and Bound Protection / Michael Lackner [and others] -- Dynamic Fault Injection Countermeasure / Guillaume Barbu, Philippe Andouard, Christophe Giraud -- Java Card Combined Attacks with Localization-Agnostic Fault Injection / Julien Lancia -- Protocols. Improved (and Practical) Public-Key Authentication for UHF RFID Tags / Sébastien Canard, Loïc Ferreira, Matt Robshaw -- Unlinkable Attribute-Based Credentials with Practical Revocation on Smart-Cards / Jan Hajny, Lukas Malina -- Side-Channel Attacks I. On the Use of Shamir's Secret Sharing against Side-Channel Analysis / Jean-Sébastien Coron, Emmanuel Prouff, Thomas Roche -- Secure Multiple SBoxes Implementation with Arithmetically Masked Input / Luk Bettale -- Low-Cost Countermeasure against RPA / Jean-Luc Danger [and others] -- Efficient Removal of Random Delays from Embedded Software Implementations Using Hidden Markov Models / François Durvaux, Mathieu Renauld, François-Xavier Standaert -- Implementations. On the Implementation Aspects of Sponge-Based Authenticated Encryption for Pervasive Devices / Tolga Yalçın, Elif Bilge Kavun -- Compact Implementation and Performance Evaluation of Hash Functions in ATtiny Devices / Josep Balasch [and others] -- Putting together What Fits together -- GrÆStl / Markus Pelnar, Michael Muehlberghuber, Michael Hutter -- Implementations for Resource-Constrained Devices. Memory Access Pattern Protection for Resource-Constrained Devices / Yuto Nakano [and others] -- Multipurpose Cryptographic Primitive ARMADILLO3 / Petr Sušil, Serge Vaudenay -- Side-Channel Attacks II. Improving Side-Channel Analysis with Optimal Linear Transforms / David Oswald, Christof Paar -- SCA with Magnitude Squared Coherence / Sebastien Tiran, Philippe Maurine -- Strengths and Limitations of High-Resolution Electromagnetic Field Measurements for Side-Channel Analysis / Johann Heyszl [and others] -- Efficient Template Attacks Based on Probabilistic Multi-class Support Vector Machines / Timo Bartkewitz, Kerstin Lemke-Rust -- Invited Talk. Defensive Leakage Camouflage / Eric Brier [and others].
Record Nr. NYU-004391062
[CARDIS (Conference) (11th : 2012 : Graz, Austria)]  
Materiale a stampa
Lo trovi qui: New York University
Ad hoc networks : third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised selected papers / David Simplot-Ryl [and others] (eds.).
Ad hoc networks : third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised selected papers / David Simplot-Ryl [and others] (eds.).
Creatore [ADHOCNETS 2011 (2011 : Paris, France)]
Estensione 1 online resource (viii, 238 pages).
Disciplina 004.6
Accesso persona Simplot-Ryl, David
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer system performance
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
System Performance and Evaluation
ISBN 9783642290961
3642290965
3642290957
9783642290954
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Session 1 -- Security and QoS -- Secure Scheduling of Wireless Video Sensor Nodes for Surveillance Applications / Jacques M. Bahi, Christophe Guyeux, Abdallah Makhoul and Congduc Pham -- A Hierarchical Deterministic Key Pre-distribution for WSN Using Projective Planes / Sarbari Mitra, Ratna Dutta and Sourav Mukhopadhyay -- Towards a Complete Multi-layered Framework for IEEE-802.11e Multi-hop Ad Hoc Networks / Rachid El-Azouzi, Essaid Sabir, Mohammed Raiss El Fenni and Sujit Kumar Samanta -- Part 2. Session 2 -- WSN Development and Evaluation -- Towards Realistic and Credible Wireless Sensor Network Evaluation / Kamini Garg, Anna Förster, Daniele Puccinelli and Silvia Giordano -- Adaptive Hierarchical Network Structures for Wireless Sensor Networks / Dimitrios Amaxilatis, Ioannis Chatzigiannakis, Shlomi Dolev, Christos Koninis and Apostolos Pyrgelis, et al. -- Algorithms on Improving End-to-End Connectivity and Barrier Coverage in Stochastic Network Deployments / Zhilbert Tafa -- Part 3. Session 3 -- Radio and Spectrum Analysis / Collaborative Spectrum Sensing Scheme: Quantized Weighting with Censoring -- Valentina Pavlovska and Liljana Gavrilovska -- Performance Analysis of Multichannel Radio Link Control in MIMO Systems / Jun Li, Yifeng Zhou, Yuanyuan Liu and Louise Lamont -- Improving Data Dissemination in Multi-hop Cognitive Radio Ad-Hoc Networks / Mubashir Husain Rehmani, Aline Carneiro Viana, Hicham Khalife and Serge Fdida.
Part 4. Session 4 -- Mobile WSNs -- Cooperative MAC Scheduling in CDMA-MANETs with Multiuser Detection / Jun Li, Yifeng Zhou, Mathieu Déziel and Louise Lamont -- MobileR: Multi-hop Energy Efficient Localised Mobile Georouting in Wireless Sensor and Actuator Networks / Nicolas Gouvy and Nathalie Mitton -- Neighbour Selection and Sensor Knowledge: Proactive Approach for the Frugal Feeding Problem in Wireless Sensor Networks / Elio Velazquez and Nicola Santoro -- Part 5. Session 5 -- Mobile Ad Hoc Networks -- Connectivity of Vehicular Ad Hoc Networks in Downtown Scenarios / Shigeo Shioda -- An Energy-Delay Routing Protocol for Video Games over Multihops Ad Hoc Networks / Arnaud Kaiser, Khaled Boussetta and Nadjib Achir -- Part 6. Session 6 -- Energy -- An Energy Analysis of IEEE 802.15.6 Scheduled Access Modes for Medical Applications / Christos Tachtatzis, Fabio Di Franco, David C. Tracey, Nick F. Timmons and Jim Morrison -- A Localized Algorithm Based on Minimum Cost Arborescences for the MECBS Problem with Asymmetric Edge Costs / Frederico Barboza and Flávio Assis.
Record Nr. NYU-004622590
[ADHOCNETS 2011 (2011 : Paris, France)]  
Materiale a stampa
Lo trovi qui: New York University
Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.).
Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.).
Creatore [FAW-AAIM (Conference) (2012 : Beijing, China)]
Estensione 1 online resource (xvii, 370 pages).
Disciplina 005.1
Accesso persona Snoeyink, Jack
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Information theory
Computer software
Computational complexity
Information Systems
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Mathematics of Computing
Theory of Computation
Management of Computing and Information Systems
ISBN 9783642297007
3642297005
3642296998
9783642296994
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations / Bryan He -- Succinct Strictly Convex Greedy Drawing of 3-Connected Plane Graphs / Jiun-Jie Wang and Xin He -- Weighted Inverse Minimum Cut Problem under the Sum-Type Hamming Distance / Longcheng Liu, Yong Chen, Biao Wu and Enyu Yao -- Voronoi Diagram with Visual Restriction / Chenglin Fan, Jun Luo, Wencheng Wang and Binhai Zhu -- Minimization of the Maximum Distance between the Two Guards Patrolling a Polygonal Region / Xuehou Tan and Bo Jiang -- On Covering Points with Minimum Turns / Minghui Jiang -- On Envy-Free Pareto Efficient Pricing / Xia Hua -- Online Pricing for Multi-type of Items / Yong Zhang, Francis Y.L. Chin and Hing-Fung Ting -- Algorithms with Limited Number of Preemptions for Scheduling on Parallel Machines / Yiwei Jiang, Zewei Weng and Jueliang Hu -- Computing Maximum Non-crossing Matching in Convex Bipartite Graphs / Danny Z. Chen, Xiaomin Liu and Haitao Wang -- Algorithms for Bandwidth Consecutive Multicolorings of Graphs / (Extended Abstract) / Kazuhide Nishikawa, Takao Nishizeki and Xiao Zhou.
Independent Domination on Tree Convex Bipartite Graphs / Yu Song, Tian Liu and Ke Xu -- On-Line Scheduling of Parallel Jobs in Heterogeneous Multiple Clusters / Deshi Ye and Lili Mei -- On Multiprocessor Temperature-Aware Scheduling Problems / Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli, Evangelos Markakis and Ioannis Milis -- Online Minimum Makespan Scheduling with a Buffer / Yan Lan, Xin Chen, Ning Ding, György Dósa and Xin Han -- A Dense Hierarchy of Sublinear Time Approximation Schemes for Bin Packing / Richard Beigel and Bin Fu -- Multivariate Polynomial Integration and Differentiation Are Polynomial Time Inapproximable Unless P=NP / Bin Fu -- Some Remarks on the Incompressibility of Width-Parameterized SAT Instances / Bangsheng Tang -- Kernels for Packing and Covering Problems / (Extended Abstract) / Jianer Chen, Henning Fernau, Peter Shaw, Jianxin Wang and Zhibiao Yang -- The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter / Junping Zhou and Minghao Yin -- Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations / Chihao Zhang and Hongyang Zhang -- On Editing Graphs into 2-Club Clusters / Hong Liu, Peng Zhang and Daming Zhu.
Solving Generalized Optimization Problems Subject to SMT Constraints / Feifei Ma, Jun Yan and Jian Zhang -- Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition / Yanyan Xu, Wei Chen, Kaile Su and Wenhui Zhang -- Zero-Sum Flow Numbers of Regular Graphs / Tao-Ming Wang and Shih-Wei Hu -- More Efficient Parallel Integer Sorting / Yijie Han and Xin He -- Fast Relative Lempel-Ziv Self-index for Similar Sequences / Huy Hoang Do, Jesper Jansson, Kunihiko Sadakane and Wing-Kin Sung -- A Comparison of Performance Measures via Online Search / Joan Boyar, Kim S. Larsen and Abyayananda Maiti -- Online Exploration of All Vertices in a Simple Polygon / Yuya Higashikawa and Naoki Katoh -- In-Place Algorithms for Computing a Largest Clique in Geometric Intersection Graphs / Minati De, Subhas C. Nandy and Sasanka Roy -- The Black-and-White Coloring Problem on Distance-Hereditary Graphs and Strongly Chordal Graphs / Ton Kloks, Sheung-Hung Poon, Feng-Ren Tsai and Yue-Li Wang -- An Improved Approximation Algorithm for the Bandpass Problem / Weitian Tong, Randy Goebel, Wei Ding and Guohui Lin -- Partial Degree Bounded Edge Packing Problem / Peng Zhang -- Erratum: The Approximability of the Exemplar Breakpoint Distance Problem / Zhixiang Chen, Bin Fu and Binhai Zhu.
Record Nr. NYU-004622799
[FAW-AAIM (Conference) (2012 : Beijing, China)]  
Materiale a stampa
Lo trovi qui: New York University