close
1.

電子ブック

EB
Thomas Strang, Andreas Festag, Takeo Kanade, Rashid Mehmood, Cristina Rico Garcia, Matthias R?ckl, Alexey Vinel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
An Experimental Study of Multi-radio Platform Coexistence in the 5 GHz Band for Railway Applications / Jorge Higuera ; Elli Kartsakli ; Carlos Collado ; José M. González-Arbesú ; Luis Alonso ; José Luis Valenzuela ; Andres Laya ; Enrique Flores ; Isabel Navarro ; Raquel Martínez ; Jesús Gonzalez ; José Hierro ; Adrian Vlad
Train Tracking and Shadowing Estimation Based on Received Signal Strength / Hadi Noureddine ; Damien Castelain ; Ramesh Pyndiah
Delivering Broadband Internet Access for High Speed Trains Passengers Using an Innovative Network Mobility Solution / Bernadette Villeforceix
Measurement and Analysis of the Direct Train to Train Propagation Channel in the 70 cm UHF-Band / Andreas Lehner ; Cristina Rico García ; Thomas Strang ; Oliver Heirich
WiMaX'ble Pervasive Cloud - Empowering Next Generation Intelligent Railway Infrastructure / Subrahmanya Venkata Radha Krishna Rao ; Vivek Diwanji
The MIH (Media Independent Handover) Contribution to Mobility Management in a Heterogeneous Railway Communication Context: A IEEE802.11/802.16 Case Study / Marina Aguado ; Jasone Astorga ; Jon Matias ; Maider Huarte
Multiple Description Coding and Scalable Video Coding Combined with Multiple Input Multiple Output Techniques: Two Strategies to Enhance Train to wayside Video Transmissions in Tunnels / Imade Fahd Eddine Fatani ; Yann Cocheril ; Crépin Nsiaia ; Marion Berbineau ; François-Xavier Coudoux ; Marie Zwingelstein-Colin ; Patrick Corlay
Road Track
VANET Architectures and Protocol Stacks: A Survey / Sajjad Akbar Mohammad ; Asim Rasheed ; Amir Qayyum
Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications / Sebastian Röglinger ; Christian Facchi
Wireless ProtocoI Design for a Cooperative Pedestrian Protection System / Dirk Lill ; Manuel Schappacher ; Shohidul Islam ; Axel Sikora
A Vehicular Mobility Model Based on Real Traffic Counting Data / Yoann Pigné ; Grégoire Danoy ; Pascal BoUvry
Driver-Centric VANET Simulation / Pedro Gomes ; Cristina Olaverri-Monreal ; Michel Ferreira ; Luís Damas
Simulative Evaluation of the Potential of Car2X-Communication in Terms of Efficiency / Benno Schweiger ; Philipp Ehnert ; Johann Schlichter
Perfonnance Study of an In-Car Switched Ethernet Network without Prioritization / Hyung-Taek Lim ; Kay Weckemann ; Daniel Herrscher
Degradation of Communication Range in VANETs Caused by Interference 2.0 - Real-World Experiment / Robert K. Schmidt ; Bernhard Kloiber ; Florian Schüttler ; Thomas Sterang
Real-World Measurements of Non-Line-Of-Sight Reception Quality for 5.9GHz IEEE 802.111' at Intersections / Thomas Mangel ; Matthias Michl ; Oliver Klemp ; Hannes Hartenstein
Interoperability Testing Suite for C2X Communication Components / Fabian de Ponte Müller ; Juan María Reveriego Sierra ; Matthias Röckl
Towards Standardization of In-Cal Sensors / Zubair Nabi ; Atif Alvi ; Rashid Mehmood
Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates / Muhammad Sabir Idrees ; Hendrik Schweppe ; Yues Roudier ; Marko Wolf ; Dirk Scheuermann ; Olaf Hennzger
Author Index
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
2.

電子ブック

EB
Andreas Koch, Tarek El-Ghazawi, Takeo Kanade, Ram Krishnamurthy, John McAllister, Roger Woods
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Plenary Talks
Reconfigurable Computing for High Performance Networking Applications / Gordon Brebner
Biologically-Inspired Massively-Parallel Architectures: A Reconfigurable Neural Modelling Platform / Steve Furber
Reconfigurable Accelerators I
A Reconfigurable Audio Beamforming Multi-Core Processor / Dimitris Theodoropoulos ; Georgi Kuzmanov ; Georgi Gaydadjiev
A Regular Expression Matching Circuit Based on a Decomposed Automaton / Hiroki Nakahara ; Tsutomu Sasao ; Munehiro Matsuura
Design and Implementation of a Multi-Core Crypto-Processor for Software Defined Radios / Michael Grand ; Lilian Bossuet ; Bertrand Le Gal ; Guy Gogniat ; Dominique Dallet
Design Tools
Application Specific Memory Access, Reuse and Reordering for SDRAM / Samuel Bayliss ; George A. Constantinides
Automatic Generation of FPGA-Specific Pipelined Accelerators / Christophe Alias ; Bogdan Pasca ; Alexandru Plesco
HLS Tools for FPGA: Faster Development with Better Performance / Alexandre Cornu ; Steven Derrien ; Dominique Lavenier
Posters 1
A (Fault-Tolerant)2 Scheduler for Real-Time Hw Tasks / Xabier Iturbe ; Khaled Benkrid ; Tughrul Arslan ; Mikel Azkarate ; Imanol Martinez
A Compact Gaussian Randon Number Generator for Small Word Lengths / Subhasis Das ; Sachin Patkar
Accurate Floating Point Arithmetic through Hardware Error-Free Transformations / Manouk V. Manoulkian
Active storage Networks for Acceleratinog K-Means Data Clustering / Janardhan Singaraju ; John A. Chandy
An FPGA Implementation for Texture Analysis Considering the Real-Time Requirements of Vision-Based Systems / Mario-Alberto ; Ibarra-Manzano ; Dora-Luz ; Almanza-Ojeda
CReAMS: An Embedded Multiprocessor Platform / Mateus B. Rutzig ; Antonio Carlos S. Beck ; Luigi Carro
Dataflow Graph Partitioning for Optimal Spatio-Temporal Computation on a Coarse Grain Recofigurable Architecture / Ratna Krishnamoorthy ; Keshavan Varadarajan ; Masahiro Fujita ; Mythri Alle ; S.K. Nandy ; Ranjani Narayan
Reconfigurable Processors
A Pipeline Interleaved Heterogeneous SIMD Soft Processor Array Architecture for MIMO-OFDM / Xuezheng Chu ; John McAlister ; Roger Woods
Design Implementation, and Verification of an Adaptable Processor in Lava HDL / Stefan Schulze ; Sergei Sawitzki
Towards an Adaptable Multiple-ISA Reconfigurable Processor / Jair Fajardo Junior ; Antonio Carlos S. ; Beck
Applications
FPGA-Based Cherenkov Ring Rcognition in Nuclear and Particle Physics Experiments / Ming Liu ; Zhonghai Lu ; Wolfgang Kuehn ; Axel Jantsch
Waync Luk / Yoshiki Yamaguchi ; Hung Kuen Tsoi
Index to Constant Weight Codeword Converter / Jon T. Butler
On-Chip Ego-Motion Estimation Based on Optical Flow / Mauricio Vanegas ; Leonardo Rubio ; Matteo Tomasi ; Javier Diaz ; Eduardo Ros
Device Architecture
Comparison between Heterogeneous Mesh-Based and Tree-Based Application Specific FPGAa / Umer Farooq ; Husain Parvez ; Zied Marrakchi ; Habib Mehrez
Dynamic VDD Switching Technique and Mapping Optimization in Dynamically Reconfigurable Processor for Efficient Energy Reduction / Tatsuya Yamamoto ; Kazuei Hironaka ; Yuki Hayakawa ; Masayuki Kimura ; Hideharu Amano ; Kimiyoshi Usami
MEMS Interleaving Read Operation of a Holographic Memory for Optically Reconfigurable Gate Arrays / Hironobu Morita ; Minoru Watanabe
Posters 2
FaRM: Fast Reconfiguration Manager for Reducing Reconfiguration Time Overhead on FPGA / François Duhem ; Fabrice Muller ; Philippe Lorenzini
Feasibility Analysis of Reconfigurable Computing in Low-Power Wireless Sensor Applications / Andreas Engel ; Björn Liebig ; Andreas Koch
Hierarchical Optical Flow Estimation Architecture Using Color Cues / Francisco Barranco
Magnetic Look-Up Table (MLUT) Featuring Radiation Hardness, High Performance and Low power / Yahya Lakys ; Weisheng Zhao ; Jacques-Olivier Klein ; Claude Chappert
Reconfigurable Stream-Processing Architecture for Sparse Linear Solvers / Kevin Cunningham ; Prawat Naguajara
The Krawczyk Algorithm: Rigorous Bounds for Linear Equation Solution on an FPGA / Christophe Le Lann ; David Boland ; George Constantinides
A Dynamic Reconfigurable CPLD Architecture for Structured ASIC Technology / Traian Tulbure
Reconfigurable Accelerators II
FPGA Accelerated Parallel Sparse Matrix Factorization for Circuit Simulations / Wei Wu ; Yi Shan ; Xiaoming Chen ; Yu Wang ; Huazhong Yang
FPGA Optimizations for a Pipelined Floating-Point Exponential Unit / Nikolaos Alachiotis ; Alexandros Stamatakis
NetStage/DPR: A Self-adaptable FPGA Platform for Application-Level Network Security / Sascha Muhlbach
Methodology and Simulation
A Correlation Power Analysis Attack against Tate Pairing on FPGA / Weibo Pan ; William P. Marnane
From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype / Nehir Sonmez ; Oriol Arcas ; Gokhan Sayilar ; Osman S. Unsal ; Adrián Cristal ; Ibrahim Hur ; Satnam Singh ; Mateo Valero
System Architecture
Architectural Support for Multithreading on Reconfigurable Hardware / Pavel G. Zaykov
High Performance Programmable FPGA Overlay for Digital Signal Processing / Seamas McGettrick ; Kunjan Patel ; Chris Bleakley
Secure Virtualization within a Multi-processor Soft-Core System-en-Chip Architecture / Alexander Biedermann ; Marc Stöttinger ; Lijing Chen ; Sarin A.Huss
Author Index
Plenary Talks
Reconfigurable Computing for High Performance Networking Applications / Gordon Brebner
Biologically-Inspired Massively-Parallel Architectures: A Reconfigurable Neural Modelling Platform / Steve Furber
3.

電子ブック

EB
Neil Spring, Takeo Kanade, George F. Riley
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Operating a Network Link at 100% / Changhyun Lee ; DK Lee ; Yung Yi ; Sue Moon
Dynamics of Prefix Usage at an Edge Router / Kaustubh Gadkari ; Daniel Massey ; Christos Papadopoulos
Evolution of Cache Replacement Policies to Track Heavy-Hitter Flows / Martin Zadnik ; Marco Canini
NAT Usage in Residential Broadband Networks / Gregor Maier ; Fabian Schneider ; Anja Feldmann
The Efficacy of Path Loss Models for Fixed Rural Wireless Links / Caleb Phillips ; Scott Raynel ; Jamie Curtis ; Sam Bartels ; Douglas Sicker ; Dirk Grunwald ; Tony McGregor
Dissecting 3G Uplink Delay by Measuring in an Operational HSPA Network / Markus Laner ; Philipp Svoboda ; Eduard Hasenleithner ; Markus Rupp
On the Potential of Fixed-Beam 60 GHz Network Interfaces in Mobile Devices / Kishore Ramachandran ; Ravi Kokku ; Rajesh Mahindra ; Kenichi Maruhashi
On the Feasibility of Prefetching and Caching for Online TV Services: A Measurement Study on Hulu / Dilip Kumar Krishnappa ; Samamon Khemmarat ; Lixin Gao ; Michael Zink
On the Feasibility of Bandwidth Detouring / Thorn Haddow ; Sing Wang Ho ; Jonathan Ledlie ; Cristian Lumezanu ; Moez Draief ; Peter Pietzuch
Can Network Characteristics Detect Spam Effectively in a Stand-Alone Enterprise? / Tu Ouyang ; Soumya Ray ; Michael Rabinovich ; Mark Allman
Detecting and Analyzing Automated Activity on Twitter / Chao Michael Zhang ; Vern Paxson
A Practical Approach to Portscan Detection in Very High-Speed Links / Jakub Mikians ; Pere Barlet-Ros ; Josep Sanjuàs-Cuxart ; Josep Solé-Pareta
Omnify: Investigating the Visibility and Effectiveness of Copyright Monitors / Rahul Potharaju ; Jeff Seibert ; Sonia Fahmy ; Cristina Nita-Rotaru
Internet Censorship in China: Where Does the Filtering Occur? / Xueyang Xu ; Z. Morley Mao ; J. Alex Halderman
Route Flap Damping Made Usable / Cristel Pelsser ; Olaf Maennel ; Pradosh Mohapatra ; Randy Bush ; Keyur Patel
On Reducing the Impact of Interdomain Route Changes / Kyriaki Levanti ; Sihyung Lee ; Hyong S. Kim
Inferring the Origin of Routing Changes Based on Preferred Path Changes / Masafumi Watari ; Atsuo Tachibana ; Shigehiro Ano
A Comparative Study of Handheld and Non-handheld Traffic in Campus Wi-Fi Networks / Aaron Gember ; Ashok Anand ; Aditya Akella
Unveiling the BitTorrent Performance in Mobile WiMAX Networks / Xiaofei Wang ; Seungbae Kim ; Ted "Taekyoung" Kwon ; Hyun-chul Kim ; Yanghee Choi
Peeling Away Timing Error in NetFlow Data / Brian Trammell ; Bernhard Tellenbach ; Dominik Schatzmann ; Martin Burkhart
Clockscalpel: Understanding Root Causes of Internet Clock Synchronization Inaccuracy / Chi-Yao Hong ; Chia-Chi Lin ; Matthew Caesar
FACT: Flow-Based Approach for Connectivity Tracking / Simon Leinen ; Jochen Kögel ; Wolfgang Mühlbauer
Non-cooperative Diagnosis of Submarine Cable Faults / Edmond W.W. Chan ; Xiapu Luo ; Waiting W.T. Fok ; Weichao Li ; Rocky K.C. Chang
Measuring and Characterizing End-to-End Route Dynamics in the Presence of Load Balancing / Ítalo Cunha ; Renata Teixeira ; Christophe Diot
Author Index
Operating a Network Link at 100% / Changhyun Lee ; DK Lee ; Yung Yi ; Sue Moon
Dynamics of Prefix Usage at an Edge Router / Kaustubh Gadkari ; Daniel Massey ; Christos Papadopoulos
Evolution of Cache Replacement Policies to Track Heavy-Hitter Flows / Martin Zadnik ; Marco Canini
4.

電子ブック

EB
Marcos K. Aguilera, Romit Roy Choudhury, Takeo Kanade, Vikram Srinivasan, Nitin H. Vaidya, Haifeng Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
The Inherent Complexity of Transactional Memory and What to Do about It (Invited Talk) / Hagit Attiya
Sustainable Ecosystems: Enabled by Supply and Demand Management (Invited Talk) and IEEE Fellow / Chandrakant D. Patel
Unclouded Vision (Invited Talk) / Jon Crowcroft ; Anil Madhavapeddy ; Malte Schwarzkopf ; Theodore Hong ; Richard Mortier
Generating Fast Indulgent Algorithms / Dan Alistarh ; Seth Gilbert ; Rachid Guerraoui ; Corentin Travers
An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem / Venkatesan T. Chakaravarthy ; Anamitra R. Choudhury ; Vijay K. Garg ; Yogish Sabharwal
Deterministic Dominating Set Construction in Networks with Bounded Degree / Roy Friedman ; Alex Kogan
PathFinder: Efficient Lookups and Efficient Search in Peer-to-Peer Networks / Dirk Bradler ; Lachezar Krumov ; Max Mühlhäuser ; Jussi Kangasharju
Single-Version STMs Can Be Multi-version Permissive (Extended Abstract) / Eshcar Hillel
Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems / Sathya Peri ; Krishnamurthy Vidyasankar
Locality-Conscious Lock-Free Linked Lists / Anastasia Braginsky ; Erez Petrank
Specification and Constant RMR Algorithm for Phase-Fair Reader-Writer Lock / Vibhor Bhatt ; Prasad Jayanti
On the Performance of Distributed Lock-Based Synchronization / Yuval Lubowich ; Gadi Taubenfeld
Distributed Generalized Dynamic Barrier Synchronization / Shivali Agarwal ; Saurabh Joshi ; Rudrapatna K. Shyamasundar
A High-Level Framework for Distributed Processing of Large-Scale Graphs / Elzbieta Krepska ; Thilo Kielmann ; Wan Fokkink ; Henri Bal
Affinity Driven Distributed Scheduling Algorithm for Parallel Computations / Ankur Narang ; Abhinav Srivastava ; Naga Praveen Kumar
Temporal Specifications for Services with Unboundedly Many Passive Clients / Shamimuddin Sheerazuddin
Relating L-Resilience and Wait-Freedom via Hitting Sets / Eli Gafni ; Petr Kuznetsov
Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information / Valerie King ; Steven Lonargan ; Jared Saia ; Amitabh Trehan
A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks / Olivier Baldellon ; Achour Mostéfaoui ; Michel Raynal
GoDisco: Selective Gossip Based Dissemination of Information in Social Community Based Overlays / Anwitaman Datta ; Rajesh Sharma
Mining Frequent Subgraphs to Extract Communication Patterns in Data-Centres / Maitreya Natu ; Vaishali Sadaphal ; Sangameshwar Patil ; Ankit Mehrotra
On the Hardness of Topology Inference / H.B. Acharya ; M.G. Gouda
An Algorithm for Traffic Grooming in WDM Mesh Networks Using Dynamic Path Selection Strategy / Sukanta Bhattacharya ; Tanmay De ; Ajit Pal
Analysis of a Simple Randomized Protocol to Establish Communication in Bounded Degree Sensor Networks / Bala Kalyanasundaram ; Mahendran Velauthapillai
Reliable Networks with Unreliable Sensors / Srikanth Sastry ; Tsvetomira Radeva ; Jianer Chen ; Jennifer L. Welch
Energy Aware Fault Tolerant Routing in Two-Tiered Sensor Networks / Ataul Bari ; Arunita Jaekel ; Subir Bandyopadhyay
Scheduling Randomly-Deployed Heterogeneous Video Sensor Nodes for Reduced Intrusion Detection Time / Congduc Pham
An Integrated Routing and Medium Access Control Framework for Surveillance Networks of Mobile Devices / Nicholas Martin ; Yamin Al-Mousa ; Nirmala Shenoy
Security in the Cache and Forward Architecture for the Next Generation Internet / G.C. Hadjichristofi ; C.N. Hadjicostis ; D. Raychaudhuri
Characterization of Asymmetry in Low-Power Wireless Links: An Empirical Study / Prasant Misra ; Nadeem Ahmed ; Diethelm Ostry ; Sanjay Jha
Model Based Bandwidth Scavenging for Device Coexistence in Wireless LANs / Anthony Plummer Jr. ; Mahmoud Taghizadeh ; Subir Biswas
Minimal Time Broadcasting in Cognitive Radio Networks / Chanaka J. Liyana Arachchige ; S. Venkatesan ; R. Chandrasekaran ; Neeraj Mittal
Traffic Congestion Estimation in VANETs and Its Application to Information Dissemination / Rayman Preet Singh ; Arobinda Gupta
A Tiered Addressing Scheme Based on a Floating Cloud Internetworking Model / Yoshihiro Nozaki ; Hasan Tuncer
DHCP Origin Traceback / Saugat Majumdar ; Dhananjay Kulkarni ; Chinya V. Ravishankar
A Realistic Framework for Delay-Tolerant Network Routing in Open Terrains with Continuous Churn / Veeramani Mahendran ; Sivaraman K. Anirudh ; C. Siva Ram Murthy
Author Index
The Inherent Complexity of Transactional Memory and What to Do about It (Invited Talk) / Hagit Attiya
Sustainable Ecosystems: Enabled by Supply and Demand Management (Invited Talk) and IEEE Fellow / Chandrakant D. Patel
Unclouded Vision (Invited Talk) / Jon Crowcroft ; Anil Madhavapeddy ; Malte Schwarzkopf ; Theodore Hong ; Richard Mortier
5.

電子ブック

EB
Yongwha Chung, Takeo Kanade, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Cryptosystem
Construction of Identify Based Signcryption Schemes / Sumit Kumar Pandey ; Rana Barua
Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage / Atsushi Fujioka ; Koutarou Suzuki ; Kazuki Yoneyama
A New Efficient Construction for Non-Malleable Zero-Knowledge Sets / Wenpan Jing ; Haixia Xu ; Bao Li
Distributed Paillier Cryptosystem without Trusted Dealer / Takashi Nishide ; Kouichi Sakurai
Implementation
Fast Scalar Multiplication for ECC over GF(p) Using Division Chains / Colin D. Walter
Design of a Novel Pseudo-Random Generator Based on Vectorial FCSRs / Boufeldja Allailou ; Abdelaziz Marjane ; Abdellah Mokrane
Low-Resource Hardware Design of an Elliptic Curve Processor for Contactless Devices / Erich Wenger ; Martin Feldhofer ; Nobert Felber
A Design Procedure for Oscillator-Based Hardware Random Number Generator with Stochastic Behavior Modeling / Takehiko Amaki ; Masanori Hashimoto ; Yukio Mitsuyama ; Takao Onoye
Mobile Security/Secure Coding
Using Special Use Cases for Security in the Software Development Life Cycle / Jean-Marie Kabasele Tenday
Efficient and Optimally Secure In-Network Aggregation in Wireless Sensor Networks / Atsuko Miyaji ; Kazumasa Omote
An IP Traceback Mechanism against Mobile Attacker for IPv6 and PMIPv6 / Jae-hoon Jang ; Don-Gu Yeo ; Dong-hee Lee ; Heung-Youl Youm
Hidden Credential Retrieval without Random Oracles / Mohammad Shahriar Rahman ; Masakazu Soshi
Attack
Combined Side-Channel Attacks / M. Abdelaziz Elaabid ; Olivier Meynard ; Sylvain Guilley ; Jean-Luc Danger
Correlation Power Analysis Based on Switching Glitch Model / Hongying Liu ; Guoyu Qian ; Satoshi Goto ; Yukiyasu Tsunoo
Vulnerabilities of Wireless Key Exchange Based on Channel Reciprocity / Nico Döttling ; Dejan Lazich ; Jörn Müller-Quade ; Antonio Sobreira de Almeida
Collusion Attack on a Self-healing Key Distribution with Revocation in Wireless Sensor Networks / Kehua Bao ; Zhenfeng Zhang
Full-Round Differential Attact on TWIS Block Clipher / Bozhan Su ; Wenling Wu ; Lei Zhang ; Yanjun Li
Improved Trace-Driven Cache-Collision Attacks against Embedded AES Implementations / Jean-François Gallais ; Ilya Kizhvatov ; Michael Tunstall
Combination of SW Countermeasure and CPU Modification on FPGA against Power Analysis / Daisuke Nakatsu ; Yang Li ; Kazuo Sakiyama ; Kazuo Ohta
Biometrics
Face Image Retrieval Using Sparse Representation Classifier with Gabor-LBP Histogram / Hansung Lee ; Yunsu Chung ; Jeongnyeo Kim ; Daihee Park
Fingerprint Liveness Detection Based on Multiple Image Quality Features / Changlong Jin ; Shengazhe Li ; Hakil Kim ; Ensoo Park
Robust Feature Extraction for Facial Image Quality Assessment / Thi Hai Binh Nguyen ; Van Huan Nguyen
Secure Protocol
Round-Optimal Deniable Ring Authentication in the Presence of Big Brother / Rafael Dowsley ; Goichiro Hanaoka ; Hideki Imai ; Anderson C.A. Nascimento
Cross-Realm Password-Based Server Aided Key Exchange
A Two-Party Protocol with Trusted Initializer for Computing the Inner Product / Jeroen van de Graaf ; Davidson Marques
Author Index
Cryptosystem
Construction of Identify Based Signcryption Schemes / Sumit Kumar Pandey ; Rana Barua
Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage / Atsushi Fujioka ; Koutarou Suzuki ; Kazuki Yoneyama
6.

電子ブック

EB
Ranjit Jhala, Takeo Kanade, David Schmidt, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
7.

電子ブック

EB
?lfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
Security Validation of Business Processes via Model-Checking / Wihem Arsac ; Luca Compagna ; Giancarlo Pellegrino ; Serena Elisa Ponta
Tools and Mechanisms / Session 2:
On-Device Control Flow Verification for Java Programs / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations / Ricardo Corin ; Felipe Andrés Manzano
Predictability of Enforcement / Nataliia Bielova ; Fabio Massacci
Web Security / Session 3:
SessionShield: Lightweight Protection against Session Hijacking / Nick Nikiforakis ; Wannes Meert ; Yves Younan ; Martin Johns ; Wouter Joosen
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications / Thanh Binh Dao ; Etsuya Shibayama
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications / Philippe De Ryck ; Lieven Desmet
Model-Based Security II / Sesssion 4:
Lightweight Modeling and Analysis of Security Concepts / Jörn Eichler
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications / Linda Ariani Gunawan ; Frank Alexander Kraemer ; Peter Herrmann
An Architecture-Centric Approach to Detecting Security Patterns in software / Michaela Bunke ; Karsten Sohr
Security Requirements Engineering / Session 5:
The Security Twin Peaks / Thomas Heyman ; Koen Yskout ; Riccardo Scandariato ; Holger Schmidt ; Yijun Yu
Evolution of Security Requirements Tests for Service-Centric Systems / Michael Felderer ; Berthold Agreiter ; Ruth Breu
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes / Stephan Neuhaus ; Viet Hung Nguyen
Authorization / Session 6:
Authorization Enforcement Usability Case Study / Steffen Bartsch
Scalable Authorization Middleware for Service Oriented Architectures / Tom Goovaerts
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models / Naveed Ahmed ; Christian D. Jensen
Ideas / Session 7:
Idea: Interactive Support for Secure Software Development / Jing Xie ; Bill Chu ; Heather Richter Lipford
Idea: A Reference Platform for Systematic Information Security Management Tool Support / Ingo Müller ; Jun Han ; Jean-Guy Schneider ; Steven Versteeg
Idea: Simulation Based Security Requirement Verification for Transaction Level Models / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Author Index
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
8.

電子ブック

EB
Raja Natarajan, Takeo Kanade, Adegboyega Ojo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
Computations and Interaction / Jos C. M. Baeten ; Bas Luttik ; Paul van Tilburg
Scribbling Interactions with a Formal Foundation / Kohei Honda ; Aybek Mukhamedov ; Gary Brown ; Tzu-Chun Chen ; Nobuko Yoshida
Open Government in Policy Development: From Collaborative Scenario Texts to Formal Policy Models / Maria A. Wimmer
Linear Process Algebra / Vaughan Pratt
Distributed Computing
Jump-Start Cloud: Efficient Deployment Framework for Large-Scale Cloud Applications / Xiaoxin Wu ; Zhiming Shen ; Ryan Wu ; Yunfeng Lin
Capacity Estimation in HPC Systems: Simulation Approach / A. Anghelescu ; R.B. Lenin ; S. Ramaswamy ; K. Yoshigoe
A Multi-Granular Lock Model for Distributed Object Oriented Databases Using Semantics / V. Geetha ; N. Sreenath
Contention-Free Many-to-Many Communication Scheduling for High Performance Clusters / Satyajit Banerjee ; Atish Datta Chowdhury ; Koushik Sinha ; Subhas Kumar Ghosh
Recursive Competitive Equilibrium Approach for Dynamic Load Balancing a Distributed System / K. Shahu Chatrapati ; J. Ujwala Rekha ; A. Vinaya Babu
Sensor Networks
Smoothed Functional and Quasi-Newton Algorithms for Routing in Multi-stage Queueing Network with Constraints / K. Lakshmanan ; Shalabh Bhatnagar
An Incremental Power Greedy Heuristic for Strong Minimum Energy Topology in Wireless Sensor Networks / B.S. Panda ; D. Pushparaj Shetty
kth Order Geometric Spanners for Wireless Ad Hoc Networks / Prabhat Kiran ; S.V. Rao
Robust and Distributed Range-Free Localization Using Anchor Nodes with Varying Communication Range for Three Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M.M. Gore
Internet Technologies and Applications
Decision Support Web Service / N. Parimala ; Anu Saini
A Scalable Architecture for Real-Time Online Data Access / Ionut Rosoiu
Socially Responsive Resource Usage: A Protocol / Hrushikesha Mohanty
An Automated HSV Based Text Tracking System from Complex Color Video / C. Misra ; P.K. Swain
Security
Enhanced Insider Threat Detection Model that Increases Data Availability / Qussai Yaseen ; Brajendra Panda
Checking Anonymity Levels for Anonymized Data / V. Valli Kumari ; N. Sandeep Varma ; A. Sri Krishna ; K.V. Ramana ; K.V.S. V.N. Raju
Chaos Based Image Encryption Scheme Based on Enhanced Logistic Map / I. Shatheesh Sam ; P. Devaraj ; R.S. Bhuvaneswaran
Bio-inspired Computing
Matrix Insertion-Deletion Systems for Bio-Molecular Structures / Lakshmanan Kuppusamy ; Anand Mahendran
Artificial Bee Colony Based Sensor Deployment Algorithm for Target Coverage Problem in 3-D Terrain / S. Mini ; Siba K. Udgata ; Samrat L. Sabat
Author Index
Invited Talks
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
9.

電子ブック

EB
Christian Bettstetter, Carlos Gershenson, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Design and Analysis of Self-Organizing Systems
Methods for Approximations of Quantitative Measures in Self-Organizing Systems / Richard Holzer ; Hermann de Meer
Evolving Self-Organizing Cellular Automata Based on Neural Network Genotypes / Wilfried Elmenreich ; István Fehérvári
Self-Organized Middle-Out Abstraction / Sebastian von Mammen ; Jan-Philipp Steghöfer ; Jörg Denzinger ; Christian Jacob
On the Communication Range in Auction-Based Multi-agent Target Assignment / Marin Lujak ; Stefano Giordani
An Adaptive Control Technique for a Connection Weight of Agents in a Self-repairing Network / Masahiro Tokumitsu ; Yoshiteru Ishida
Internet Overlays
Finding Routing Shortcuts Using an Internet Coordinate System / François Cantin ; Guy Leduc
Cache Capacity Allocation to Overlay Swarms / Ioanna Papafili ; George D. Stamoulis ; Frank Lehrieder ; Benjamin Kleine ; Simon Oechsner
Wireless Networks
Efficient Adaptation of Modulation and Coding Schemes in High Quality Home Networks / Hendrik Koetz ; Ruediger Kays
Distributed Graph Clustering for Application in Wireless Networks / Chia-Hao Yu ; Shaomeng Qin ; Mikko Alava ; Olav Tirkkonen
Considerations on Quality Metrics for Self-localization Algorithms / Juergen Eckert ; Felix Villanueva ; Reinhard German ; Falko Dressler
Author Index
Design and Analysis of Self-Organizing Systems
Methods for Approximations of Quantitative Measures in Self-Organizing Systems / Richard Holzer ; Hermann de Meer
Evolving Self-Organizing Cellular Automata Based on Neural Network Genotypes / Wilfried Elmenreich ; István Fehérvári
10.

電子ブック

EB
Pedro Jos? Marr?n, Takeo Kanade, Kamin Whitehouse
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Routing and Mobility
Prediction Accuracy of Link-Quality Estimators / Christian Renner ; Sebastian Ernst ; Christoph Weyer ; Volker Turau
The Impact of Network Topology on Collection Performance / Daniele Puccinelli ; Omprakash Gnawali ; SunHee Yoon ; Silvia Santini ; Ugo Colesanti ; Silvia Giordano ; Leonidas Guibas
An Adaptive Algorithm for Compressive Approximation of Trajectory (AACAT) for Delay Tolerant Networks / Rajib Rana ; Wen Hu ; Tim Wark ; Chun Tung Chou
Optimization Techniques
On the Accuracy of Software-Based Energy Estimation Techniques / Philipp Hurni ; Benjamin Nyffenegger ; Torsten Braun ; Anton Hergenroeder
Fast, Accurate Event Classification on Resource-Lean Embedded Sensors / Hao Jiang ; Jason O. Hallstrom
A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station / Madhu Mudigonda ; Trisul Kanipakam ; Adam Dutko ; Manohar Bathula ; Nigamanth Sridhar ; Srinivasan Seetharaman
MAC Protocols
Performance Evaluation of Network Coding and Packet Skipping in IEEE 802.15.4-Based Real-Time Wireless Sensor Networks / Marc Aoun ; Antonios Argyriou ; Peter van der Stok
Opportunistic Packet Scheduling in Body Area Networks / K. Shashi Prabh ; Jan-Hinrich Hauer
Algorithms for Wireless Sensor Networks
Clock Synchronization with Deterministic Accuracy Guarantee / Ryo Sugihara ; Rajesh K. Gupta
An Experimental Evaluation of Position Estimation Methods for Person Localization in Wireless Sensor Networks / Johannes Schmid ; Frederik Beutler ; Benjamin Noack ; Uwe D. Hanebeck ; Klaus D. Müller-Glaser
A Two-Way Time of Flight Ranging Scheme for Wireless Sensor Networks / Evangelos B. Mazomenos ; Dirk De Jager ; Jeffrey S. Reeve ; Neil M. White
Systems and Abstractions
Efficient Energy Balancing Aware Multiple Base Station Deployment for WSNs / Sabbir Mahmud ; Hui Wu ; Jingling Xue
BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor Networks / James Brown ; Ben McCarthy ; Utz Roedig ; Thiemo Voigt ; Cormac J. Sreenam
The Announcement Layer: Beacon Coordination for the Sensornet Stack / Adam Dunkels ; Luca Mottola ; Nicolas Tsiftes ; Fredrik Österlind ; Joakim Eriksson ; Niclas Finne
Author Index
Routing and Mobility
Prediction Accuracy of Link-Quality Estimators / Christian Renner ; Sebastian Ernst ; Christoph Weyer ; Volker Turau
The Impact of Network Topology on Collection Performance / Daniele Puccinelli ; Omprakash Gnawali ; SunHee Yoon ; Silvia Santini ; Ugo Colesanti ; Silvia Giordano ; Leonidas Guibas
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼