close
1.

電子ブック

EB
Úlfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 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
2.

電子ブック

EB
Indranil Gupta, Takeo Kanade, Cecilia Mascolo, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cloud Computing
FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads / Joel Wolf ; Deepak Rajan ; Kirsten Hildrum ; Rohit Khandekar ; Vibhore Kumar ; Sujay Parekh ; Kun-Lung Wu ; Andrey Balmin
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments / Joe Hoffert ; Douglas C. Schmidt ; Aniruddha Gokhale
BrownMap: Enforcing Power Budget in Shared Data Centers / Akshat Verma ; Pradipta De ; Vijay Mann ; Tapan Nayak ; Amit Purohit ; Gargi Dasgupta ; Ravi Kothari
Data Management
A Dynamic Data Middleware Cache for Rapidly-Growing Scientific Repositories / Tanu Malik ; Xiaodan Wang ; Philip Little ; Amitabh Chaudhary ; Ani Thakar
Anonygator: Privacy and Integrity Preserving Data Aggregation / Krishna P.N. Puttaswamy ; Ranjita Bhagwan ; Venkata N. Padmanabhan
Middleware for a Re-configurable Distributed Archival Store Based on Secret Sharing / Shiva Chaitanya ; Dharani Vijayakumar ; Bhuvan Urgaonkar ; Anand Sivasubramaniam
Publish-Subscribe and Multicast Systems
Parametric Subscriptions for Content-Based Publish/Subscribe Networks / K.R. Jayaram ; Chamikara Jayalath ; Patrick Eugster
Kevlar: A Flexible Infrastructure for Wide-Area Collaborative Applications / Qi Huang ; Daniel A. Freedman ; Ymir Vigfusson ; Ken Birman ; Bo Peng
FaReCast: Fast, Reliable Application Layer Multicast for Flash Dissemination / Kyungbaek Kim ; Sharad Mehrotra ; Nalini Venkatasubramanian
Social and Location-Aware Middleware
The Gossple Anonymous Social Network / Marin Bertier ; Davide Frey ; Rachid Guerraoui ; Anne-Marie Kermarrec ; Vincent Leroy
Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications / Nicolas Kourtellis ; Joshua Finnis ; Paul Anderson ; Jeremy Blackburn ; Cristian Borcea ; Adriana Iamnitchi
PerPos: A Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes / Jakob Langdal ; Kari R. Schougaard ; Mikkel B. Kjærgaard ; Thomas Toftkjær
Reliability and Legacy
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems / Pawan Prakash ; Ramana Rao Kompella ; Venugopalan Ramasubramanian ; Ranveer Chandra
Bridging the Gap between Legacy Services and Web Services / Tegawendé F. Bissyandé ; Laurent Réveillère ; Yérom-David Bromberg ; Julia L. Lawall ; Gilles Muller
Trust and Security
Enforcing End-to-End Application Security in the Cloud (Big Ideas Paper) / Jean Bacon ; David Evans ; David M. Eyers ; Matteo Migliavacca ; Peter Pietzuch ; Brian Shand
LiFTinG: Lightweight Freerider-Tracking in Gossip / Kévin Huguenin ; Maxime Monod ; Swagatika Prusty
Distributed Middleware Enforcement of Event Flow Security Policy / Ioannis Papagiannis
Transactional Memory
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories / Alokika Dash ; Brian Demsky
Asynchronous Lease-Based Replication of Software Transactional Memory / Nuno Carvalho ; Paolo Romano ; Luís Rodrigues
Author Index
Cloud Computing
FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads / Joel Wolf ; Deepak Rajan ; Kirsten Hildrum ; Rohit Khandekar ; Vibhore Kumar ; Sujay Parekh ; Kun-Lung Wu ; Andrey Balmin
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments / Joe Hoffert ; Douglas C. Schmidt ; Aniruddha Gokhale
3.

電子ブック

EB
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas
Attack Analysis and Prevention II / Session 2:
Experiences with PDG-Based IFC / Christian Hammer
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray
Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger
Policy Verification and Enforcement I / Session 3:
Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan Jürjens
Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per Håkon Meland ; Inger Anne Tøndel ; Jostein Jensen
Policy Verification and Enforcement II / Session 4:
Model-Driven Security Policy Deployment: Property Oriented Approach / Stere Preda ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Joaquin Garcia-Alfaro ; Laurent Toutain
Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel Fernández
Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch
Secure System and Software Development I / Session 5:
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif
Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin
Secure System and Software Development II / Session 6:
Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael Schläpfer
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; Håvard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil Stølen ; Jon Ølnes
Author Index
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
4.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

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

電子ブック

EB
Joseph A. Konstan, Ricardo Conejo, Takeo Kanade, José L. Marzo, Nuria Oliver, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
7.

電子ブック

EB
Pascal Felber, Takeo Kanade, Romain Rouvoy, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
Kalimucho: Contextual Deployment for QoS Management / Christine Louberry ; Philippe Roose ; Marc Dalmau
Providing Context-Aware Adaptations Based on a Semantic Model / Guido Söldner ; Rüdiger Kapitza ; René Meier
Towards QoC-Aware Location-Based Services / Sophie Chabridon ; Cao-Cuong Ngo ; Zied Abid ; Denis Conan ; Chantal Taconet ; Alain Ozanne
Session-Based Role Programming for the Design of Advanced Telephony Applications / Gilles Vanwormhoudt ; Areski Flissi
Architecturing Conflict Handling of Pervasive Computing Resources / Henner Jakob ; Charles Consel ; Nicolas Loriant
Passive Network-Awareness for Dynamic Resource-Constrained Networks / Agoston Petz ; Taesoo Jun ; Nirmalya Roy ; Chien-Liang Fok ; Christine Julien
Utility Driven Elastic Services / Pablo Chacin ; Leando Navarro
Improving the Scalability of Cloud-Based Resilient Database Servers / Luís Soares ; José Pereira
An Extensible Framework for Dynamic Market-Based Service Selection and Business Process Execution / Ante Vilenica ; Kristof Hamann ; Winfried Lamersdorf ; Jan Sudeikat ; Wolfgang Renz
Beddernet: Application-Level Platform-Agnostic Manets / Rasmus Sidorovs Gohs ; Sigurður Rafn Gunnarsson ; Arne John Glenstrup
The Role of Ontologies in Enabling Dynamic Interoperability / Vatsala Nundloll ; Paul Grace ; Gordon S. Blair
A Step towards Making Local and Remote Desktop Applications Interoperable with High-Resolution Tiled Display Walls / Tor-Magne Stien Hagen ; Daniel Stødle ; John Markus Bjørndalen ; Otto Anshus
Replica Placement in Peer-Assisted Clouds: An Economic Approach / Ahmed Ali-Eldin ; Sameh El-Ansary
A Correlation-Aware Data Placement Strategy for Key-Value Stores / Ricardo Vilaça ; Rui Oliveira
Experience Report: Trading Dependability, Performance, Security through Temporal Decoupling / Lorenz Froihofer ; Guenther Starnberger ; Karl M. Goeschka
Cooperative Repair of Wireless Broadcasts / Aaron Harwood ; Spyros Voulgaris ; Maarten van Steen
ScoreTree: A Decentralised Framework for Credibility Management of User-Generated Content / Yang Liao ; Kotagiri Ramaraohanarao
Worldwide Consensus / Francisco Maia ; Miguel Matos
Transparent Scalability with Clustering for Java e-Science Applications / Pedro Sampaio ; Paulo Ferreira ; Luís Veiga
CassMail: A Scalable, Highly-Available, and Rapidly-Prototyped E-Mail Service / Lazaros Koromilas ; Kostas Magoutis
Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures / João Morais ; João Nuno Silva
Author Index
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
8.

電子ブック

EB
Frank Alexander Kraemer, Peter Herrmann, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
9.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
10.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
11.

電子ブック

EB
Mira Mezini, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
12.

電子ブック

EB
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
13.

電子ブック

EB
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
14.

電子ブック

EB
Frank Eliassen, Takeo Kanade, Rüdiger Kapitza, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Grid Computing
Validating Evolutionary Algorithms on Volunteer Computing Grids / Travis Desell ; Malik Magdon-Ismail ; Boleslaw Szymanski ; Carlos A. Varela ; Heidi Newberg ; David P. Anderson
A Reconfiguration Language for Virtualized Grid Infrastructures / Rémy Pottier ; Marc Léger ; Jean-Marc Menaud
Sensor Networks
Distributed Object-Oriented Programming with RFID Technology / Andoni Lombide Carreton ; Kevin Pinte ; Wolfgang De Meuter
WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet / Jeisa P.O. Domingues ; Antonio V.L. Damaso ; Nelson S. Rosa
Context Awareness
Structured Context Prediction: A Generic Approach / Matthias Meiners ; Sonja Zaplata ; Winfried Lamersdorf
Service Orientation
Experiments in Model Driven Composition of User Interfaces / Audrey Occello ; Cedric Joffroy ; Anne-Marie Dery-Pinna
Service Discovery in Ubiquitous Feedback Control Loops / Lionel Seinturier ; Pierre Carton
Distributed Fault Tolerant Controllers
QoS Self-configuring Failure Detectors for Distributed Systems / Alirio Santos de Sá ; Raimundo José de Araújo Macêdo
Cloud and Cluster Computing / Leonardo Mostarda ; Rudi Ball ; Naranker Dulay
Automatic Software Deployment in the Azure Cloud / Jacek Cala ; Paul Watson
G2CL: A Generic Group Communication Layer for Clustered Applications / Leandro Sales ; Henrique Teófilo ; Nabor C. Mendonça
Adaptive and (Re)configurable Systems
Dynamic Composition of Cross-Organizational Features in Distributed Software Systems / Stefan Walraven ; Bert Lagaisse ; Eddy Truyen ; Wouter Joosen
Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices
Collaborative Systems
gradienTv. Market-Based P2P Live Media Streaming on the Gradient Overlay / Amir H. Payberah ; Jim Dowling ; Fatemeh Rahimian ; Seif Haridi
Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search / Pascal Felber ; Peter Kropf ; Lorenzo Leonini ; Toan Luu ; Martin Rajman ; Etienne Riviére
Author Index
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
15.

電子ブック

EB
Rajmohan Rajaraman, Adam Dunkels, Takeo Kanade, Thomas Moscibroda, Anna Scaglione, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks / James Horey ; Eric Nelson ; Arthur B. Maccabe
Optimized Java Binary and Virtual Machine for Tiny Motes / Faisal Aslam ; Luminous Fennell ; Christian Schindelhauer ; Peter Thiemann ; Gidon Ernst ; Elmar Haussmann, Stefan Rührup ; Zastash Afzal Uzmi
ZeroCal: Automatic MAC Protocol Calibration / Andreas Meier ; Matthias Woehrle ; Marco Zimmerling ; Lothar Thiele
Programming Sensor Networks Using REMORA Component Model / Amirhosein Taherkordi ; Frédéric Loiret ; Azadeh Abdolrazaghi ; Romain Rouvoy ; Quan Le-Trung ; Frank Eliassen
Stateful Mobile Modules for Sensor Networks / Moritz Strübe ; Rüdiger Kapitza ; Klaus Stengel ; Michael Daum ; Falko Dressler
Design and Implementation of a Robust Sensor Data Fusion System for Unknown Signals / Younghun Kim ; Thomas Schmid ; Mani B. Srivastava
Control Theoretic Sensor Deployment Approach for Data Fusion Based Detection / Ahmad Ababnah ; Balasubramaniam Natarajan
Approximate Distributed Kalman Filtering for Cooperative Multi-agent Localization / Prabir Barooah ; Wm. Joshua Russell ; João P. Hespanha
Thermal-Aware Sensor Scheduling for Distributed Estimation / Domenic Forte ; Ankur Srivastava
Decentralized Subspace Tracking via Gossiping / Lin Li ; Xiao Li ; Anna Scaglione ; Jonathan H. Manton
Building (1-?) Dominating Sets Partition as Backbones in Wireless Sensor Networks Using Distributed Graph Coloring / Dhia Mahjoub ; David W. Matula
On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks / Shouwen Lai ; Binoy Ravindran
A Novel Mobility Management Scheme for Target Tracking in Cluster-Based Sensor Networks / Zhibo Wang ; Wei Lou ; Zhi Wang ; Junchao Ma ; Honglong Chen
Suppressing Redundancy in Wireless Sensor Network Traffic / Rey Abe ; Shinichi Honiden
Ensuring Data Storage Security against Frequency-Based Attacks in Wireless Networks / Hongbo Liu ; Hui Wang ; Yingying Chen
Time-Critical Data Delivery in Wireless Sensor Networks / Petcharat Suriyachai ; James Brown ; Utz Roedig
MetroTrack: Predictive Tracking of Mobile Events Using Mobile Phones / Gahng-Seop Ahn ; Mirco Musolesi ; Hong Lu ; Reza Olfati-Saber ; Andrew T. Campbell
Mobile Sensor Network Localization in Harsh Environments / Harsha Chenji ; Radu Stoleru
AEGIS: A Lightweight Firewall for Wireless Sensor Networks / Mohammad Sajjad Hossain ; Vijay Raghunathan
Halo: Managing Node Rendezvous in Opportunistic Sensor Networks / Shane B. Eisenman
Optimal Data Gathering Paths and Energy Balance Mechanisms in Wireless Networks / Aubin Jarry ; Pierre Leone ; Sotiris Nikoletseas ; Jose Rolim
Programming Sensor Networks with State-Centric Services / Andreas Lachenmann ; Ulrich Müller ; Robert Sugar ; Louis Latour ; Matthias Neugebauer ; Alain Gefflaut
Fast Decentralized Averaging via Multi-scale Gossip / Konstantinos I. Tsianos ; Michael G. Rabbat
Wormholes No More? Localized Wormhole Detection and Prevention in Wireless Networks / Tassos Dimitriou ; Athanassios Giannetsos
Wireless Jamming Localization by Exploiting Nodes' Hearing Ranges / Zhenhua Liu ; Wenyuan Xu
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering / Joffroy Beauquier ; Janna Burman
Sensor Allocation in Diverse Environments / Amotz Bar-Noy ; Theodore Brown ; Simon Shamoun
Data Spider: A Resilient Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks / Onur Soysal ; Murat Demirbas
Author Index
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks / James Horey ; Eric Nelson ; Arthur B. Maccabe
Optimized Java Binary and Virtual Machine for Tiny Motes / Faisal Aslam ; Luminous Fennell ; Christian Schindelhauer ; Peter Thiemann ; Gidon Ernst ; Elmar Haussmann, Stefan Rührup ; Zastash Afzal Uzmi
ZeroCal: Automatic MAC Protocol Calibration / Andreas Meier ; Matthias Woehrle ; Marco Zimmerling ; Lothar Thiele
16.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
17.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
18.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
19.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
20.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
Adaptive Temporal Query Modeling / Maria-Hendrike Peetz
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
21.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
22.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
23.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
24.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
25.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
26.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
27.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
28.

電子ブック

EB
David Hutchison, Antonis M. Hadjiantonis, Takeo Kanade, Burkhard Stiller
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
29.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
30.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
31.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
Preimage Attacks on Full-ARIRANG: Analysis of DM-Mode with Middle Feed-Forward / Chiaki Ohtahara ; Keita Okada ; Yu Sasaki ; Takeshi Shimoyama
Known-Key Distinguisher on Round-Reduced 3D Block Cipher / Le Dong ; Shuang Wu ; Jian Zou
Identity-Based Signcryption from Identity-Based Cryptography / Woomyo Lee ; Jae Woo Seo ; Pil Joong Lee
Order-Preserving Encryption for Non-uniformly Distributed Plaintexts / Dae Hyun Yum ; Duk Soo Kim ; Jin Seok Kim ; Sung Je Hong
Solving a DLP with Auxiliary Input with the ρ-Algorithm / Yumi Sakemi ; Tetsuya Izu ; Masahiko Takenaka ; Masaya Yasuda
A General NTRU-Like Framework for Constructing Lattice-Based Public-Key Cryptosystems / Yanbin Pan ; Yingpu Deng
A Peer-to-Peer Content-Distribution Scheme Resilient to Key Leakage / Tatsuyuki Matsushita ; Shinji Yamanaka ; Fangming Zhao
Rule Indexing for Efficient Intrusion Detection Systems / Boojoong Kang ; Hye Seon Kim ; Ji Su Yang ; Eul Gyu Im
Security Data Extraction from LEC 61850 ACSI Models for Network and System Management / Chung-Hyo Kim ; Moon-Seok Choi ; Seong-Ho Ju ; Yong-Hun Lim ; Jong-Mock Baek
Lightweight Middleware-Based ZigBee Security in Building Energy Management System / Insung Hong ; Jisung Byun ; Sehyun Park
A Map-Layer-Based Access Control Model / Yingjun Zhang ; Yang Zhang ; Kai Chen
Application Authentication for Hybrid Services of Broadcasting and Communications Networks / Go Ohtake ; Kazuto Ogawa
Accelerating Multiparty Computation by Efficient Random Number Bitwise-Sharing Protocols / Naoto Kiribuchi ; Ryo Kato ; Takashi Nishide ; Tsukasa Endo ; Hiroshi Yoshiura
Biometric Based Secure Communications without Pre-deployed Key for Biosensor Implanted in Body Sensor Networks / Kwantae Cho ; Dong Hoon Lee
Mutual Private Set Intersection with Linear Complexity / Myungsun Kim ; Hyung Tae Lee ; Jung Hee Cheon
Advanced Path Selection Method for Detection of False Reports in Statistical Filtering Based WSNs / Chung Il Sun ; Tae Ho Cho
Evaluating the Security and Privacy of Near Field Communication - Case: Public Transportation / Jarno Salonen
Exploiting Routing Tree Construction in CTP / Islam Hegazy ; Reihaneh Safavi-Naini ; Carey Williamson
Author Index
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
32.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
Decision Making as Optimization in Multi-robot Teams / Lynne E. Parker
Mstar: A New Two Level Interconnection Network / Nibedita Adhikari ; C.R. Tripathy
An Improved Scheme for False Data Filtering in Wireless Sensor Networks / C. Anudeep ; Manik Lai Das
Anonymity and Security in Mobile Ad Hoc Networks / Jhansi Vazram Bolla ; Valli Kumari Vatsavayi ; J. V.R. Murthy
Circle Formation by Asynchronous Fat Robots with Limited Visibility / Ayan Dutta ; Sruti Gan Chaudhuri ; Suparno Datta ; Krishnendu Mukhopadhyaya
High Concurrency for Continuously Evolving OODBMS / V. Geetha ; N. Sreenath
A New Scheme for IPv6 BD-TTCS Translator / J. Hanumanthappa ; D.H. Manjaiah
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives / Shankara Narayanan Krishna ; G. Lakshmi Manasa ; Ashish Chiplunkar
Parallelization of PageRank on Multicore Processors / Tarun Kumar ; Parikshit Sondhi ; Ankush Mittal
Cryptanalysis and Improvement of Sood et al.'s Dynamic ID-Based Authentication Scheme / Chun-Guang Ma ; Ding Wang ; Qi-Ming Zhang
An Algebra of Social Distance / Hrushikesha Mohanty
Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation / Anil Mundra ; Anish Mathuria ; Manik Lal Das
Strong Minimum Energy Minimum Interference Topology in Wireless Sensor Networks / Bhawani S. Panda ; D. Pushparaj Shetty ; Bijaya Kishor Bhatta
Distributed Processing and Internet Technology to Solve Challenges of Primary Healthcare in India / Aran Pande ; Sanjay Kimbahune ; Nandini Bondale ; Ratnendra Shinde ; Sunita Shanbhag
Packet Forwarding Strategies for Cooperation Enforcement in Mobile Ad Hoc Wireless Networks / Nidhi Patel ; Sanjay Srivastava
A Study on Scalability of Services and Privacy Issues in Cloud Computing / R.S.M. Lakshmi Patibandla ; Santhi Sri Kurra ; Nirupama Bhat Mundukur
A Recommendation Model for Handling Dynamics in User Profile / Chhavi Rana ; Sanjay Kumar Jain
Allocation of Slotted Deadline Sensitive Leases in Infrastructure Cloud / Dhairya Vora ; Sanjay Chaudhary ; Minal Bhise ; Vikas Kumar ; Gaurav Somani
Grids Security without Public Key Settings
Concurrent HCM for Authorizing Grid Resources / Mustafa Kaiiali ; Chillarige Raghavendra Rao ; Rajeev Wankar ; Aran Agarwal
Seamless Provision of Cloud Services Using Peer-to-Peer (P2P) Architecture / Snehal Masne ; Chillarige Raghvendra Rao ; Arun Agarwal
Distributed Fault Tolerant Estimation in Wireless Sensor Network Using Robust Diffusion Adaptation / Meenakshi Panda ; Pabitra M. Khilar
Robust Distributed Block LMS over WSN in Impulsive Noise / Trilochan Panigrahi ; Ganapati Panda ; B. Mulgrew
Resource Allocation Techniques Based on Availability and Movement Reliability for Mobile Cloud Computing / JiSu Park ; Heon Chang Yu ; Eun Young Lee
Transparency Computation for Work Groups / A.B. Sagar
A New Hierarchical Structure of Star Graphs and Applications / Wei Shi ; Feng Luo ; Pradip Srimani
Incremental Discovery of Sequential Pattern from Semi-structured Document Using Grammatical Inference / Ramesh Thakur ; Suresh Jain ; Narendra S. Chaudhari
Group Associated Petri Nets in Bio Computing / K. Thirusangu ; D. Gnanaraj Thomas ; B.J. Balamurugan
Concept Map Based Service Specification and Discovery / Supriya Vaddi
Semantic Search Using Constrained Spread Activation for Semantic Digital Library / Sandeep Vasani ; Mohit Pandey
Author Index
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
33.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
On Three-Dimensional Graph Drawing and Embedding / Sue Whitesides
Graph Algorithms I
Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression / Takeaki Uno ; Ryuhei Uehara ; Shin-ichi Nakano
Generalized Above Guarantee Vertex Cover and r-Partization / R. Krithika ; N.S. Narayanaswamy
Computational Geometry
Farthest Voronoi Diagrams under Travel Time Metrics / Sang Won Bae ; Kyung-Yong Chwa
Tight Bound for Farthest-Color Voronoi Diagrams of Line Segments
Range Aggregate Maximal Points in the Plane / Ananda Swarup Das ; Prosenjit Gupta ; Anil Kishore Kalavagattu ; Jatin Agarwal ; Kannan Srinathan ; Kishore Kothapalli
Approximation Algorithms
Approximating the Multi-level Bottleneck Assignment Problem / Trivikram Dokka ; Anastasia Kouvela ; Frits C.R. Spieksma
Reoptimization of the Maximum Weighted Pk-Free Subgraph Problem under Vertex Insertion / Nicolas Boria ; Jérôme Monnot ; Vangelis Th. Paschos
Comparing and Aggregating Partial Orders with Kendall Tau Distances / Franz J. Brandenburg ; Andreas Gleiβner ; Andreas Hofmeier
Graph Algorithms II
On the Round-Trip 1-Center and 1-Median Problems / Biing-Feng Wang ; Jhih-Hong Ye ; Pei-Jung Chen
Triangle-Free Outerplanar 3-Graphs Are Pairwise Compatibility Graphs / Sammi Abida Salma ; Md. Saidur Rahman
On Relaxing the Constraints in Pairwise Compatibility Graphs / Tiziana Calamoneri ; Rossella Petreschi ; Blerina Sinaimeri
Graph Drawing I
Universal Line-Sets for Drawing Planar 3-Trees / Md. Iqbal Hossain ; Debajyoti Mondal
On the Hardness of Point-Set Embeddability / Stephane Durocher
String and Data Structures
Linear Time Inference of Strings from Cover Arrays Using a Binary Alphabet / Tanaeem M. Moosa ; Sumaiya Nazeen ; M. Sohel Rahman ; Rezwana Reaz
Fat Heaps without Regular Counters / Amr Elmasry ; Jyrki Katajainen
Graph Drawing II
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Tamara Mchedlidze ; Joachim Spoerhase ; Alexander Wolff
Drawing Unordered Trees on k-Grids / Christian Bachmaier ; Marco Matzeder
Heuristics for the Maximum 2-layer RAC Subgraph Problem / Emilio Di Giacomo ; Walter Didimo ; Luca Grilli ; Giuseppe Liotta ; Salvatore A. Romeo
Games and Cryptography
Nash Equilibria with Minimum Potential in Undirected Broadcast Games / Yasushi Kawase ; Kazuhisa Makino
Calculating Average Joint, Hamming Weight for Minimal Weight Conversion of d Integers / Vorapong Suppakitpaisarn ; Masato Edahiro ; Hiroshi Imai
Author Index
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
34.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
35.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
36.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
37.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
38.

電子ブック

EB
Bart Decker, Takeo Kanade, Ingrid Schaumüller-Bichl
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
WiFi and RF Security
A Scalable Wireless Routing Protocol Secure against Route Truncation Attacks / Amitabh Saxena ; Ben Soh
Probabilistic Vehicular Trace Reconstruction Based on RF-Visual Data Fusion / Saif Al-Kuwari ; Stephen D. Wolthusen
XML and Web Services Security
Throwing a Monkey Wrench into Web Attackers Plans / Armin Büscher ; Michael Meier ; Ralf Benzmüller
Security in OpenSocial-Instrumented Social Networking Services / Matthias Häsel ; Luigi Lo Iacono
Security for XML Data Binding / Nils Gruschka
Watermarking and Multimedia Security
Watermark Detection for Video Bookmarking Using Mobile Phone Camera / Peter Meerwald ; Andreas Uhl
Watermark-Based Authentication and Key Exchange in Teleconferencing Systems / Ulrich Rührmair ; Stefan Katzenbeisser ; Martin Steinebach ; Sascha Zmudzinski
Efficient Format-Compliant Encryption of Regular Languages: Block-Based Cycle-Walking / Thomas Stütz
Analysis and Detection of Malicious Code and Risk Management
Statistical Detection of Malicious PE-Executables for Fast Offline Analysis / Ronny Merkel ; Tobias Hoppe ; Christian Kraetzer ; Jana Dittmann
A Frame of Reference for Research of Integrated Governance, Risk and Compliance (GRC) / Nicolas Racz ; Eagar Weippl ; Andreas Seufert
Business and IT Continuity Benchmarking / Wolfgang Neudorfer ; Louis Marinos ; Ingrid Schaumüller-Bichl
VoIP Security
Peer-to-Peer VoIP Communications Using Anonymisation Overlay Networks / Ge Zhang ; Simone Fischer-Hübner
SIP Proxies: New Reflectors in the Internet / Jordi Jaen Pallares ; Yacine Rebahi
Analysis of Token and Ticket Based Mechanisms for Current VoIP Security Issues and Enhancement Proposal / Patrick Battistello ; Cyril Delétré
Biometrics
Entropy of Graphical Passwords: Towards an Information-Theoretic Analysis of Face-Recognition Based Authentication / Stefan Rass ; David Schuller ; Christian Kollmitzer
Handwriting Biometric Hash Attack: A Genetic Algorithm with User Interaction for Raw Data Reconstruction / Karl Kümmel ; Claus Vielhauer ; Tobias Scheidat ; Dirk Franke
Privacy Preserving Key Generation for Iris Biometrics / Christian Rathgeb
Applied Cryptography
Generalizations and Extensions of Redactable Signatures with Applications to Electronic Healthcare / Daniel Slamanig
Chosen-Ciphertext Secure Certificateless Proxy Re-Encryption / Chul Sur ; Chae Duk Jung ; Youngho Park ; Kyung Hyune Rhee
Detecting Hidden Encrypted Volumes / Christopher Hargreaves ; Howard Chivers
Secure Communications
Tor HTTP Usage and Information Leakage / Markus Huber ; Martin Mulazzani ; Edgar Weippl
Secure Communication Using Identity Based Encryption / Sebastian Roschke ; Luan Ibraimi ; Feng Cheng ; Christoph Meinel
Anonymous Client Authentication for Transport Layer Security / Kurt Dietrich
Author Index
Keynotes
WiFi and RF Security
A Scalable Wireless Routing Protocol Secure against Route Truncation Attacks / Amitabh Saxena ; Ben Soh
39.

電子ブック

EB
Frank Eliassen, Takeo Kanade, Rüdiger Kapitza, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Grid Computing
Validating Evolutionary Algorithms on Volunteer Computing Grids / Travis Desell ; Malik Magdon-Ismail ; Boleslaw Szymanski ; Carlos A. Varela ; Heidi Newberg ; David P. Anderson
A Reconfiguration Language for Virtualized Grid Infrastructures / Rémy Pottier ; Marc Léger ; Jean-Marc Menaud
Sensor Networks
Distributed Object-Oriented Programming with RFID Technology / Andoni Lombide Carreton ; Kevin Pinte ; Wolfgang De Meuter
WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet / Jeisa P.O. Domingues ; Antonio V.L. Damaso ; Nelson S. Rosa
Context Awareness
Structured Context Prediction: A Generic Approach / Matthias Meiners ; Sonja Zaplata ; Winfried Lamersdorf
Service Orientation
Experiments in Model Driven Composition of User Interfaces / Audrey Occello ; Cedric Joffroy ; Anne-Marie Dery-Pinna
Service Discovery in Ubiquitous Feedback Control Loops / Lionel Seinturier ; Pierre Carton
Distributed Fault Tolerant Controllers
QoS Self-configuring Failure Detectors for Distributed Systems / Alirio Santos de Sá ; Raimundo José de Araújo Macêdo
Cloud and Cluster Computing / Leonardo Mostarda ; Rudi Ball ; Naranker Dulay
Automatic Software Deployment in the Azure Cloud / Jacek Cala ; Paul Watson
G2CL: A Generic Group Communication Layer for Clustered Applications / Leandro Sales ; Henrique Teófilo ; Nabor C. Mendonça
Adaptive and (Re)configurable Systems
Dynamic Composition of Cross-Organizational Features in Distributed Software Systems / Stefan Walraven ; Bert Lagaisse ; Eddy Truyen ; Wouter Joosen
Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices
Collaborative Systems
gradienTv. Market-Based P2P Live Media Streaming on the Gradient Overlay / Amir H. Payberah ; Jim Dowling ; Fatemeh Rahimian ; Seif Haridi
Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search / Pascal Felber ; Peter Kropf ; Lorenzo Leonini ; Toan Luu ; Martin Rajman ; Etienne Riviére
Author Index
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
40.

電子ブック

EB
Ajay Kumar, Takeo Kanade, David Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Privacy Protection and Challenges
Challenges Posed by Biometric Technology on Data Privacy Protection and the Way Forward / Roderick B. Woo
The Dangers of Electronic Traces: Data Protection Challenges Presented by New Information Communication Technologies / Nataša Pirc Musar ; Jelena Burnik
Privacy and Biometrics for Authentication Purposes: A Discussion of Untraceable Biometrics and Biometric Encryption / Ann Cavoukian ; Max Snijder ; Alex Stoianov ; Michelle Chibba
From the Economics to the Behavioral Economics of Privacy: A Note / Alessandro Acquisti
Legal Challenges
Legislative and Ethical Questions regarding DNA and Other Forensic "Biometric" Databases / Elazar (Azi) Zadok
Are We Protected? The Adequacy of Existing Legal Frameworks for Protecting Privacy in the Biometric Age / Tim Parker
Have a Safe Trip Global Mobility and Machine Readable Travel Documents: Experiences from Latin America and the Caribbean / Mia Harbitz ; Dana King
Engineering and Social Challenges
On Analysis of Rural and Urban Indian Fingerprint Images / C. Puri ; K. Narang ; A. Tiwari ; M. Vatsa ; R. Singh
Privacy Protection in High Security Biometrics Applications / Nalini K. Ratha
Face Recognition and Plastic Surgery: Social, Ethical and Engineering Challenges / H.S. Bhatt ; S. Bharadwaj
Human Face Analysis: From Identity to Emotion and Intention Recognition / Massimo Tistarelli ; Enrico Grosso
Creating Safe and Trusted Social Networks with Biometric User Authentication / Ho B. Chang ; Klaus G. Schroeter
Ethical and Medical Concerns
Ethical Values for E-Society: Information, Security and Privacy / Stephen Mak
Ethical Issues in Governing Biometric Technologies / Margit Sutrop
Interdisciplinary Approaches to Determine the Social Impacts of Biotechnology / Pei-Fen Chang
Medical Safety Issues Concerning the Use of Incoherent Infrared Light in Biometrics / Nikolaos Kourkoumelis ; Margaret Tzaphlidou
Policy Issues and Deployments in Asia
The Status Quo and Ethical Governance in Biometric in Mainland China / Xiaomei Zhai ; Qiu Renzong
Building an Ecosystem for Cyber Security and Data Protection in India / Vinayak Godse
Challenges in Large Scale Biometrics Identification
The Unique Identification Number Project: Challenges and Recommendations / Haricharan Rengamani ; Ponnurangam Kumaraguru ; Rajarshi Chakraborty ; H. Raghav Rao
The Unique ID Project in India: A Skeptical Note / R. Ramakumar
Author Index
Privacy Protection and Challenges
Challenges Posed by Biometric Technology on Data Privacy Protection and the Way Forward / Roderick B. Woo
The Dangers of Electronic Traces: Data Protection Challenges Presented by New Information Communication Technologies / Nataša Pirc Musar ; Jelena Burnik
41.

電子ブック

EB
Jin Kwak, Robert H. Deng, Takeo Kanade, Guilin Wang, Yoojae Won
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cryptanalysis
Improved Related-Key Boomerang Attacks on Round-Reduced Threefish-512 / Jiazhe Chen ; Keting Jia
Integral Attacks on Reduced-Round ARIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
A New Class of RC4 Colliding Key Pairs with Greater Hamming Distance / Jiageng Chen ; Atsuko Miyaji
On the Security of NOEKEON against Side Channel Cube Attacks / Shekh Faisal Abdul-Latip ; Mohammad Reza Reyhanitabar ; Willy Susilo ; Jennifer Seberry
Algorithms and Implementations (I)
On Fast and Approximate Attack Tree Computations / Aivo Jürgenson ; Jan Willemson
Width-3 Joint Sparse Form / Katsuyuki Okeya ; Hidehiro Kato ; Yasuyuki Nogami
Algorithms and Implementations (II) / Lei Xu ; Dongdai Lin
Concurrent Error Detection Architectures for Field Multiplication Using Gaussian Normal Basis / Zhen Wang ; Xiaozhe Wang ; Shuqin Fan
The Elliptic Curve Discrete Logarithm Problems over the p-adic Field and Formal Groups / Masaya Yasuda
A New Efficient Algorithm for Computing All Low Degree Annihilators of Sparse Polynomials with a High Number of Variables / Lin Xu ; Xin Li
Network Security
Host-Based Security Sensor Integrity in Multiprocessing Environments / Thomas Richard McEvoy ; Stephen D. Wolthusen
Using Purpose Capturing Signatures to Defeat Computer Virus Mutating / Xiaoqi Jia ; Xi Xiong ; Jiwu Jing ; Peng Liu
Rate-Based Watermark Traceback: A New Approach / Zongbin Liu
Locally Multipath Adaptive Routing Protocol Resilient to Selfishness and Wormholes / Farshid Farhat ; Mohammad-Reza Pakravan ; Mahmoud Salmasizadeh ; Mohammad-Reza Aref
Access Control
Security Analysis and Validation for Access Control in Multi-domain Environment Based on Risk / Zhuo Tang ; Shaohua Zhang ; Kenli Li ; Benming Feng
A Proposal of Appropriate Evaluation Scheme for Exchangeable CAS (XCAS) / Yu-na Hwang ; Hanjae Jeong ; Sungkyu Cho ; Songyi Kim ; Dongho Won ; Seungjoo Kim
Identity Management
A Trustworthy ID Management Mechanism in Open Market / Inkyung Jeun
BioID: Biometric-Based Identity Management / Byoung-Jin Han ; Dong-Whi Shin ; Hyoung-Jin Lim ; In-Kyung Jeun ; Hyun-Chul Jung
Trust Management
Privacy Preserving of Trust Management Credentials Based on Trusted Computing / Bin Wu ; Dengguo Feng ; Meijiao Duan
Mitigating the Malicious Trust Expansion in Social Network Service / Daren Zha ; Le Kang
Public Key Cryptography
An Efficient Convertible Undeniable Signature Scheme with Delegatable Verification / Jacob C.N. Schuldt ; Kanta Matsuura
Certificateless KEM and Hybrid Signcryption Schemes Revisited / S. Sharmila Deva Selvi ; S. Sree Vivek ; C. Pandu Rangan
A Deniable Group Key Establishment Protocol in the Standard Model / Yazhe Zhang ; Kunpeng Wang ; Bao Li
Threshold Password-Based Authenticated Group Key Exchange in Gateway-Oriented Setting / Hui Li ; Chuan-Kun Wu ; Lingbo Wei
Security Applications
Binary Image Steganographic Techniques Classification Based on Multi-class Steganalysis / Kang Leng Chiew ; Josef Pieprzyk
Game Theoretic Resistance to Denial of Service Attacks Using Hidden Difficulty Puzzles / Harikrishna Narasimhan ; Venkatanathan Varadarajan
Attacking and Improving on Lee and Chiu's Authentication Scheme Using Smart Cards / Youngsook Lee ; Hyungkyu Yang
Protection Profile for Secure E-Voting Systems / Kwangwoo Lee ; Yunho Lee
Author Index
Cryptanalysis
Improved Related-Key Boomerang Attacks on Round-Reduced Threefish-512 / Jiazhe Chen ; Keting Jia
Integral Attacks on Reduced-Round ARIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
42.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
Adaptive Temporal Query Modeling / Maria-Hendrike Peetz
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
43.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
44.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
45.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
46.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
47.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
48.

電子ブック

EB
David Hutchison, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Ana Garcia, Anastasius Gavras, Takeo Kanade, Stamatis Karnourskos, Srdjan Krco, Man-Sze Li, Volkmar Lotz, Henning Müller, Elio Salvadori, Anne-Marie Sassen, Hans Schaffers, Burkhard Stiller, Georgios Tselentis, Petra Turkama, Theodore Zahariadis, Federico Álvarez
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Introduction Paper
Introduction: FIA Research Roadmap, Priorities for Future Internet Research / Nick Wainwright ; Nick Papanikolaou
Foundations
A Tussle Analysis for Information-Centric Networking Architectures / Alexandros Kostopoulos ; Ioanna Papafili ; Costas Kalogiros ; Tapio Levä ; Nan Zhang ; Dirk Trossen
A Systematic Approach for Closing the Research to Standardization Gap / Bernard Sales ; Emmanuel Darmois ; Dimitri Papadimitriou ; Didier Bourse
SOCIETIES: Where Pervasive Meets Social / Kevin Doolin ; Ioanna Roussaki ; Mark Roddy ; Nikos Kalatzis ; Elizabeth Papadopoulou ; Nick Taylor ; Nicolas Liampotis ; David McKitterick ; Edel Jennings ; Pavlos Kosmides
Cross-Disciplinary Lessons for the Future Internet / Anne-Marie Oostveen ; Isis Hjorth ; Brian Pickering ; Michael Boniface ; Eric T. Meyer ; Cristobal Cobo ; Ralph Schroeder
Design Principles for the Future Internet Architecture / Theodore Zahariadis ; Pedro Martinez-Julia ; Vito Morreale ; Francesco Torelli ; Piet Demeester
From Internet Architecture Research to Standards
An Integrated Development and Runtime Environment for the Future Internet / Amira Ben Hamida ; Fabio Kon ; Gustavo Ansaldi Oliva ; Carlos Eduardo Moreira Dos Santos ; Jean-Pierre Lorré ; Marco Autili ; Guglielmo De Angelis ; Apostolos Zarras ; Nikolaos Georgantas ; Valérie Issarny ; Antonia Bertolino
Visual Analytics: Towards Intelligent Interactive Internet and Security Solutions / James Davey ; Florian Mansmann ; Jörn Kohlhammer ; Daniel Keim
Applications
Towards a Trustworthy Service Marketplace for the Future Internet / Francesco Di Cerbo ; Michele Bezzi ; Samuel Paul Kaluvuri ; Antonino Sabetta ; Slim Trabelsi ; Volkmar Lotz
Using Future Internet Infrastructure and Smartphones for Mobility Trace Acquisition and Social Interactions Monitoring / Athanasios Antoniou ; Evangelos Theodoridis ; Ioannis Chatzigiannakis ; Georgios Mylonas
I-SEARCH: A Unified Framework for Multimodal Search and Retrieval / Apostolos Axenopoulos ; Petros Daras ; Sotiris Malassiotis ; Vincenzo Croce ; Marilena Lazzaro ; Jonas Etzold ; Paul Grimm ; Alberto Massari ; Antonio Camurri ; Thomas Steiner ; Dimitrios Tzovaras
Semantically Enriched Services to Understand the Need of Entities / Flávio de Oliveira Silva ; Alex Dias ; Caio Cásar Ferreira ; Eduardo De Souza Santos ; Fabíola Souza Fernandes Pereira ; Isabelle Cecília de Andrade ; João Henrique de Souza Pereira ; Lásaro Jonas Camargos ; Luiz Cláudio Theodora ; Maurício Amaral Gonçalves ; Rafael Pasquini ; Augusto José Venâncio Neto ; Pedro Frosi Rosa ; Sergio Takeo Kofuji
Supporting Content, Context and User Awareness in Future Internet Applications / Pawel Swiatek ; Krzysztof Juszczyszyn ; Krzysztof Brzostowski ; Jaroslaw Drapala ; Adam Grzech
Smart Cities
Towards a Narrative-Aware Design Framework for Smart Urban Environments / Lara Srivastava ; Athena Vakali
Urban Planning and Smart Cities: Interrelations and Reciprocities / Leonidas G. Anthopoulos
The Safety Transformation in the Future Internet Domain / Roberto Gimenez ; Diego Fuentes ; Emilio Martin ; Diego Gimenez ; Judith Pertejo ; Sofia Tsekeridou ; Roberto Gavazzi ; Mario Carabaño ; Sofia Virgos
Infrastructures
FSToolkit: Adopting Software Engineering Practices for Enabling Definitions of Federated Resource Infrastructures / Christos Tranoris ; Spyros Denazis
NOVI Tools and Algorithms for Federating Virtnalized Infrastructures / Leonidas Lymberopoulos ; Mary Grammatikou ; Martin Potts ; Paola Grosso ; Attila Fekete ; Bartosz Belter ; Mauro Campanella ; Vasilis Maglaris
Next Generation Flexible and Cognitive Heterogeneous Optical Networks: Supporting the Evolution to the Future Internet / Ioannis Tomkos ; Marianna Angelou ; Ramón J. Durán Barroso ; Ignacio de Miguel ; Rubén M. Lorenzo Toledo ; Domenico Siracusa ; Elio Salvadori ; Andrzej Tymecki ; Yabin Ye ; Idelfonso Tafur Monroy
A Tentative Design of a Future Internet Networking Domain Landscape / Marc Pallot ; Brigitte Trousse ; Bernard Senach
Author Index
Invited Introduction Paper
Introduction: FIA Research Roadmap, Priorities for Future Internet Research / Nick Wainwright ; Nick Papanikolaou
Foundations
49.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
Parametric Verification of Address Space Separation / Jason Franklin ; Sagar Chaki ; Anupam Datta ; Jonathan M. McCune ; Amit Vasudevan
Verification of Security Protocols with Lists: From Length One to Unbounded Length / Miriam Paiola
Privacy Supporting Cloud Computing: ConfiChair, a Case Study / Myrto Arapinis ; Sergiu Bursuc ; Mark Ryan
A Formal Analysis of the Norwegian E-voting Protocol / Cyrille Wiedling
Provably Repairing the ISO/TEC 9798 Standard for Entity Authentication / David Basin ; Cos Cremers ; Simon Meier
Security Proof with Dishonest Keys / Hubert Comon-Lundh ; Guillaume Scerri
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity / Mark D. Ryan
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker / Gergei Bana
Verified Indifferentiable Hashing into Elliptic Curves / Gilles Barthe ; Benjamin Grégoire ; Sylvain Heraud ; Federico Olmedo ; Santiago Zanella Béguelin
Provable De-anonymization of Large Datasets with Sparse Dimensions / Divya Sharma ; Arunesh Sinha
Revisiting Botnet Models and Their Implications for Takedown Strategies / Ting-Fang Yen ; Michael K. Reiter
A Game-Theoretic Analysis of Cooperation in Anonymity Networks / Mu Yang ; Vladimiro Sassone ; Sardaouna Hamadou
Deciding Selective Declassification of Petri Nets / Eike Best ; Philippe Darondeau
Enforceable Security Policies Revisited / Vincent Jugé ; Felix Klaedtke ; Eugen Zalinescu
Towards Incrementalization of Holistic Hyperproperties / Dimiter Milushev ; Dave Clarke
Type-Based Analysis of PKCS#11 Key Management / Matteo Centenaro ; Riccardo Focardi ; Flaminia L. Luccio
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow / Torben Amtoft ; Josiah Dodds ; Zhi Zhang ; Andrew Appel ; Lennart Beringer ; John Hatcliff ; Xinming Ou ; Andrew Cousino
PTaCL: A Language for Attribute-Based Access Control in Open Systems / Jason Crampton ; Charles Morisset
A Core Calculus for Provenance / Umut A. Acar ; Amal Ahmed ; James Cheney ; Roly Perera
Author Index
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
50.

電子ブック

EB
Phong Q. Nguyen, Takeo Kanade, David Pointcheval
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Encryption I
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model / Kristiyan Haralambiev ; Tibor Jager ; Eike Kiltz ; Victor Shoup
Constant Size Ciphertexts in Threshold Attribute-Based Encryption / Javier Herranz ; Fabien Laguillaumie ; Carla Ràfols
Cryptanalysis
Algebraic Cryptanalysis of the PKC'2009 Algebraic Surface Cryptosystem / Jean-Charles Faugère ; Pierre-Jean Spaenlehauer
Maximizing Small Root Bounds by Linearization and Applications to Small Secret Exponent RSA / Mathias Herrmann ; Alexander May
Implicit Factoring with Shared Most Significant and Middle Bits / Raphaël Marinier ; Guénaël Renault
Protocols I
On the Feasibility of Consistent Computations / Sven Laur ; Helger Lipmaa
Multi-query Computationally-Private Information Retrieval with Constant Communication Rate / Jens Groth ; Aggelos Kiayias
Further Observations on Optimistic Fair Exchange Protocols in the Multi-user Setting / Xinyi Huang ; Yi Mu ; Willy Susilo ; Wei Wu ; Yang Xiang
Network Coding
Secure Network Coding over the Integers / Rosario Gennaro ; Jonathan Katz ; Hugo Krawczyk ; Tal Rabin
Preventing Pollution Attacks in Multi-source Network Coding / Shweta Agrawal ; Dan Boneh ; Xavier Boyen ; David Mandell Freeman
Tools
Groth-Sahai Proofs Revisited / Essam Ghadafi ; Nigel P. Smart ; Bogdan Warinschi
Constant-Round Concurrent Non-Malleable Statistically Binding Commitments and Decommitments / Zhenfu Cao ; Ivan Visconti ; Zongyang Zhang
Elliptic Curves
Faster Squaring in the Cyclotomic Subgroup of Sixth Degree Extensions / Robert Granger ; Michael Scott
Faster Pairing Computations on Curves with High-Degree Twists / Craig Costello ; Tanja Lange ; Michael Naehrig
Efficient Arithmetic on Hessian Curves / Reza R. Farashahi ; Marc Joye
Lossy Trapdoor Functions
CCA Proxy Re-Encryption without Bilinear Maps in the Standard Model / Toshihide Matsuda ; Ryo Nishimaki ; Keisuke Tanaka
More Constructions of Lossy and Correlation-Secure Trapdoor Functions / Oded Goldreich ; Alon Rosen ; Gil Segev
Chosen-Ciphertext Security from Slightly Lossy Trapdoor Functions / Petros Mol ; Scott Yilek
Protocols II
Efficient Set Operations in the Presence of Malicious Adversaries / Carmit Hazay ; Kobbi Nissim
Text Search Protocols with Simulation Based Security / Jeffrey S. Sorensen
Discrete Logarithm
Using Equivalence Classes to Accelerate Solving the Discrete Logarithm Problem in a Short Interval / Takuya Hayashi ; Naoyuki Shinohara ; Lihua Wang ; Shin'ichiro Matsuo ; Masaaki Shirase ; Tsuyoshi Takagi ; Steven D. Galbraith ; Raminder S. Ruprai
Encryption II
Functional Encryption for Inner Product: Achieving Constant-Size Ciphertexts with Adaptive Security or Support for Negation / Nuttapong Attrapadung ; Benoît Libert
Security of Encryption Schemes in Weakened Random Oracle Models (Extended Abstract) / Akinori Kawachi ; Akira Numayama ; Keita Xagawa
Fully Homomorphic Encryption with Relatively Small Key and Ciphertext Sizes / Frederik Vercauteren
Signatures
Unlinkability of Sanitizable Signatures / Christina Brzuska ; Marc Fischlin ; Anja Lehmann ; Dominique Schröder
Confidential Signatures and Deterministic Signcryption / Alexander W. Dent ; Mark Manulis ; Martijn Stam
Identity-Based Aggregate and Multi-signature Schemes Based on RSA / Ali Bagherzandi ; Stanislaw Jarecki
Lattice Mixing and Vanishing Trapdoors: A Framework for Fully Secure Short Signatures and More
Author Index
Encryption I
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model / Kristiyan Haralambiev ; Tibor Jager ; Eike Kiltz ; Victor Shoup
Constant Size Ciphertexts in Threshold Attribute-Based Encryption / Javier Herranz ; Fabien Laguillaumie ; Carla Ràfols
51.

電子ブック

EB
Evgeny Osipov, Thomas Michael Bohnert, Takeo Kanade, Andreas Kassler, Xavier Masip-Bruin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cooperation and Multimedia Traffic Management in WN
Unicast versus Multicast for Live TV Delivery in Networks with Tree Topology / Alireza Abdollahpouri ; Bernd E. Wolfinger ; Junyu Lai
Dual Mobile-Ip Tunnels for Video Stream Splitting and Merging in Wireless Handoffs / Tsang-Ling Sheu ; Yang-Shun Hsu
Distributed Cooperation and Diversity for Hybrid Wireless Networks / H. Javaheri ; G. Noubir ; Y. Wang
Advances to IEEE 802.11
A Multi-hop Aware Weighted Scheduling Mechanism for HSDPA and IEEE 802.11 Integrated Network / Jinglong Zhou ; Anthony Lo ; Jiazhen Hao ; Ignas Niemegeers
Enhanced Mobility Support for Roaming Users: Extending the IEEE 802.21 Information Service / Karl Andersson ; Andrea G. Forte ; Henning Schulzrinne
Error-Sensitive Adaptive Frame Aggregation in 802.11n WLAN / Melody Moh ; Teng-Sheng Moh ; Ken Chan
Routing and Performance Optimization
SHORT: A Static-Hybrid Approach for Routing Real Time Applications over Multichannel, Multihop Wireless Networks / Vijay Raman ; Nitin H. Vaidya
Multiuser Scheduling via Dynamic Optimization / T. Heikkinen
Scalable Packet Loss Recovery for Mobile P2P Streaming / Jani Peltotalo ; Jarmo Harju ; Lassi Väätämöinen ; Imed Bouazizi ; Igor D.D. Curcio ; Joep van Gassel
Cognitive Multihop Networks-I
Aggressive Joint Access and Backhaul Design for Distributed-Cognition 1Gbps/km2 System Architecture / Pol Blasco ; Lorenza Giupponi ; Ana Galindo-Serrano ; Mischa Dohler
Learning-Based Spectrum Selection in Cognitive Radio Ad Hoc Networks / Marco Di Felice ; Kaushik Roy Chowdhury ; Cheng Wu ; Luciano Bononi ; Waleed Meleis
Cognitive Multihop Networks-II
Frequency Agility in IPv6-Based Wireless Personal Area Networks (6LoWPAN) (Invited Paper) / Riccardo Tomasi ; Hussein Khaleel ; Federico Penna ; Claudio Pastrone ; Roberto Garello ; Maurizio Spirito
Competitive Unlicensed Spectrum Sharing with Partial Information on Slow Fading Channels / Xiao Lei ; K. Avrachenkov ; L. Cottatellucci ; A. Garnaev
Structure of Service Areas in Wireless Communication Networks / Janne Riihijärvi ; Petri Mähönen
Security, Control and Signaling
Quality of Experience Enforcement in Wireless Networks / R. Serral-Gracià ; M. Yannuzzi ; E. Marin-Tordera ; X. Masip-Bruin ; S. Sánchez
Anomaly-Based Intrusion Detection Algorithms for Wireless Networks / Alexandros G. Fragkiadakis ; Vasilios A. Siris ; Nikolaos Petroulakis
A Stable Linked Structure Flooding for Mobile Ad Hoc Networks with Fault Recovery / Tom Leclerc ; Laurent Ciarletta ; André Schaff
QoE Trends in Networking
Techniques for Measuring Quality of Experience / Fernando Kuipers ; Robert Kooij ; Danny De Vleeschauwer ; Kjell Brunnström
Fair Quality of Experience (QoE) Measurements Related with Networking Technologies / Isaias Martinez-Yelmo ; Isaac Seoane ; Carmen Guerrero
QoE-Oriented Performance Evaluation of Video Streaming over WiMAX / Daniele Migliorini ; Enzo Mingozzi ; Carlo Vallati
An Overview of Quality of Experience Measurement Challenges for Video Applications in IP Networks / E. Cerqueira ; M. Curado ; E. Monteiro
QoE Model Driven for Network Services / Hai Anh Tran ; Abdelhamid Mellouk
Monitoring and Measurements Systems
Multivariate Fairly Normal Traffic Model for Aggregate Load in Large-Scale Data Networks / F. Mata ; J.L. García-Dorado ; J. Aracil
Live Traffic Monitoring with Tstat: Capabilities and Experiences / A. Finamore ; M. Mellia ; M. Meo ; M.M. Munafò ; D. Rossi
Integrated Measurement and Analysis of Peer-to-Peer Traffic / N.M. Markovich ; A. Biernacki ; P. Eittenberger ; U.R. Krieger
An Experimental Evaluation of Packet-Level Measurements of Hidden Traffic Load / José Núñez-Martínez ; Marc Portoles-Comeras ; Albert Cabellos-Aparicio ; Daniel López-Rovira ; Josep Mangues-Bafalluy ; Jordi Domingo-Pascual
0day Anomaly Detection Made Possible Thanks to Machine Learning / Philippe Owezarski ; Johan Mazel ; Yann Labit
A Comparative Analysis of the Perceived Quality of VoIP under Various Wireless Network Conditions / Ilias Tsompanidis ; Georgios Fortetsanakis ; Toni Hirvonen ; Maria Papadopouli
Wireless Sensor Networks
Optimization of Service Discovery in Wireless Sensor Networks / Ayon Chakraborty ; Kaushik Lahiri ; Subhajit Mandal ; Deepankar Patra ; Mrinal K. Naskar ; Amitava Mukherjee
ILA: Idle Listening Avoidance in Scheduled Wireless Sensor Networks / Marcin Brzozowski ; Hendrik Salomon ; Peter Langendoerfer
An Efficient Authenticated-Encryption with Associated-Data Block Cipher Mode for Wireless Sensor Networks / A.A. Adekunle ; S.R. Woodhead
Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs / Ioana Rodhe ; Christian Rohner
Author Index
Cooperation and Multimedia Traffic Management in WN
Unicast versus Multicast for Live TV Delivery in Networks with Tree Topology / Alireza Abdollahpouri ; Bernd E. Wolfinger ; Junyu Lai
Dual Mobile-Ip Tunnels for Video Stream Splitting and Merging in Wireless Handoffs / Tsang-Ling Sheu ; Yang-Shun Hsu
52.

電子ブック

EB
Tomasz Janowski, Takeo Kanade, Hrushikesha Mohanty
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers / Section 1:
Transactional Memory Today / Maurice Herlihy
Maintaining Coherent Views over Dynamic Distributed Data / Krithi Ramamritham
Malware: From Modelling to Practical Detection / R. K. Shyamasundar ; Harshit Shah ; N. V. Narendra Kumar
Semantic Frameworks--Meanings in the Architecture / Jim Davies ; Jeremy Gibbons
Networking / Section 2:
Fuzzy-Controlled Source-Initiated Multicasting (FSIM) in Ad Hoc Networks / Anuradha Banerjee ; Paramartha Dutta
On Optimal Space Tessellation with Deterministic Deployment for Coverage in Three-Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M. M. Gore
Seamless Handoff between IEEE 802.11 and GPRS Networks / Dhananjay Kotwal ; Maushumi Barooah ; Sukumar Nandi
A Tool to Determine Strategic Location and Ranges of Nodes for Optimum Deployment of Wireless Sensor Network / Amrit Kumar ; Mukul Kumar ; Kumar Padmanabh
An Efficient Hybrid Data-Gathering Scheme in Wireless Sensor Networks / Ayon Chakraborty ; Swarup Kumar Mitra ; M. K. Naskar
Grid Computing and Web Services / Section 3:
Introducing Dynamic Ranking on Web Pages Based on Multiple Ontology Supported Domains / Debajyoti Mukhopadhyay ; Anirban Kundu ; Sukanta Sinha
Multi-criteria Service Selection with Optimal Stopping in Dynamic Service-Oriented Systems / Oliver Skroch
Template-Based Process Abstraction for Reusable Inter-organizational Applications in RESTful Architecture / Cheng Zhu ; Hao Yu ; Hongming Cai ; Boyi Xu
Enhancing the Hierarchical Clustering Mechanism of Storing Resources' Security Policies in a Grid Authorization System / Mustafa Kaiiali ; Rajeev Wankar ; C.R. Rao ; Arun Agarwal
A Framework for Web-Based Negotiation / Hrushikesha Mohanty ; Rajesh Kurra ; R.K. Shyamasundar
Internet Technology and Distributed Computing / Section 4:
Performance Analysis of a Renewal Input Bulk Service Queue with Accessible and Non-accessible Batches / Yesuf Obsie Mussa ; P. Vijaya Laxmi
A Distributed Algorithm for Pattern Formation by Autonomous Robots, with No Agreement on Coordinate Compass / Swapnil Ghike ; Krishnendu Mukhopadhyaya
Gathering Asynchronous Transparent Fat Robots / Sruti Gan Chaudhuri
Development of Generalized HPC Simulator / W. Hurst ; S. Ramaswamy ; R. Lenin ; D. Hoffman
Performance Analysis of Finite Buffer Queueing System with Multiple Heterogeneous Servers / C. Misra ; P. K. Swain
Finite Buffer Controllable Single and Batch Service Queues / J.R. Mohanty
Enhanced Search in Peer-to-Peer Networks Using Fuzzy Logic / Sirish Kumar Balaga ; K. Haribabu ; Chittaranjan Hota
Software Engineering: Secured Systems / Section 5:
UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams / Jayeeta Chanda ; Ananya Kanjilal ; Sabnam Sengupta
Evolution of Hyperelliptic Curve Cryptosystems / Kakali Chatterjee ; Daya Gupta
Reliability Improvement Baaed on Prioritization of Source Code / Mitrabinda Ray ; Durga Prasad Mohapatra
Secure Dynamic Identity-Based Remote User Authentication Scheme / Sandeep K. Sood ; Anil K. Sarje ; Kuldip Singh
Theoretical Notes on Regular Graphs as Applied to Optimal Network Design / Sanket Patil ; Srinath Srinivasa
Formal Approaches to Location Management in Mobile Communications / Juanhua Kong ; Qin Li ; Huibiao Zhu ; Wenjuan Wu
Automated Test Scenario Selection Based on Levenshtein Distance / Sapna P.G
Societal Applications / Section 6:
Study of Diffusion Models in an Academic Social Network / Vasavi Junapudi ; Gauri K. Udgata ; Siba K. Udgata
First Advisory and Real-Time Health Surveillance to Reduce Maternal Mortality Using Mobile Technology / Satya Swarup Samal ; Arunav Mishra ; Sidheswar Samal ; J.K. Pattnaik ; Prachet Bhuyan
Author Index
Invited Papers / Section 1:
Transactional Memory Today / Maurice Herlihy
Maintaining Coherent Views over Dynamic Distributed Data / Krithi Ramamritham
53.

電子ブック

EB
Krishna Kant, Takeo Kanade, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
An Intelligent IT Infrastructure for the Future / Prith Banerjee
Heavy Tails and Models for the Web and Social Networks / Prabhakar Raghavan
Data Structures and Algorithms for Packet Forwarding and Classification: Prof. A.K. Choudhury Memorial Lecture / Sartaj Sahni
Spoken Web: A Parallel Web for the Masses: Industry Keynote / Manish Gupta
India's Mobile Revolution and the Unfinished Tasks: Invited Lecture / Ashok Jhunjhunwala
Network Protocols and Applications
Scheduling in Multi-Channel Wireless Networks / Vartika Bhandari ; Nitin H. Vaidya
Email Shape Analysis / Paul Sroufe ; Santi Phithakkitnukoon ; Ram Dantu ; João Cangussu
Maintaining Safety in Interdomain Routing with Hierarchical Path-Categories / Jorge A. Cobb
Fault-tolerance and Security
On Communication Complexity of Secure Message Transmission in Directed Networks / Arpita Patra ; Ashish Choudhary ; C. Pandu Rangan
On Composability of Reliable Unicast and Broadcast / Anuj Gupta ; Sandeep Hans ; Kannan Srinathan
A Leader-Free Byzantine Consensus Algorithm / Fatemeh Borran ; André Schiper
Authenticated Byzantine Generals in Dual Failure Model / Prasant Gopal ; Piyush Bansal
Sensor Networks
Mission-Oriented k-Coverage in Mobile Wireless Sensor Networks / Habib M. Ammari ; Sajal K. Das
Lessons from the Sparse Sensor Network Deployment in Rural India / T.V. Prabhakar ; H.S. Jamadagni ; Amar Sahu ; R. Venkatesha Prasad
A New Architecture for Hierarchical Sensor Networks with Mobile Data Collectors / Ataul Bari ; Ying Chen ; Arunita Jaekel ; Subir Bandyopadhyay
Stability Analysis of Multi-hop Routing in Sensor Networks with Mobile Sinks / Jayanthi Rao ; Subir Biswas
Distributed Algorithms and Optimization
Optimizing Distributed Computing Workflows in Heterogeneous Network Environments / Yi Gu ; Qishi Wu
Radio Network Distributed Algorithms in the Unknown Neighborhood Model / Bilel Derbel ; El-Ghazali Talbi
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks / Samuel Bernard ; Stéphane Devismes ; Katy Paroux ; Maria Potop-Butucaru ; Sébastien Tixeuil
A Token-Based Solution to the Group Mutual l-Exclusion Problem in Message Passing Distributed Systems (Short Paper) / Abhishek Swaroop ; Awadhesh Kumar Singh
Peer-to-Peer Networks and Network Tracing
The Weak Network Tracing Problem / H.B. Acharya ; M.G. Gouda
Poisoning the Kad Network / Thomas Locher ; David Mysicka ; Stefan Schmid ; Roger Wattenhofer
Credit Reputation Propagation: A Strategy to Curb Free-Riding in a Large BitTorrent Swarm / Suman Paul ; Subrata Nandi ; Ajit Pal
Formal Understanding of the Emergence of Superpeer Networks: A Complex Network Approach / Bivas Mitra ; Abhishek Kumar Dubey ; Sujoy Ghose ; Niloy Ganguly
Parallel and Distributed Systems
Parallelization of the Lanczos Algorithm on Multi-core Platforms / Souvik Bhattacherjee ; Abhijit Das
Supporting Malleability in Parallel Architectures with Dynamic CPUSETs Mapping and Dynamic MPI / Márcia C. Cera ; Yiannis Georgiou ; Olivier Richard ; Nicolas Maillard ; Philippe O.A. Navaux
Impact of Object Operations and Relationships on Concurrency Control in DOOS (Short Paper) / V. Geetha ; Niladhuri Sreenath
Causal Cycle Based Communication Pattern Matching (Short Paper) / Himadri Sekhar Paul
Wireless Networks
Channel Assignment in Virtual Cut-through Switching Based Wireless Mesh Networks / Dola Saha ; Aveek Dutta ; Dirk Grunwald ; Douglas Sicker
Efficient Multi-hop Broadcasting in Wireless Networks Using k-Shortest Path Pruning / Michael Q. Rieck ; Subhankar Dhar
Bandwidth Provisioning in Infrastructure-Based Wireless Networks Employing Directional Antennas / Shiva Kasiviswanathan ; Bo Zhao ; Sudarshan Vasudevan ; Bhuvan Urgaonkar
ROTIO+: A Modified ROTIO for Nested Network Mobility / Ansuman Sircar ; Bhaskar Sardar ; Debashis Saha
Applications of Distributed Systems
VirtualConnection: Opportunistic Networking for Web on Demand / Lateef Yusuf ; Umakishore Ramachandran
Video Surveillance with PTZ Cameras: The Problem of Maximizing Effective Monitoring Time / Satyajit Banerjee ; Atish Datta Chowdhury ; Subhas Kumar Ghosh
DisClus: A Distributed Clustering Technique over High Resolution Satellite Data / Sauravjyoti Sarmah ; Dhruba Kumar Bhattacharyya
Performance Evaluation of a Wormhole-Routed Algorithm for Irregular Mesh NoC Interconnect / Arshin Rezazadeh ; Ladan Momeni ; Mahmood Fathy
Optical, Cellular and Mobile Ad Hoc Networks
Dynamic Multipath Bandwidth Provisioning with Jitter, Throughput, SLA Constraints in MPLS over WDM Network / Palash Dey ; Arkadeep Kundu ; Mrinal K. Naskar ; Amitava Mukherjee ; Mita Nasipuri
Path Protection in Translucent WDM Optical Networks / Q. Rahman ; Y.P. Aneja
Post Deployment Planning of 3G Cellular Networks through Dual Homing of NodeBs / Samir K. Sadhukhan ; Swarup Mandal ; Partha Bhaumik
K-Directory Community: Reliable Service Discovery in MANET / Vaskar Raychoudhury ; Jiannong Cao ; Weigang Wu ; Yi Lai ; Canfeng Chen ; Jian Ma
Theory of Distributed Systems
An Online, Derivative-Free Optimization Approach to Auto-tuning of Computing Systems / Sudheer Poojary ; Ramya Raghavendra ; D. Manjunath
Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability / Kinga Kiss Iakab ; Christian Storm ; Oliver Theel
Hamiltonicity of a General OTIS Network (Short Paper) / Nagendra Kumar ; Rajeev Kumar ; Dheeresh K. Mallick ; Prasanta K. Jana
Specifying Fault-Tolerance Using Split Precondition Logic (Short Paper) / Anup Kumar Bandyopadhyay
Network Protocols
Fast BGP Convergence Following Link/Router Failure / Swapan Kumar Ray ; Susmit Shannigrahi
On Using Network Tomography for Overlay Availability / Umesh Bellur ; Mahak Patidar
QoSBR: A Quality Based Routing Protocol for Wireless Mesh Networks / Amitangshu Pal ; Sandeep Adimadhyam ; Asis Nasipuri
An ACO Based Approach for Detection of an Optimal Attack Path in a Dynamic Environment / Nirnay Ghosh ; Saurav Nanda ; S.K. Ghosh
Author Index
Keynotes
An Intelligent IT Infrastructure for the Future / Prith Banerjee
Heavy Tails and Models for the Web and Social Networks / Prabhakar Raghavan
54.

電子ブック

EB
Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Takeo Kanade, Penousal Machado
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
EvoCOMNET Contributions
Detection of DDoS Attacks via an Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm / Ugur Akyazi ; A. Sima Uyar
Performance Evaluation of an Artificial Neural Network-Based Adaptive Antenna Array System / Muamar Al-Bajari ; Jamal M. Ahmed ; Mustafa B. Ayoob
Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol for Vehicular Ad-Hoc Networks / José García-Nieto ; Enrique Alba
WiMAX Network Planning Using Adaptive-Population-Size Genetic Algorithm / Ting Hu ; Yuanzhu Peter Chen ; Wolfgang Banzhaf
Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs / Cem Safak Sahin ; Stephen Gundry ; Elkin Urrea ; M. Ümit Uyar ; Michael Conner ; Giorgio Bertoli ; Christian Pizzo
Particle Swarm Optimization for Coverage Maximization and Energy Conservation in Wireless Sensor Networks / Nor Azlina Ab. Aziz ; Ammar W. Mohemmed ; Mengjie Zhang
Efficient Load Balancing for a Resilient Packet Ring Using Artificial Bee Colony / Anabela Moreira Bernardino ; Eugénia Moreira Bernardino ; Juan Manuel Sánchez-Pérez ; Juan Antonio Gómez-Pulido ; Miguel Angel Vega-Rodríguez
TCP Modification Robust to Packet Reordering in Ant Routing Networks / Malgorzata Gadomska-Kudelska ; Andrzej Pacut
Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem in Optical WDM Networks Using a Tabu Search Based Hyper-Heuristic Approach / Ali Keles ; Aysegül Yayimli
A Generalized, Location-Based Model of Connections in Ad-Hoc Networks Improving the Performance of Ant Routing / Michal Kudelski
Using Code Bloat to Obfuscate Evolved Network Traffic / Patrick LaRoche ; Nur Zincir-Heywood ; Malcolm I. Heywood
ABC Supported Handoff Decision Scheme Based on Population Migration / Xingwei Wang ; Hui Cheng ; Peiyu Qin ; Min Huang ; Lei Guo
EvoENVIRONMENT Contributions
A Hyper-Heuristic Approach for the Unit Commitment Problem / Argun Berberoglu
Application of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission Reductions / Marco Lotz ; Sara Silva
Influence of Topology and Payload on CO2 Optimised Vehicle Routing / Cathy Scott ; Neil Urquhart ; Emma Hart
Start-Up Optimisation of a Combined Cycle Power Plant with Multiobjective Evolutionary Algorithms / Ilaria Bertini ; Matteo De Felice ; Fabio Moretti ; Stefano Pizzuti
EvoFIN Contributions
A Study of Nature-Inspired Methods for Financial Trend Reversal Detection / Antonia Azzini ; Andrea G.B. Tettamanzi
Outperforming Buy-and-Hold with Evolved Technical Trading Rules: Daily, Weekly and Monthly Trading / Dome Lohpetch ; David Corne
Evolutionary Multi-stage Financial Scenario Tree Generation / Ronald Hochreiter
Evolving Dynamic Trade Execution Strategies Using Grammatical Evolution / Wei Cui ; Anthony Brabazon ; Michael O'Neill
Modesty Is the Best Policy: Automatic Discovery of Viable Forecasting Goals in Financial Data / Fiacc Larkin ; Conor Ryan
Threshold Recurrent Reinforcement Learning Model for Automated Trading / Dietmar Maringer ; Tikesh Ramtohul
Active Portfolio Management from a Fuzzy Multi-objective Programming Perspective / Nikos S. Thomaidis
Evolutionary Monte Carlo Based Techniques for First Passage Time Problems in Credit Risk and Other Applications in Finance / Olena Tsviliuk ; Roderick Melnik ; Di Zhang
Calibrating the Heston Model with Differential Evolution / Manfred Gilli ; Enrico Schumann
Evolving Trading Rule-Based Policies / Robert Gregory Bradley
EvoMUSART Contributions
Evolving Artistic Styles through Visual Dialogues / Jae C. Oh ; Edward Zajec
Graph-Based Evolution of Visual Languages / Penousal Machado ; Henrique Nunes ; Juan Romero
Refinement Techniques for Animated Evolutionary Photomosaics Using Limited Tile Collections / Shahrul Badariah Mat Sah ; Vic Ciesielski ; Daryl D'Souza
Generative Art and Evolutionary Refinement / Gary Greenfield
Aesthetic Learning in an Interactive Evolutionary Art System / Yang Li ; Chang-Jun Hu
Comparing Aesthetic Measures for Evolutionary Art / E. den Heijer ; A.E. Eiben
The Problem with Evolutionary Art Is / Philip Galanter
Learning to Dance through Interactive Evolution / Greg A. Dubbin ; Kenneth O. Stanley
Jive: A Generative, Interactive, Virtual, Evolutionary Music System / Jianhua Shao ; James McDermott
A Neural Network for Bass Functional Harmonization / Roberto De Prisco ; Antonio Eletto ; Antonio Torre ; Rocco Zaccagnino
Combining Musical Constraints with Markov Transition Probabilities to Improve the Generation of Creative Musical Structures / Stephen Davismoon ; John Eccles
Dynamic Musical Orchestration Using Genetic Algorithms and a Spectro-Temporal Description of Musical Instruments / Philippe Esling ; Grégoire Carpentier ; Carlos Agon
Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms / Jaime Serquera ; Eduardo R. Miranda
Sound Agents / Philippe Codognet ; Olivier Pasquet
From Evolutionary Composition to Robotic Sonification / Artemis Moroni ; Jônatas Manzolli
Musical Composer Identification through Probabilistic and Feedforward Neural Networks / Maximos A. Kaliakatsos-Papakostas ; Michael G. Epitropakis ; Michael N. Vrahatis
EvoTRANSLOG Contributions
Using an Evolutionary Algorithm to Discover Low CO2 Tours within a Travelling Salesman Problem
A Genetic Algorithm for the Traveling Salesman Problem with Pickup and Delivery Using Depot Removal and Insertion Moves / Volkan Çinar ; Temel Öncan ; Haldun Süral
Fast Approximation Heuristics for Multi-Objective Vehicle Routing Problems / Martin Josef Geiger
Particle Swarm Optimization and an Agent-Based Algorithm for a Problem of Staff Scheduling / Maik Günther ; Volker Nissen
A Math-Heuristic for the Multi-Level Capacitated Lot Sizing Problem with Carryover / Marco Caserta ; Adriana Ramirez ; Stefan Voβ
Author Index
EvoCOMNET Contributions
Detection of DDoS Attacks via an Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm / Ugur Akyazi ; A. Sima Uyar
Performance Evaluation of an Artificial Neural Network-Based Adaptive Antenna Array System / Muamar Al-Bajari ; Jamal M. Ahmed ; Mustafa B. Ayoob
55.

電子ブック

EB
Christian Müller-Schloer, Takeo Kanade, Wolfgang Karl, Sami Yehia
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
HyVM - Hybrid Virtual Machines - Efficient Use of Future Heterogeneous Chip Multiprocessors / Karsten Schwan ; Ada Gavrilovska ; Sudha Yalamanchili
Processor Design
How to Enhance a Superscalar Processor to Provide Hard Real-Time Capable In-Order SMT / Jörg Mische ; Irakli Guliashvili ; Sascha Uhrig ; Theo Ungerer
Complexity-Effective Rename Table Design for Rapid Speculation Recovery / Görkem Asilioglu ; Emine Merve Kaya ; Oguz Ergin
An Embedded GC Module with Support for Multiple Mutators and Weak References / Thomas B. Preu<$$$>er ; Peter Reichel ; Rainer G. Spallek
Embedded Systems
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems / Patrick Bellasi ; William Fornaciari ; David Siorpaes
Autonomic Workload Management for Multi-core Processor Systems / Johannes Zeppenfeld ; Andreas Herkersdorf
Firefly Flashing Synchronization as Inspiration for Self-synchronization of Walking Robot Gait Patterns Using a Decentralized Robot Control Architecture / Bojan Jakimovski ; Benjamin Meyer ; Erik Maehle
Organic Computing and Self-organization
The JoSchKa System: Organic Job Distribution in Heterogeneous and Unreliable Environments / Matthias Bonn ; Hartmut Schmeck
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems / Jan-Philipp Steghöfer ; Pratik Mandrekar ; Florian Nafz ; Hella Seebach ; Wolfgang Reif
Ad-Hoc Information Spread between Mobile Devices: A Case Study in Analytical Modeling of Controlled Self-organization in IT Systems / Kamil Kloch ; Jan W. Kantelhardt ; Paul Lukowicz ; Patrick Wüchner ; Hermann de Meer
Processor Design and Transactional Memory
MLP-Aware Instruction Queue Resizing: The Key to Power-Efficient Performance / Pavlos Petoumenos ; Georgia Psychou ; Stefanos Kaxiras ; Juan Manuel Cebrian Gonzalez ; Juan Luis Aragon
Exploiting Inactive Rename Slots for Detecting Soft Errors / Mehmet Kayaalp ; Osman S. Ünsal ; Mateo Valero
Efficient Transaction Nesting in Hardware Transactional Memory / Yi Liu ; Yangming Su ; Cui Zhang ; Mingyu Wu ; Xin Zhang ; He Li ; Depei Qian
Energy Management in Distributed Environments and Ad-Hoc Grids
Decentralized Energy-Management to Control Smart-Home Architectures / Birger Becker ; Florian Allerding ; Ulrich Reiner ; Mattias Kahl ; Urban Richter ; Daniel Pathmaperuma ; Thomas Leibfried
EnergySaving Cluster Roll: Power Saving System for Clusters / Manuel F. Dolz ; Juan C. Fernández ; Rafael Mayo ; Enrique S. Quintana-Ortí
Effect of the Degree of Neighborhood on Resource Discovery in Ad Hoc Grids / Tariq Abdullah ; Koen Bertels ; Luc Onana Alima ; Zubair Nawaz
Performance Modelling and Benchmarking
Compiler-Directed Performance Model Construction for Parallel Programs / Martin Schindewolf ; David Kramer ; Marcelo Cintra
A Method for Accurate High-Level Performance Evaluation of MPSoC Architectures Using Fine-Grained Generated Traces / Roman Plyaskin
JetBench: An Open Source Real-Time Multiprocessor Benchmark / Muhammad Yasir Qadri ; Dorian Matichard ; Klaus D. McDonald Maier
Accelerators and GPUs
A Tightly Coupled Accelerator Infrastructure for Exact Arithmetics / Fabian Nowak ; Rainer Buchty
Optimizing Stencil Application on Multi-thread GPU Architecture Using Stream Programming Model / Fang Xudong ; Tang Yuhua ; Wang Guibin ; Tang Tao ; Zhang Ying
Author Index
Keynote
HyVM - Hybrid Virtual Machines - Efficient Use of Future Heterogeneous Chip Multiprocessors / Karsten Schwan ; Ada Gavrilovska ; Sudha Yalamanchili
Processor Design
56.

電子ブック

EB
David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, Takeo Kanade, Beniamino Murgante, Eric Pardede
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Workshop on Mobile Communications (MC 2010)
A Control Loop Reduction Scheme for Wireless Process Control on Traffic Light Networks / Junghoon Lee ; Gyung-Leen Park ; In-Hye Shin ; Choel Min Kim ; Sang-Wook Kim
Performance Measurement of a Dual-Channel Intersection Switch on the Vehicular Network / Ji-Ae Kang ; Min-Jae Kang ; Ho-Young Kwak
A Rapid Code Acquisition Scheme for Optical CDMA Systems / Youngyoon Lee ; Dahae Chong ; Chonghan Song ; Youngpo Lee ; Seung Goo Kang ; Seokho Yoon
Optimal and Suboptimal Synchronization Schemes for Ultra-Wideband Systems / Myungsoo Lee ; Junhwan Kim
Partial Information Relaying with Multi-Layered Superposition Coding / Jingyu Kim ; Dong In Kim
Performance Measurement of the Hybrid Prefetch Scheme on Vehicular Telematics Networks / Youngshin Hong ; Sang Joon Lee
Power Control for Soft Fractional Frequency Reuse in OFDMA System / Young Min Kwon ; Ok Kyung Lee ; Ju Yong Lee ; Min Young Chung
Authentication - Based Medium Access Control to Prevent Protocol Jamming: A-MAC / Jaemin Jeung ; Seungmyeong Jeong ; Jaesung Lim
Femtocell Deployment to Minimize Performance Degradation in Mobile WiMAX Systems / Chang Seup Kim ; Bum-Gon Choi ; Tae-Jin Lee ; Hyunseung Choo
A Novel Frequency Planning for Femtocells in OFDMA-Based Cellular Networks Using Fractional Frequency Reuse / Chang-Yeong Oh
Association Analysis of Location Tracking Data for Various Telematics Services
An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems / Kyunghoon Won ; Jun-Hee Jang ; Se-bin Im ; Hyung-Jin Choi
Low-Cost Two-Hop Anchor Node-Based Distributed Range-Free Localization in Wireless Sensor Networks / Taeyoung Kim ; Minhan Shon ; Wook Choi ; MoonBae Song
SecDEACH: Secure and Resilient Dynamic Clustering Protocol Preserving Data Privacy in WSNs / Young-Ju Han ; Min- Woo Park ; Tai-Myoung Chung
Avoidance of Co-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks / Yeonjune Jeong ; Hyunduk Kim ; Byung-Sung Kim
User Policy Based Transmission Control Method in Cognitive Wireless Network / Noriki Uchida ; Yoshitaka Shibata ; Kazuo Takahata
Workshop on Rough and Soft Sets Theories and Applications (RSSA 2010)
Development of a Hybrid Case-Based Reasoning for Bankruptcy Prediction / Rong-Ho Lin ; Chun-Ling Chuang
The Time Series Image Analysis of the HeLa Cell Using Viscous Fluid Registration / Soichiro Tokuhisa ; Kunihiko Kaneko
Matrices Representation of Multi Soft-Sets and Its Application / Tutut Herawan ; Mustafa Mat Deris ; Jemal H. Abawajy
Clustering Analysis of Water Quality for Canals in Bangkok, Thailand / Sirilak Areerachakul ; Siripun Sanguansintukul
Workshop on Wireless and Ad Hoc Networking (WADNet 2010)
A Review of Routing Protocols for UWB MANETs / Yahia Hasan Jazyah ; Martin Hope
An Efficient and Reliable Routing Protocol for Wireless Mesh Networks / Jaydip Sen
A Context-Aware Service Model Based on Workflows for u-Agriculture / Yongyun Cho ; Jongbae Moon ; Hyun Yoe
A History-Based Scheduler for Dynamic Load Balancing on Distributed VOD Server Environments / Hyun-joo Moon
A Secure Routing Protocol for Wireless Sensor Networks / Arijit Ukil
Efficient Pairwise Key Establishment Scheme Based on Random Pre-distribution Keys in WSN / Hao Wang ; Jian Yang ; Ping Wang ; Pu Tu
Agent Based Approach of Routing Protocol Minimizing the Number of Hops and Maintaining Connectivity of Mobile Terminals Which Move One Area to the Other / Kohei Arai ; Lipur Sugiyanta
Ensuring Basic Security and Preventing Replay Attack in a Query Processing Application Domain in WSN / Amrita Ghosal ; Halder Subir ; Sur Sanjib ; Dan Avishek ; DasBit Sipra
Workshop on Wireless Multimedia Sensor Networks (WMSN 2010)
A Review of Redundancy Elimination Protocols for Wireless Sensor Networks / Babak Pazand ; Amitava Datta ; Rachel Cardell-Oliver
A Light-Weighted Misused Key Detection in Wireless Sensor Networks / Min-Woo Park ; Jong-Myoung Kim
Identifying Mudslide Area and Obtaining Forewarned Time Using AMI Associated Sensor Network / Cheng-Jen Tang ; Mian Ru Dai
General Track on Information Systems and Information Technologies
Utilization of Ontology in Health for Archetypes Constraint Enforcement / Anny Kartika Sari ; Wenny Rahayu ; Dennis Wollersheim
Time-Decaying Bloom Filters for Efficient Middle-Tier Data Management / Kai Cheng
Soft Decision Making for Patients Suspected Influenza
Personal Identification by EEG Using ICA and Neural Network / Preecha Tangkraingkij ; Chidchanok Lursinsap ; Tayard Desudchit
A Formal Concept Analysis-Based Domain-Specific Thesaurus and Its Application in Document Representation / Jihn-Chang Jehng ; Shihchieh Chou ; Chin-Yi Cheng
On the Configuration of the Similarity Search Data Structure D-Index for High Dimensional Objects / Arnoldo José Müller-Molina- ; Takeshi Shinohara
Automatic Chinese Text Classification Using N-Gram Model / Show-Jane Yen ; Yue-Shi Lee ; Yu-Chieh Wu ; Jia-Ching Ying ; Vincent S. Tseng
Genetic Algorithms Evolving Quasigroups with Good Pseudorandom Properties / Václav Snášel ; Jirí Dvorský ; Eliška Ochodková ; Pavel Krömer, ; Jan Platoš ; Ajith Abraham
Software Openness: Evaluating Parameters of Parametric Modeling Tools to Support Creativity and Multidisciplinary Design Integration / Flora Dilys Salim ; Jane Burry
Dynamic and Cyclic Response Simulation of Shape Memory Alloy Devices / Yutaka Toi ; Jie He
Adaptive Fuzzy Filter for Speech Enhancement / Chih-Chia Yao ; Ming-Hsun Tsai
Risk Prediction for Postoperative Morbidity of Endovascular Aneurysm Repair Using Ensemble Model / Nan-Chen Hsieh ; Chien-Hui Chan ; Hsin-Che Tsai
Further Results on Swarms Solving Graph Coloring / Manuel Graña ; Blanca Cases ; Carmen Hernandez ; Alicia D'Anjou
Data Collection System for the Navigation of Wheelchair Users: A Preliminary Report / Yasuaki Sumida ; Kazuaki Goshi ; Katsuya Matsunaga
Author Index
Workshop on Mobile Communications (MC 2010)
A Control Loop Reduction Scheme for Wireless Process Control on Traffic Light Networks / Junghoon Lee ; Gyung-Leen Park ; In-Hye Shin ; Choel Min Kim ; Sang-Wook Kim
Performance Measurement of a Dual-Channel Intersection Switch on the Vehicular Network / Ji-Ae Kang ; Min-Jae Kang ; Ho-Young Kwak
57.

電子ブック

EB
David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, Takeo Kanade, Beniamino Murgante, Eric Pardede
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2010)
Supporting Molecular Modeling Workflows within a Grid Services Cloud / Sergio Rampino ; Ernesto Garcia ; Fernando Pirani ; Antonio Laganà ; Martin Koehler ; Matthias Ruckenbauer ; Ivan Janciak ; Siegfried Benkner ; Hans Lischka ; Wilfried N. Gansterer
Distributed and Collaborative Learning Objects Repositories on Grid Networks / Simonetta Pallottelli ; Sergio Tasso ; Nicola Pannacci ; Alessandro Coatantini ; Noelia Faginas Lago
Porting of GROMACS Package into the Grid Environment: Testing of a New Distribution Strategy / Alessandro Costantini ; Eduardo Gutierrez ; Javier Lopez Cacheiro ; Aurelio Rodriguez ; Osvaldo Gervasi
Workshop on Biomathematics, Bioinformatics and Biostatistics (IBBB 2010)
Hashimoto's Thyroiditis with Petri Nets / Ãœnal Ufuktepe ; Buket Yilmaz
Modelling of the Temporomandibular Joints and the Role of Medical Informatics in Stomatology / Josef Danek ; Petra Hlináková ; Petra Precková ; Tatjána Dostálová ; Jrí Nedoma ; Miroslav Nagy
Stability Analysis of an SVLI Epidemic Model / Schehrazad Selmane
A New Expert System for Diabetes Disease Diagnosis Using Modified Spline Smooth Support Vector Machine / Santi Wulan Purnami ; Jasni Mohamad Zain ; Abdullah Embong
Workshop on Human and Information Space Symbiosis (IWHISS 2010)
Information Privacy in Smart Office Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information / Carsten Röcker
Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms for Symbiotic Computing / Takahiro Uchiya ; Susumu Konno ; Tetsuo Kinoshita
B-Dash: Agent Platform for Mutual Cognition between Human and Agents / Hideki Hara ; Yusuke Manabe ; Shigeru Fujita ; Kenji Sugawara
An Extraction Method to Get a Municipality Event Information / Tatsuya Ushioda
Design and Implementation of Adaptive Inter-platform Communication Mechanism for Agent-Based Framework in Ubiquitous Computing Environment / Taishi Ito ; Hideyuki Takahashi ; Takuo Suganuma ; Norio Shiratori
An Effective Inference Method Using Sensor Data for Symbiotic Healthcare Support System / Satoru Izumi ; Yusuke Kobayashi
3D Collaboration Environment Based on Real Space and Digital Space Symbiosis / Gen Kitagata ; Akira Sakatoku ; Akifumi Kawato ; Toshiaki Osada
Workshop on Information Retrieval, Security and Innovative Applications (RSIA 2010)
A Cryptographic Algorithm Based on Hybrid Cubes / Sapiee Jamel ; Tutut Herawan ; Mustafa Mat Deris
Java Implementation for Pairing-Based Cryptosystems / Syh-Yuan Tan ; Swee-Huay Heng ; Bok-Min Goi
On Selecting Additional Predictive Models in Double Bagging Type Ensemble Method / Zaman Faisal ; Mohammad Mesbah Uddin ; Hideo Hirose
Personalization of Search Profile Using Ant Foraging Approach / Pattira Phinitkar ; Peraphon Sophatsathit
A Novel Convinced Diffie-Hellman Computation Scheme and Its Cryptographic Application / Yuh-Min Tseng ; Tsu-Yang Wu
An Identifiable yet Unlinkable Authentication System with Smart Cards for Multiple Services / Toru Nakamura ; Shunsuke Inenaga ; Daisuke Ikeda ; Kensuke Baba ; Hiroto Yasuura
Accelerating Video Identification by Skipping Queries with a Compact Metric Cache / Takaaki Aoki ; Daisuke Ninomiya ; Arnoldo José Müller-Molina ; Takeshi Shinohara
Estimating the Influence of Documents in IR Systems: A Marked Indexing Approach / Ye Wang ; Yi Han ; Tianbo Lu
String Matching with Mismatches by Real-Valued FFT
Encryption Methods for Restricted Data Limited in Value Range / Yuji Suga
The Research for Spatial Role-Based Access Control Model / Zhiwen Zou ; Changqian Chen ; Shiguang Ju ; Jiming Chen
Workshop on Collective Evolutionary Systems (IWCES 2010)
A Bidirectional Heuristic Search Technique for Web Service Composition / Nilesh Ukey ; Rajdeep Niyogi ; Alfredo Milani ; Kuldip Singh
Evolutionary Optimized Networks for Consensus and Synchronization / Toshihiko Yamamoto ; Akira Namatame
Geospatial Analysis of Cooperative Works on Asymmetric Information Environment / Tetsuya Kusuda ; Tetsuro Ogi
Emergent Stock Market Behaviour from a Multitude of Simple Agents / Volker Nissen ; Danilo Saft
A New Neural Network Based Customer Profiling Methodology for Churn Prediction / Ashutosh Tiwari ; John Hadden ; Chris Turner
General Track on Computational Methods, Algorithms and Applications
Phonological Recoding in the Second Language Processing / Chang H. Lee ; Kyungill Kim ; HeuiSeok Lim
A Personalized CALL System Considering Users Cognitive Abilities / Saebyeok Lee ; WonGye Lee ; Hyeon-Cheol Kim ; Soon-Young Jung
Autonomic Resources Management of CORBA Based Systems for Transportation with an Agent / Woonsuk Suh ; Bunseok Lee
Performance Evaluation of a Reservoir Simulator on a Multi-core Cluster / Carolina Ribeiro Xavier ; Elisa Portes dos Santos Amorim ; Ronan M. Amorim ; Marcelo Lobosco ; Paulo Goldfeld ; Flavio Dickstein ; Rodrigo Weber dos Santos
Generating Parallel Random Sequences via Parameterizing EICGs for Heterogeneous Computing Environments / Hongmei Chi ; Yanzhao Cao
Efficient Generation of Gray Codes for Reflectable Languages / Limin Xiang ; Kai Cheng ; Kazuo Ushijima
Pattern-Unit Based Regular Expression Matching with Reconfigurable Function Unit / Ming Cong ; Hong An ; Lu Cao ; Yuan Liu ; Peng Li ; Tao Wang ; Zhi-hong Yu ; Dong Liu
Availability Analysis of an IMS-Based VoIP Network System / Toshikazu Uemura ; Tadashi Dohi ; Naoto Kaio
Hybrid Genetic Algorithm for Minimum Dominating Set Problem / Abdel-Rahman Hedar ; Rashad Ismail
Proactive Identification and Prevention of Unexpected Future Rule Conflicts in Attribute Based Access Control / Daren Zha ; Jiwu Jing ; Peng Liu ; Jingqiang Lin ; Xiaoqi Jia
Termination of Loop Programs with Polynomial Guards / Bin Wu ; Liyong Shen ; Zhongqin Bi ; Zhenbing Zeng
Development of Web Based Management Software for Safe Driving / Masaki Hayashi ; Kazuhiro Hirata ; Kazuaki Goshi ; Katsuya Matsunaga
A Study on Comparative Analysis of the Information Security Management Systems / Heasuk Jo ; Seungjoo Kim ; Dongho Won
Beacon-Based Cooperative Forwarding Scheme for Safety-Related Enter-Vehicle Communications / Songnan Bai ; Zequn Huang ; Jaeil Jung
Author Index
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2010)
Supporting Molecular Modeling Workflows within a Grid Services Cloud / Sergio Rampino ; Ernesto Garcia ; Fernando Pirani ; Antonio Laganà ; Martin Koehler ; Matthias Ruckenbauer ; Ivan Janciak ; Siegfried Benkner ; Hans Lischka ; Wilfried N. Gansterer
Distributed and Collaborative Learning Objects Repositories on Grid Networks / Simonetta Pallottelli ; Sergio Tasso ; Nicola Pannacci ; Alessandro Coatantini ; Noelia Faginas Lago
58.

電子ブック

EB
David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, Takeo Kanade, Beniamino Murgante, Eric Pardede
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Workshop on Numerical Methods and Modeling/Simulations in computational Science and Engineering (NMMS 2010)
The Use of Shadow Regions in Multi Region FDM: High Precision Cylindrically Symmetric Electrostatics / David Edwards Jr.
Fast Forth Power and Its Application in Inversion Computation for a Special Class of Trinomials / Yin Li ; Gong-liang Chen ; Jian-hua Li
Computational Study of Comphressive Loading of Carbon Nanotubes / Yang Yang ; William W. Liou
plrint5d: A Five-Dimensional Automatic Cubature Routine Designed for a Multi-core Platform / Tiancheng Li ; Ian Robinson
Development of Quadruple Precision Arithmetic Toolbox QuPAT on Scilab / Tsubasa Saito ; Emiko Ishiwata ; Hidehiko Hasegawa
Agent Based Evacuation Model with car-Following Parameters by Means of Cellular Automata / Kohei Arai ; Tri Harsono
A Cellular Automata Based Approach for Prediction of Hot Mudflow Disaster Area / Achmad Basuki
Stochastic Optimization Approaches to Image Reconstruction in Electrical Impedance Tomography / Chang-Jin Boo ; Ho-Chan Kim ; Min-Jae Kang ; Kwang Y. Lee
Estimating Soil Parameters Using the Kernel Function / Jacek M. Zurada
A Genetic Algorithm for Efficient Delivery Vehicle Operation Planning Considering Traffic Conditions / Yoong-Seok Yoo ; Jae-Yearn Kim
On the Possibilities of Multi-core Processor Use for Real-Time Forecast of Dangerous Convective Phenomena / Nikita Raba ; Elena Stankova
Transformation, Reduction and Extrapolation Techniques for Feynman Loop Integrals / Elise de Doncker ; Junpei Fujimoto ; Nobuyuki Hamaguchi ; Tadashi Ishikawa ; Yoshimasa Kurihara ; Yoshimitsu Shimizu ; Fukuko Yuasa
Workshop on PULSES V-Logical, Scientific and Computational Aspects of Pulse Phenomena in Transitions (PULSES 2010)
Application of Wavelet-Basis for solution of the Fredholm Type Integral Equations / Carlo Cattani ; Aleksey Kudreyko
Fractal Patterns in Prime Numbers Distribution
Efficient Energy Supply from Ground Coupled Heat Transfer source / Maurizio Carlini ; Sonia Castellucci
A Study of Nonlinear Time-Varying Spectral Analysis Based on HHT, MODWPT and Multitaper Time-Frequency Reassignment / Pei-Wei Shan ; Ming Li
Performance Analysis of Greenhouses with Integrated Photovoltaic Modules / Mauro Villarini ; Stefano Esposto ; Milena Bernardi
Modelling Cutaneous Senescence Process / Maria Crisan ; Radu Badea ; Paulina Mitrea ; Mira Florea ; Diana Crisan ; Delia Mitrea ; Razvan Bucur ; Gabriela Checiches
Self-similar Hierarchical Regular Lattices / Ettore Laserra
Workshop on Software Engineering Processes and Application (SEPA 2010)
Model Driven Software Development of Applications Based on Web Services / Ricardo Rafael Quintero Meza ; Leopoldo Zenaido Zepeda Sánchez ; Liliana Vega Zazueta
An Aspect-Oriented Approach for Mobile Embedded Software Modeling / Yong-Yi FanJiang ; Jong-Yih Kuo ; Shang-Pin Ma ; Wong-Rong Huang
Multi-variate Principal Component Analysis of Software Maintenance Effort Drivers / Ruchi Shukla ; A.K. Misra
Process Model Based Incremental Project Planning / Edward Fischer
A Software Metric for Python Language / Sanjay Misra ; Ferid Cafer
Certifying Algorithms for the Path Cover and Related Problems on Interval Graphs / Ruo-Wei Hung ; Maw-Shang Chang
Design and Overhead Estimation of Device Driver Process / Yusuke Nomura ; Kouta Okamoto ; Yusuke Gotoh ; Yoshinari Nomura ; Hideo Taniguchi ; Kazutoshi Yokoyama ; Katsumi Maruyama
Improvement of Gaze Estimation Robustness Using Pupil Knowledge / Ronny Mardiyanto
Workshop on WEB 2.0 and Social Networks (Web2.0 2010)
Behaviour-Based Web Spambot Detection by Utilising Action Time and Action Frequency / Pedram Hayati ; Kevin Chai ; Vidyasagar Potdar ; Alex Talevski
Towards the Definition of a Metamodel for the conceptual Specification of Web Applications Based on Social Networks / Constanza Hernández ; Ricardo Quintero ; Leopoldo Z. Sánchez
Semi-automatic Information Extraction from Discussion Boards with Applications for Anti-Spam Technology / Saeed Sarencheh ; Elham Afsari Yeganeh ; Nazanin Firoozeh
Factors Involved in Estimating Cost of Email Spam / Farida Ridzuan
Spam 2.0: The Problem Ahead / Elham Afsari Yeganesh ; Nazanin Firuzeh
General: Track on Information Systems and Technologies
Tag Recommendation for Flickr Using Web Browsing Behavior / Taiki Takashita ; Tsuyoshi Itokawa ; Teruaki Kitasuka ; Masayoshi Aritsugi
USABAGILE_Web: A Web Agile Usability Approach for Web Site Design / Gladys Benigin ; Osvaldo Gervasi ; Francesco Luca Passeri ; Tai-Hoon Kim
Combining CSP and Constraint-Based Mining for Pattern Discovery / Mehdi Khiari ; Patrice Boizumault ; Bruno Crémilleux
Experience in Developing an Open Source Scalable Software Infrastructure in Japan / Akira Nishida
A New Formal Test Method for Networked software Integration Testing / Shuai Wang ; Yindong Ji ; Wei Dong ; Shiyuan Yang
General Track on Computational Methods, Algorithms and Scientific Application
Automatic History Matching in Petroleum Reservoirs Using the TSVD Method / Elisa Portes dos Santos Amorim ; Paulo Goldfeld ; Flavio Dickstein ; Rodrigo Weber dos Santos ; Carolina Ribeiro Xavier
An Efficient Hardware Architecture from C Program with Memory Access to Hardware / Akira Yamawaki ; Seiichi Serikawa ; Masahiko Iwane
A New Approach: Component-Based Multi-physics Coupling through CCA-LISI / Fang Liu ; Masha Sosonkina ; Randall Bramley
Efficient Algorithms for the 2-Center Problems / Tadao Takaoka
A Genetic Algorithm for Integration Planning of Assembly Operation and Machine Layout / C.J. Chiang ; Z.H. Che ; Tzu-An Chiang ; Zhen-Guo Che
General Track on Advanced and Emerging Applications
Diagnosis of Learning Styles Based on Active/Reflective Dimension of Felder and Silverman's Learning Style Model in a Learning Management System / Ömer Simsek ; Nilüfer Atman ; Mustafa Murat Inceoglu ; Yüksel Deniz Arikan
Exploring the State of the Art in Adaptive Distributed Learning Environments / Birol Ciloglugil
Analysis of an Implicitly Restarted Simpler GMRES Variant of Augmented GMRES / Ravindra Boojhawon ; Desire Yannick Tangman ; Kumar Dookhitram ; Muddun Bhuruth
On the Linearity of Cryptographic Sequence Generators / Amparo Fuster-Sabater ; Oscar Delgado-Mohatar ; Ljiljana Brankovic
Author Index
Workshop on Numerical Methods and Modeling/Simulations in computational Science and Engineering (NMMS 2010)
The Use of Shadow Regions in Multi Region FDM: High Precision Cylindrically Symmetric Electrostatics / David Edwards Jr.
Fast Forth Power and Its Application in Inversion Computation for a Special Class of Trinomials / Yin Li ; Gong-liang Chen ; Jian-hua Li
59.

電子ブック

EB
David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, Takeo Kanade, Beniamino Murgante, Eric Pardede
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Workshop on Geographical Analysis, Urban Modeling, Spatial Statistics (GEO-AN-MOD 2010)
Real Estate Values, Urban Centrality, Economic Activities. A GIS Analysis on the City of Swindon (UK) / Francesco Battaglia ; Giuseppe Borruso ; Andrea Porceddu
Analysis of Positional Aspects in the Variation of Real Estate Values in an Italian Southern Metropolitan Area / Silvestro Montrone ; Paola Perchinunno ; Carmelo Maria Torre
A Network Based Kernel Density Estimator Applied to Barcelona Economic Activities / Produit Timothée ; Lachance-Bernard Nicolas ; Strano Emanuele ; Porta Sergio ; Joost Stéphane
The Application of Spatial Filtering Technique to the Economic Convergence of the European Regions between 1995 and 2007 / Francesco Pecci ; Nicola Pontarollo
Spatial Autocorrelation Analysis for the Evaluation of Migration Flows: The Italian Case / Grazia Scardaccione ; Francesco Scorza ; Giuseppe Las Casas ; Beniamino Murgante
Using Cellular Automata Model to Simulate the Impact of Urban Growth Policy on Environment in Danshuei Township, Taiwan / Feng-Tyan Lin ; Wan-Yu Tseng
Improving the Calibration of the MOLAND Urban Growth Model with Land-Use Information Derived from a Time-Series of Medium Resolution Remote Sensing Data / Tim Van de Voorde ; Johannes van der Kwast ; Inge Uljee ; Guy Engelen ; Frank Canters
Design of a Dynamic Land-Use Change Probability Model Using Spatio-temporal Transition Matrix / Yongjin Joo ; Chulmin Jun ; Soohong Park
Forecasting Space-Time Land Use Change in the Paochiao Watershed of Taiwan Using Demand Estimation and Empirical Simulation Approaches / Hone-Jay Chu ; Yu-Pin Lin ; Chen-Fa Wu
Should Neighborhood Effect Be Stable in Urban Geosimulation Model? A Case Study of Tokyo / Yaolong Zhao ; Fei Dong ; Hong Zhang
A Fuzzy Cellular Automata Modeling Approach - Accessing Urban Growth Dynamics in Linguistic Terms / Lefteris A. Mantelas ; Thomas Hatzichristos ; Poulicos Prastacos
Computer-Based Methods for a Socially Sustainable Urban and Regional Planning - CoMStaR / Jens Steinhöfel ; Frauke Anders ; Hermann Köhler ; Dominik Kalisch ; Reinhard König
A Comparison of Evolutionary Algorithms for Automatic Calibration of Constrainad Cellular Automata / Ivan Blecic ; Arnaldo Cecchini ; Giuseppe A. Trunfio
The Calculation Method of Heating and Cooling Energy Saving Potential in Urban District / Shin Do Kim ; Im Hack Lee ; Sung Moon Cheon
GIS-Based Estimation of Wetland Conservation Potentials in Europe / Christine Schleupner
G.I.S. to Support Environmental Sustainability in Manufacturing Areas. Case Study of the Apulian Region in Southern Italy / Francesco Selicato ; Grazia Maggio ; Francesco Mancini
Estimating and Classifying Spatial and Temporal Distributions of Flow Conditions for Fish Habitats by Using Geostatistical Approaches with Measured Flow and Fish Data / Cheng-Long Wang ; Hsiao-Hsuan Yu ; Yung-Chieh Wang
Service Path Attribution Networks (SPANs): Spatially Quantifying the Flow of Ecosystem Services from Landscapes to People / Gary W. Johnson ; Kenneth J. Bagstad ; Robert R. Snapp ; Ferdinando Villa
Facing the Archaeological Looting in Peru by Using Very High Resolution Satellite Imagery and Local Spatial Autocorrelation Statistics / Rosa Lasaponara ; Nicola Masini
U-City: New Trends of Urban Planning in Korea Based on Pervasive and Ubiquitous Geotechnology and Geoinformation / Myungjun Jang ; Soon-Tak Suh
Settlement-Preference Patterns and Characteristics of Households in Urban Renewal Area / Jin-Kyung Lee ; Seungil Lee ; Kyu-Il Kim
Ontologies for Urban Regeneration Could Be Useful for Managing Cohesion Policies? / Francesco Rotondo
The Effect of School Facility Allocation to City Center Development Base on Dynamic Spatial Structure Model / Shyh-Haw Chyan ; Hsiao-Lan Liu
A Fuzzy Reasoning Based Approach for Determining Suitable Paths between Two Locations on a Transport Network / Indira Mukherjee ; S.K. Ghosh
Assessing Macroseismic Data Reliability through Rough Set Theory: The Case of Rapolla (Basilicata, Southern Italy) / Fabrizio Gizzi ; Maria Rosaria Potenza ; Cinzia Zotta ; Lucia Tilio ; Maria Danese
Utilization of LiDAR and IKONOS Satellite Data for Security Hotspot Analysis Based on Realism of 3D City Model / Mazlan Hashim ; Maged Marghany ; Mohd Rizaludin Mahmud ; Mohd Hafiz Anuar
Towards 3D Tactical Intelligence Assessments for Crime scene Analysis / Markus Wolff ; Hartmut Asche
On the Estimation of Fire Severity Using Satellite ASTER Data and Spatial Autocorrelation Statistics / Rosa Coluzzi ; Antonio Lanorte
Spatial Analysis of the 2008 Influenza Outbreak of Hong Kong / Poh-chin Lai ; Kim-hung Kwong
Spatial Components in Disease Modelling
Ordered Polyline Trees for Efficient Search of Objects Moving on a Graph / Thuy Thi Thu Le ; Bradford G. Nickerson
Compactness in Spatial Decision Support: A Literature Review / Pablo Vanegas ; Dirk Cattrysse ; Jos Van Orshoven
An Architecture and a Metamodel for Processing Analytic and Geographic Multilevel Queries / Diego Martins Vieira Barros ; Robson do Nascimento Fidalgo
Transferring Indicators into Different Partitions of Geographic Space / Christine Plumejeaud ; Julie Prud'homme ; Paule-Annick Davoine ; Jérôme Gensel
A Model Driven Process for Spatial Data Sources and Spatial Data Warehouses Reconcilation / Octavio Glorio ; Jose-Norberto Mazón ; Juan Trujillo
ISATEM: An Integration of Socioeconomic and Spatial Models for Mineral Resources Exploitation / Fenintsoa Andriamasinoro ; Daniel Cassard ; Bruno Martel-Jantin
Scale-Dependency and Sensitivity of Hydrological Estimations to Land Use and Topography for a Coastal Watershed in Mississippi / Vladimir J. Alarcon ; Charles G. O'Hara
Using MODIS Land-Use/Land-Cover Data and Hydrological Modeling for Estimating Nutrient Concentrations / William McAnally ; Gary Ervin ; Christopher Brooks
Geometrical DCC-Algorithm for Merging Polygonal Geospatial Data / Silvija Stankute
Geospatial Semantics: A Critical Review / Pasquale Di Donato
General Track on Advanced and Emerging Applications
Modelling Sea Surface Salinity from MODIS Satellite Data / Arthur P. Cracknell
Skeleton of a Multi-ribbon Surface / Ivan Mekhedov ; Leonid Mestetskiy
Multi-criteria Optimization in GIS: Continuous K-Nearest Neighbor Search in Mobile Navigation / Kushan Ahmadian ; Marina Gavrilova ; David Taniar
The Application of Disturbance Observer to Propulsion Control of Sub-mini Underwater Robot / Yuyi Zhai ; Liang Liu ; Wenjie Lu ; Yu Li ; Shiliang Yang ; Francesco Villecco
On the Security Enhancement of an Efficient and Secure Event Signature Protocol for P2P MMOGs / Chun-Ta Li ; Cheng-Chi Lee ; Lian-Jun Wang
A Stable Skeletonization for Tabletop Gesture Recognition / Andoni Beristain ; Manuel Graña
Author Index
Workshop on Geographical Analysis, Urban Modeling, Spatial Statistics (GEO-AN-MOD 2010)
Real Estate Values, Urban Centrality, Economic Activities. A GIS Analysis on the City of Swindon (UK) / Francesco Battaglia ; Giuseppe Borruso ; Andrea Porceddu
Analysis of Positional Aspects in the Variation of Real Estate Values in an Italian Southern Metropolitan Area / Silvestro Montrone ; Paola Perchinunno ; Carmelo Maria Torre
60.

電子ブック

EB
Pierangela Samarati, Takeo Kanade, Konstantinos Markantonakis, Joachim Posegga, Damien Sauveron, Michael Tunstall
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Embedded Security
Efficient and Effective Buffer Overflow Protection on ARM Processors / Raoul Strackx ; Yves Younan ; Pieter Philippaerts ; Frank Piessens
Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines / Alexandre Venelli
A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones / Tansu Alpcan ; Christian Bauckhage ; Aubrey-Derrick Schmidt
A Smart Card Implementation of the McEliece PKC / Falko Strenzke
Evaluation Metrics of Physical Non-invasive Security / Huiyun Li ; Keke Wu ; Fengqi Yu ; Hai Yuan
Protocols
Trust in Peer-to-Peer Content Distribution Protocols / Nicolai Kuntze ; Carsten Rudolph ; Andreas Fuchs
Generic Constructions of Biometric Identity Based Encryption Systems / Neyire Deniz Sarier
Design and Analysis of a Generalized Canvas Protocol / Marián Novotný
Highly Constrained Embedded Systems
Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures / Michael Braun ; Ulrike Meyer ; Susanne Wetzel
Practical Schemes for Privacy and Security Enhanced RFID (Extended Abstract) / Jaap-Henk Hoepman ; Rieks Joosten
MoteAODV - An AODV Implementation for TinyOS 2.0 / Werner Backes ; Jared Cordasco
Security
Random Number Generation Based on Fingerprints / Shkodran Gerguri ; Václav Matyáš ; Zdenek Ríha ; Ludek Smolík
Improvements of pan-European IDM Architecture to Enable Identity Delegation Based on X.509 Proxy Certificates and SAML / Sergio Sánchez García ; Ana Gómez Oliva
Fraud Detection for Voice over IP Services on Next-Generation Networks / Igor Ruiz-Agundez ; Yoseba K. Penya ; Pablo Garcia Bringas
Smart Card Security
Proxy Smart Card Systems / Giuseppe Cattaneo ; Pompeo Faruolo ; Vincenzo Palazzo ; Ivan Visconti
Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract? / Nicola Dragoni ; Olga Gadyatskaya ; Fabio Massacci
Website Credential Storage and Two-Factor Web Authentication with a Java SIM / Jonathan Hart ; Konstantinos Markantonakis ; Keith Mayes
Algorithms
Attribute-Based Encryption with Break-Glass / Achim D. Brucker ; Helmut Petritsch ; Stefan G. Weber
On the Security of a Two-Factor Authentication Scheme / Luigi Catuogno ; Clemente Galdi
The Design of Secure and Efficient P2PSIP Communication Systems / Xianghan Zheng ; Vladimir Oleshchuk
Hardware Implementations
Novel FPGA-Based Signature Matching for Deep Packet Inspection / Nitesh B. Guinde ; Sotirios G. Ziavras
Towards Electrical, Integrated Implementations of SIMPL Systems / Ulrich Rührmair ; Qingqing Chen ; Martin Stutzmann ; Paolo Lugli ; Ulf Schlichtmann ; György Csaba
A Very Compact Hardware Implementation of the KASUMI Block Cipher / Dai Yamamoto ; Kouichi Itoh ; Jun Yajima
Embedded Systems
Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions / Ronald Kainda ; Ivan Flechais ; A.W. Roscoe
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Security Analysis of Mobile Phones Used as OTP Generators / Håvard Raddum ; Lars Hopland Nestås ; Kjell Jørgen Hole
An Energy-Efficient Symmetric Cryptography Based Authentication Scheme for Wireless Sensor Networks / Oscar Delgado-Mohatar ; José M. Sierra ; Ljiljana Brankovic ; Amparo Fúster-Sabater
Anonymity/Database Security
The Market Failure of Anonymity Services / Heiko Rossnagel
Exploiting Node Mobility for Coordinating Data Usage in Crisis Scenarios / Giovanni Russello ; Enrico Scalavino
Predicting and Preventing Insider Threat in Relational Database Systems / Qussai Yaseen ; Brajendra Panda
Author Index
Embedded Security
Efficient and Effective Buffer Overflow Protection on ARM Processors / Raoul Strackx ; Yves Younan ; Pieter Philippaerts ; Frank Piessens
Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines / Alexandre Venelli
61.

電子ブック

EB
Mark Crovella, Laura Marie Feeney, Takeo Kanade, S. V. Raghavan, Dan Rubenstein
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
P2P and Overlay Networks
Using Torrent Inflation to Efficiently Serve the Long Tail in Peer-Assisted Content Delivery Systems / Niklas Carlsson ; Derek L. Eager ; Anirban Mahanti
Network Distance Prediction Based on Decentralized Matrix Factorization / Yongjun Liao ; Pierre Geurts ; Guy Leduc
Topology-Awareness and Reoptimization Mechanism for Virtual Network Embedding / Nabeel Farooq Butt ; Mosharaf Chowdhury ; Raouf Boutaba
Survivable Virtual Network Embedding / Muntasir Raihan Rahman ; Issam Aib
Toward Efficient On-Demand Streaming with BitTorrent / Youmna Borghol ; Sebastien Ardon
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks / Luigi Liquori ; Cédric Tedeschi ; Laurent Vanni ; Francesco Bongiovanni ; Vincenzo Ciancaglini ; Bojan Marinkovic
Performance Measurement
A Longitudinal Study of Small-Time Scaling Behavior of Internet Traffic / Himanshu Gupta ; Vinay J. Ribeiro
Measurement Study of Multi-party Video Conferencing / Yue Lu ; Yong Zhao ; Fernando Kuipers ; Piet Van Mieghem
Quality of Service
Passive Online RTT Estimation for Flow-Aware Routers Using One-Way Traffic / Damiano Carra ; Konstantin Avrachenkov ; Sara Alouf ; Alberto Blanc ; Philippe Nain ; Georg Post
A Flow Scheduler Architecture / Dinil Mon Divakaran ; Giovanna Carofiglio ; Eitan Altman ; Pascale Vicat-Blanc Primet
Stateless RD Network Services / Maxim Podlesny ; Sergey Gorinsky
Wireless Networks
Multicast in Multi-channel Wireless Mesh Networks / Ouldooz Baghban Karimi ; Jiangchuan Liu ; Zongpeng Li
Ambient Interference Effects in Wi-Fi Networks / Aniket Mahanti ; NiklasCarlsson ; Carey Williamson ; Martin Arlitt
A Zone Assignment Algorithm for Fractional Frequency Reuse in Mobile WiMAX Networks / Michael Einhaus ; Andreas Mäder ; Xavier Pérez-Costa
Addressing and Routing
Handling Transient Link Failures Using Alternate Next Hop Counters / Suksant Sae Lor ; Raul Landa ; Redouane Ali ; Miguel Rio
Efficient Recovery from False State in Distributed Routing Algorithms / Daniel Gyllstrom ; Sudarshan Vasudevan ; Jim Kurose ; Gerome Miklau
IP Fast Reroute in Networks with Shared Risk Links / Yan Li ; Mohamed G.Gouda
EAU: Efficient Address Updating for Seamless Handover in Multi-homed Mobile Environments / Yuansong Qiao ; Shuaijun Zhang ; Adrian Matthews ; GregoryHayes ; Enda Fallon
Applications and Services
Speculative Validation of Web Objects for Further Reducing the User-Perceived Latency / Josep Domenech ; Jose A. Gil ; Julio Sahuquillo ; Ana Pont
Dynamic Service Placement in Shared Service Hosting Infrastructures / Qi Zhang ; Jin Xiao ; Eren Gürses ; Martin Karsten
Evaluating the Impact of a Novel Warning Message Dissemination Scheme for VANETs Using Real City Maps / Francisco J. Martinez ; Manuel Fogue ; Manuel Coll ; Juan-Carlos Cano ; Carlos T. Calafate ; Pietro Manzoni
Ad Hoc and Sensor Networks
Resource Optimization Algorithm for Sparse Time-Driven Sensor Networks / María Luisa Santamaría ; Sebastià Galmés ; Ramon Puigjaner
Routing Protocol for Anycast Communications in a Wireless Sensor Network / Nancy El Rachkidy ; Alexandre Guitton ; Michel Misson
Fault-Tolerant Power-Aware Topology Control for Ad-Hoc Wireless Networks / Harichandan Roy ; Shuvo Kumar De ; Md. Maniruzzaman ; Ashikur Rahman
Work in Progress
Server Guaranteed Cap: An Incentive Mechanism for Maximizing Streaming Quality in Heterogeneous Overlays / Ilias Chatzidrossos ; GyörgyDán ; Viktória Fodor
End-to-End Throughput with Cooperative Communication in Multi-channel Wireless Networks / Zheng Huang ; Xin Wang ; Baochun Li
Cost Bounds of Multicast Light-Trees in WDM Networks / Fen Zhou ; Miklós Molnár ; Bernard Cousin ; Chunming Qiao
Bidirectional Range Extension for TCAM-Based Packet Classification / Yan Sun ; Min Sik Kim
Estimating the Economic Value of Flexibility in Access Network Unbundling / Koen Casier ; Mathieu Tahon ; Mohsan Ahmed Bilal ; Sofie Verbrugge ; Didier Colle ; Mario Pickavet ; Piet Demeester
Intercarrier Compensation between Providers of Different Layers: Advantages of Transmission Initiator Determination / Ruzana Davoyan ; Wolfgang Effelsberg
Application of Secondary Information for Misbehavior Detection in VANETs / Ashish Vulimiri ; Arobinda Gupta ; Pramit Roy ; Skanda N. Muthaiah ; Arzad A. Kherani
Path Attestation Scheme to Avert DDoS Flood Attacks / Raktim Bhattacharjee ; S. Sanand ; S. V. Raghavan
Author Index
P2P and Overlay Networks
Using Torrent Inflation to Efficiently Serve the Long Tail in Peer-Assisted Content Delivery Systems / Niklas Carlsson ; Derek L. Eager ; Anirban Mahanti
Network Distance Prediction Based on Decentralized Matrix Factorization / Yongjun Liao ; Pierre Geurts ; Guy Leduc
62.

電子ブック

EB
Arvind Krishnamurthy, Takeo Kanade, Bernhard Plattner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Characterizing the Global Impact of P2P Overlays on the AS-Level Underlay / Amir Hassan Rasti ; Reza Rejaie ; Walter Willinger
Investigating Occurrence of Duplicate Updates in BGP Announcements / Jong Han Park ; Dan Jen ; Mohit Lad ; Shane Amante ; Danny McPherson ; Lixia Zhang
A Measurement Study of the Origins of End-to-End Delay Variations / Yaron Schwartz ; Yuval Shavitt ; Udi Weinsberg
Yes, We LEDBAT: Playing with the New BitTorrent Congestion Control Algorithm / Dario Rossi ; Claudio Testa ; Silvio Valenti
Measuring and Evaluating TCP Splitting for Cloud Services / Abhinav Pathak ; Y. Angela Wang ; Cheng Huang ; Albert Greenberg ; Y. Charlie Hu ; Randy Kern ; Jin Li ; Keith W. Ross
The Myth of Spatial Reuse with Directional Antennas in Indoor Wireless Networks / Sriram Lakshmanan ; Karthikeyan Sundaresan ; Sampath Rangarajan ; Raghupathy Sivakumar
Influence of the Packet Size on the One-Way Delay in 3G Networks / Patrik Arlos ; Markus Fiedler
An Experimental Performance Comparison of 3G and Wi-Fi / Richard Gass ; Christophe Diot
Extracting Intra-domain Topology from mrinfo Probing / Jean-Jacques Pansiot ; Pascal Mérindol ; Benoit Donnet ; Olivier Bonaventure
Quantifying the Pitfalls of Traceroute in AS Connectivity Inference / Yu Zhang ; Ricardo Oliveira ; Hongli Zhang
Toward Topology Dualism: Improving the Accuracy of AS Annotations for Routers / Bradley Huffaker ; Amogh Dhamdhere ; Marina Fomenkov ; kc claffy
The RIPE NCC Internet Measurement Data Repository / Tony McGregor ; Shane Alcock ; Daniel Karrenberg
Enabling High-Performance Internet-Wide Measurements on Windows / Matt Smith ; Dmitri Loguinov
MOR: Monitoring and Measurements through the Onion Router / Demetris Antoniades ; Evangelos P. Markatos ; Constantine Dovrolis
Evaluating IPv6 Adoption in the Internet / Lorenzo Colitti ; Steinar H. Gunderson ; Erik Kline ; Tiziana Refice
Internet Usage at Elementary, Middle and High Schools: A First Look at K-12 Traffic from Two US Georgia Counties / Robert Miller ; Warren Matthews
A First Look at Mobile Hand-Held Device Traffic / Gregor Maier ; Fabian Schneider ; Anja Feldmann
A Learning-Based Approach for IP Geolocation / Brian Eriksson ; Paul Barford ; Joel Sommers ; Robert Nowak
A Probabilistic Population Study of the Conficker-C Botnet / Rhiannon Weaver
Network DVR: A Programmable Framework for Application-Aware Trace Collection / Chia-Wei Chang ; Alexandre Gerber ; Bill Lin ; Subhabrata Sen ; Oliver Spatscheck
OpenTM: Traffic Matrix Estimator for OpenFlow Networks / Amin Tootoonchian ; Monia Ghobadi ; Yashar Ganjali
Web Timeouts and Their Implications / Zakaria Al-Qudah ; Michael Rabinovich ; Mark Allman
A Longitudinal View of HTTP Traffic / Tom Callahan ; Vera Paxson
Author Index
Characterizing the Global Impact of P2P Overlays on the AS-Level Underlay / Amir Hassan Rasti ; Reza Rejaie ; Walter Willinger
Investigating Occurrence of Duplicate Updates in BGP Announcements / Jong Han Park ; Dan Jen ; Mohit Lad ; Shane Amante ; Danny McPherson ; Lixia Zhang
A Measurement Study of the Origins of End-to-End Delay Variations / Yaron Schwartz ; Yuval Shavitt ; Udi Weinsberg
63.

電子ブック

EB
Patrik Floréen, Takeo Kanade, Antonio Krüger, Mirjana Spasojevic
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Positioning
Virtual Compass: Relative Positioning to Sense Mobile Social Interactions / Nilanjan Banerjee ; Sharad Agarwal ; Paramvir Bahl ; Ranveer Chandra ; Alec Wolman ; Mark Corner
The Geography of Taste: Analyzing Cell-Phone Mobility and Social Events / Francesco Calabrese ; Francisco C. Pereira ; Giusy Di Lorenzo ; Liang Liu ; Carlo Ratti
Indoor Positioning Using GPS Revisited / Mikkel Baun Kjærgaard ; Henrik Blunck ; Torben Godsk ; Thomas Toftkjær ; Dan Lund Christensen ; Kaj Grønbæk
Navigation and Tracking
Specification and Verification of Complex Location Events with Panoramic / Evan Welbourne ; Magdalena Balazinska ; Gaetano Borriello ; James Fogarty
Tactile Wayfinder: Comparison of Tactile Waypoint Navigation with Commercial Pedestrian Navigation Systems / Martin Pielot ; Susanne Boll
Applications
Jog Falls: A Pervasive Healthcare Platform for Diabetes Management / Lama Nachman ; Amit Baxi ; Sangeeta Bhattacharya ; Vivek Darera ; Piyush Deshpande ; Nagaraju Kodalapura ; Vincent Mageshkumar ; Satish Rath ; Junaith Shahabdeen ; Raviraja Acharya
EyeCatcher: A Digital Camera for Capturing a Variety of Natural Looking Facial Expressions in Daily Snapshots / Koji Tsukada ; Maho Oki
TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones / Julian Seifert ; Alexander De Luca ; Bettina Conradi ; Heinrich Hussmann
Tools, Modelling
Recruitment Framework for Participatory Sensing Data Collections / Sasank Reddy ; Deborah Estrin ; Mani Srivastava
Out of the Lab and into the Fray: Towards Modeling Emotion in Everyday Life / Jennifer Healey ; Sushmita Subramanian ; Margaret Morris
The Secret Life of Machines - Boundary Objects in Maintenance, Repair and Overhaul / Matthias Betz
Studies
Automatic Assessment of Cognitive Impairment through Electronic Observation of Object Usage / Mark R. Hodges ; Ned L. Kirsch ; Mark W. Newman ; Martha E. Pollack
Further into the Wild: Running Worldwide Trials of Mobile Systems / Donald McMillan ; Alistair Morrison ; Owain Brown ; Malcolm Hall ; Matthew Chalmers
Studying the Use and Utility of an Indoor Location Tracking System for Non-experts / Shwetak N. Patel ; Julie A. Kientz ; Sidhant Gupta
Activity Recognition
Object-Based Activity Recognition with Heterogeneous Sensors on Wrist / Takuya Maekawa ; Yutaka Yanagisawa ; Yasue Kishino ; Katsuhiko Ishiguro ; Koji Kamei ; Yasushi Sakurai ; Takeshi Okadorne
GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home / Gabe Cohn ; Jon Froehlich ; Eric Larson
Transferring Knowledge of Activity Recognition across Sensor Networks / T.L.M. van Kasteren ; G. Englebienne ; B.J.A. Kröse
Sensing
Common Sense Community: Scaffolding Mobile Sensing and Analysis for Novice Users / Wesley Willett ; Paul Aoki ; Neil Kumar ; Allison Woodruff
Active Capacitive Sensing: Exploring a New Wearable Sensing Modality for Activity Recognition / Jingyuan Cheng ; Oliver Amft ; Paul Lukowicz
Using Height Sensors for Biometric Identification in Multi-resident Homes / Vijay Srinivasan ; John Stankovic ; Kamin Whitehouse
Resource Awareness
Supporting Energy-Efficient Uploading Strategies for Continuous Sensing Applications on Mobile Phones / Mirco Musolesi ; Mattia Piraccini ; Kristof Fodor ; Antonio Corradi ; Andrew T. Campbell
Efficient Resource-Aware Hybrid Configuration of Distributed Pervasive Applications / Stephan Schuhmann ; Klaus Herrmann ; Kurt Rothermel
Interaction
12Pixels: Exploring Social Drawing on Mobile Phones / Karl D.D. Willis ; Ivan Poupyrev
No-Look Notes: Accessible Eyes-Free Multi-touch Text Entry / Matthew N. Bonner ; Jeremy T. Brudvik ; Gregory D. Abowd ; W. Keith Edwards
On the Use of Brain Decoded Signals for Online User Adaptive Gesture Recognition Systems / Kilian Förster ; Andrea Biasiucci ; Ricardo Chavarriaga ; José del R. Millán ; Daniel Roggen ; Gerhard Tröster
Author Index
Positioning
Virtual Compass: Relative Positioning to Sense Mobile Social Interactions / Nilanjan Banerjee ; Sharad Agarwal ; Paramvir Bahl ; Ranveer Chandra ; Alec Wolman ; Mark Corner
The Geography of Taste: Analyzing Cell-Phone Mobility and Social Events / Francesco Calabrese ; Francisco C. Pereira ; Giusy Di Lorenzo ; Liang Liu ; Carlo Ratti
64.

電子ブック

EB
Dieter Gollmann, Julien Iguchi-Cartigny, Takeo Kanade, Jean-Louis Lanet
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Mathematical Algorithms
The Polynomial Composition Problem in (Z/nZ)[X] / Marc Joye ; David Naccache ; Stéphanie Porte
Enhance Multi-bit Spectral Analysis on Hiding in Temporal Dimension / Qiasi Luo
Secure Delegation of Elliptic-Curve Pairing / Benoît Chevallier-Mames ; Jean-Sébastien Coron ; Noel McCullagh ; Michael Scott
Side Channel Analysis
Side-Channel Leakage across Borders / Jörn-Marc Schmidt ; Thomas Plos ; Mario Kirschbaum ; Michael Hutter ; Marcel Medwed ; Christoph Herbst
Designing a Side Channel Resistant Random Number Generator / Suresh N. Chari ; Vincenzo V. Diluoffo ; Paul A. Karger ; Elaine R. Palmer ; Tal Rabin ; Josyula R. Rao ; Pankaj Rohotgi ; Helmut Scherzer ; Michael Steiner ; David C. Toll
Simple Power Analysis on Exponentiation Revisited / Jean-Christophe Courrège ; Benoit Feix ; Mylène Roussellet
Atomicity Improvement for Elliptic Curve Scalar Multiplication / Christophe Giraud ; Vincent Verneuil
Systems
Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale / Geoffroy Cogniaux ; Gilles Grimaud
Firewall Mechanism in a User Centric Smart Card Ownership Model / Raja Naeem Akram ; Konstantinos Markantonakis ; Keith Mayes
Logical Attacks
Combined Attacks and Countermeasures / Eric Vetillard ; Anthony Ferrari
Attacks on Java Card 3.0 Combining Fault and Logical Attacks / Guillaume Barbu ; Hugues Thiebeauld ; Vincent Guerin
Fault Analysis
Improved Fault Analysis of Signature Schemes / Erik W. Knudsen ; Michael Tunstall
When Clocks Fail: On Critical Paths and Clock Faults / Michel Agoyan ; Jean-Max Dutertre ; Bruno Robisson ; Assia Tria
Privacy
Modeling Privacy for Off-Line RFID Systems / Flavio D. Garcia ; Peter van Rossum
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings / Lejla Batina ; Jaap-Henk Hoepman ; Bart Jacobs ; Wojciech Mostowski ; Pim Vullers
On-the Design and Implementation of an Efficient DAA Scheme / Liqun Chen ; Dan Page ; Nigel P. Smart
Author Index
Mathematical Algorithms
The Polynomial Composition Problem in (Z/nZ)[X] / Marc Joye ; David Naccache ; Stéphanie Porte
Enhance Multi-bit Spectral Analysis on Hiding in Temporal Dimension / Qiasi Luo
65.

電子ブック

EB
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas
Attack Analysis and Prevention II / Session 2:
Experiences with PDG-Based IFC / Christian Hammer
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray
Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger
Policy Verification and Enforcement I / Session 3:
Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan Jürjens
Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per Håkon Meland ; Inger Anne Tøndel ; Jostein Jensen
Policy Verification and Enforcement II / Session 4:
Model-Driven Security Policy Deployment: Property Oriented Approach / Stere Preda ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Joaquin Garcia-Alfaro ; Laurent Toutain
Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel Fernández
Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch
Secure System and Software Development I / Session 5:
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif
Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin
Secure System and Software Development II / Session 6:
Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael Schläpfer
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; Håvard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil Stølen ; Jon Ølnes
Author Index
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
66.

電子ブック

EB
Bernadette Charron-Bost, David Hutchison, Takeo Kanade, Fernando Pedone, André Schiper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
67.

電子ブック

EB
Jorge Sá Silva, Fernando Boavida, David Hutchison, Takeo Kanade, Bhaskar Krishnamachari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Localization, Synchronization and Compression
Radio Interferometric Angle of Arrival Estimation / Isaac Amundson ; Janos Sallai ; Xenofon Koutsoukos ; Akos Ledeczi
Phoenix: An Epidemic Approach to Time Reconstruction / Jayant Gupchup ; Douglas Carlson ; Razvan Musaloiu-E ; Alex Szalay ; Andreas Terzis
Trimming the Tree: Tailoring Adaptive Huffman Coding to Wireless Sensor Networks / Andreas Reinhardt ; Delphine Christin ; Matthias Hollick ; Johannes Schmitt ; Parag S. Mogre ; Ralf Steinmetz
Networking - I
Querying Dynamic Wireless Sensor Networks with Non-revisiting Random Walks / Marco Zuniga ; Chen Avin ; Manfred Hauswirth
TARF: A Trust-Aware Routing Framework for Wireless Sensor Networks / Guoxing Zhan ; Weisong Shi ; Julia Deng
Low-Overhead Dynamic Multi-channel MAC for Wireless Sensor Networks / Joris Borms ; Kris Steenhaut ; Bart Lemmens
Exploiting Overlapping Channels for Minimum Power Configuration in Real-Time Sensor Networks / Xiaodong Wang ; Xiaorui Wang ; Guoliang Xing ; Yanjun Yao
New Directions
Privacy-Preserving Reconstruction of Multidimensional Data Maps in Vehicular Participatory Sensing / Nam Pham ; Raghu K. Ganti ; Yusuf S. Uddin ; Suman Nath ; Tarek Abdelzaher
Gathering Sensor Data in Home Networks with IPFIX / Thomas Kothmayr ; Corinna Schmitt ; Lothar Braun ; Georg Carle
Sensing for Stride Information of Sprinters / Lawrence Cheng ; Huiling Tan ; Gregor Kuntze ; Kyle Roskilly ; John Lowe ; Ian N. Bezodis ; Stephen Hailes ; Alan Wilson ; David G. Kerwin
Programming & Architecture
Wiselib: A Generic Algorithm Library for Heterogeneous Sensor Networks / Tobias Baumgartner ; Ioannis Chatzigiannakis ; Sándor Fekete ; Christos Koninis ; Alexander Kröller ; Apostolos Pyrgelis
Selective Reprogramming of Mobile Sensor Networks through Social Community Detection / Bence Pásztor ; Luca Mottola ; Cecilia Mascolo ; Gian Pietro Picco ; Stephen Ellwood ; David Macdonald
Improving Sensornet Performance by Separating System Configuration from System Logic / Niclas Finne ; Joakim Eriksson ; Nicolas Tsiftes ; Adam Dunkels ; Thiemo Voigt
Virtualising Testbeds to Support Large-Scale Reconfigurable Experimental Facilities / Maick Danckwardt ; Georgios Mylonas ; Dennis Pfisterer ; Barry Porter
Link Reliability
Mitigating the Effects of RF Interference through RSSI-Based Error Recovery / Jan-Hinrich Hauer ; Andreas Willig ; Adam Wolisz
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks / Nouha Baccour ; Anis Koubâa ; Habib Youssef ; Maissa Ben Jamâa ; Denis do Rosário ; Mário Alves ; Leandro B. Becker
On the Mechanisms and Effects of Calibrating RSSI Measurements for 802.15.4 Radios / Yin Chen
Making Sensornet MAC Protocols Robust against Interference / Carlo Alberto Boano ; Kay Römer ; Marco Antonio Zúñiga
Networking - II
MaxMAC: A Maximally Traffic-Adaptive MAC Protocol for Wireless Sensor Networks / Philipp Hurni ; Torsten Braun
Energy-Aware Sparse Approximation Technique (EAST) for Rechargeable Wireless Sensor Networks / Rajib Rana ; Wen Hu ; Chun Tung Chou
An Adaptive Strategy for Energy-Efficient Data Collection in Sparse Wireless Sensor Networks / Mario Di Francesco ; Kunal Shah ; Mohan Kumar ; Giuseppe Anastasi
Author Index
Localization, Synchronization and Compression
Radio Interferometric Angle of Arrival Estimation / Isaac Amundson ; Janos Sallai ; Xenofon Koutsoukos ; Akos Ledeczi
Phoenix: An Epidemic Approach to Time Reconstruction / Jayant Gupchup ; Douglas Carlson ; Razvan Musaloiu-E ; Alex Szalay ; Andreas Terzis
68.

電子ブック

EB
Xiaoyi Jiang, Chang Wen Chen, Takeo Kanade, Matthew Y. Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Accessibility and Learning
iFeeling: Vibrotactile Rendering of Human Emotions on Mobile Phones / Shafiq ur Réhman ; Li Liu
Mobile Visual Aid Tools for Users with Visual Impairments / Xu Liu ; David Doermann ; Huiping Li
QR Code and Augmented Reality-Supported Mobile English Learning System / Tsung-Yu Liu ; Tan-Hsu Tan ; Yu-Ling Chu
Server Assisted Adaptation and Networking Applications
Robust 1-D Barcode Recognition on Camera Phones and Mobile Product Information Display / Steffen Wachenfeld ; Sebastian Terlunen ; Xiaoyi Jiang
Evaluating the Adaptation of Multimedia Services Using a Constraints-Based Approach / José M. Oliveira ; Eurico M. Carrapatoso
Mobile Video Surveillance Systems: An Architectural Overview / Rita Cucchiara ; Giovanni Gualdi
Hybrid Layered Video Encoding for Mobile Internet-Based Computer Vision and Multimedia Applications / Suchendra M. Bhandarkar ; Siddhartha Chattopadhyay ; Shiva Sandeep Garlapati
Entertainment
A Recommender Handoff Framework for a Mobile Device / Chuan Zhu ; Matthew Ma ; Chunguang Tan ; Guiran Chang ; Jingbo Zhu ; Qiaozhe An
MuZeeker: Adapting a Music Search Engine for Mobile Phones / Jakob Eg Larsen ; Søren Halling ; Magnús Sigurosson ; Lars Kai Hansen
A Server-Assisted Approach for Mobile-Phone Games / Ivica Arsov ; Marius Preda ; Françoise Preteux
Face and Speech Processing
A Face Cartoon Producer for Digital Content Service / Yuehu Liu ; Yuanqi Su ; Yu Shao ; Zhengwang Wu ; Yang Yang
Face Detection in Resource Constrained Wireless Systems / Grigorios Tsagkatakis ; Andreas Savakis
Speech Recognition on Mobile Devices / Zheng-Hua Tan ; Børge Lindberg
Development Environment
Developing Mobile Multimedia Applications on Symbian OS Devices / Markus Madeja
Developing Mobile Applications on the Android Platform / Guanhua Li
Author Index
Accessibility and Learning
iFeeling: Vibrotactile Rendering of Human Emotions on Mobile Phones / Shafiq ur Réhman ; Li Liu
Mobile Visual Aid Tools for Users with Visual Impairments / Xu Liu ; David Doermann ; Huiping Li
69.

電子ブック

EB
Phaophak Sirisuk, Hideharu Amano, Tarek El-Ghazawi, Takeo Kanade, Fearghal Morgan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes (Abstracts)
High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors for Tera-Scale Multi-core Microprocessors / Ram Krishnamurthy
Process Variability and Degradation: New Frontier for Reconfigurable / Peter Y.K. Cheung
Towards Analytical Methods of FPGA Architecture Investigation / Steven J.E. Wilton
Architectures 1 / Session 1:
Generic Systolic Array for Run-Time Scalable Cores / Andrés Otero ; Yana E. Krasteva ; Eduardo de la Torre ; Teresa Riesgo
Virtualization within a Parallel Array of Homogeneous Processing Units / Marc Stöttinger ; Alexander Biedermann ; Sorin Alexander Huss
Feasibility Study of a Self-healing Hardware Platform / Michael Reibel Boesen ; Pascal Schleuniger ; Jan Madsen
Applications 1 / Session 2:
Application-Specific Signatures for Transactional Memory in Soft Processors / Martin Labrecque ; Mark Jeffrey ; J. Gregory Steffan
Towards Rapid Dynamic Partial Reconfiguration in Video-Based Driver Assistance Systems / Christopher Claus ; Rehan Ahmed ; Florian Altenried ; Walter Stechele
Parametric Encryption Hardware Design / Adrien Le Masle ; Wayne Luk ; Jared Eldredge ; Kris Carver
Architectures 2 / Weibo Pan ; William MarnaneSession 3:
Application Specific FPGA Using Heterogeneous Logic Blocks / Husain Parvez ; Zied Marrakchi ; Habib Mehrez
Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip / Mouna Baklouti ; Philippe Marquet ; Jean Luc Dekeyser ; Mohamed Abid
A Dedicated Reconfigurable Architecture for Finite State Machines / Johann Glaser ; Markus Damm ; Jan Haase ; Christoph Grimm
MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation Environment / Daisaku Seto ; Minoru Watanabe
Applications 2 / Session 4:
An FPGA Accelerator for Hash Tree Generation in the Merkle Signature Scheme / Abdulhadi Shoufan
A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs / Antonio Roldao Lopes ; George A. Constantinides
Optimising Memory Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods / David Boland
Design of a Financial Application Driven Multivariate Gaussian Random Number Generator for an FPGA / Chalermpol Saiprasert ; Christos-Savvas Bouganis
Design Tools 1 / Session 5:
3D Compaction: A Novel Blocking-Aware Algorithm for Online Hardware Task Scheduling and Placement on 2D Partially Reconfigurable Devices / Thomas Marconi ; Yi Lu ; Koen Bertels ; Georgi Gaydadjiev
TROUTE: A Reconfigurability-Aware FPGA Router / Karel Bruneel ; Dirk Stroobandt
Space and Time Sharing of Reconfigurable Hardware for Accelerated Parallel Processing / Esam El-Araby ; Vikram K. Narayana ; Tarek El-Ghazawi
Routing-Aware Application Mapping Considering Steiner Points for Coarse-Grained Reconfigurable Architecture / Ganghee Lee ; Seokhyun Lee ; Kiyoung Choi ; Nikil Dutt
Design Tools 2 / Session 6:
Design Automation for Reconfigurable Interconnection Networks / Hongbing Fan ; Yu-Liang Wu ; Chak-Chung Cheung
A Framework for Enabling Fault Tolerance in Reconfigurable Architectures / Kostas Siozios ; Dimitrios Soudris ; Dionisios Pnevmatikatos
QUAD-A Memory Access Pattern Analyser / S. Arash Ostadzadeh ; Roel J. Meeuws ; Carlo Galuzzi
Hierarchical Loop Partitioning for Rapid Generation of Runtime Configurations / Siew-Kei Lam ; Yun Deng ; Jian Hu ; Xilong Zhou ; Thambipillai Srikanthan
Applications 3 / Session 7:
Reconfigurable Computing and Task Scheduling for Active Storage Service Processing / Yu Zhang ; Dan Feng
A Reconfigurable Disparity Engine for Stereovision in Advanced Driver Assistance Systems / Mehdi Darouich ; Stephane Guyetant ; Dominique Lavenier
A Modified Merging Approach for Datapath Configuration Time Reduction / Mahmood Fazlali ; Ali Zakerolhosseini
Posters
Reconfigurable Computing Education in Computer Science
Hardware Implementation of the Orbital Function for Quantum Chemistry Calculations / Maciej Wielgosz ; Ernest Jamro ; Pawel Russek ; Kazimierz Wiatr
Reconfigurable Polyphase Filter Bank Architecture for Spectrum Sensing / Suhaib A. Fahmy ; Linda Doyle
Systolic Algorithm Mapping for Coarse Grained Reconfigurable Array Architectures / Kunjan Patel ; C.J. Bleakley
A GMM-Based Speaker Identification System on FPGA / Phak Len Eh Kan ; Tim Allen ; Steven F. Quigley
An FPGA-Based Real-Time Event Sampler / Niels Penneman ; Luc Perneel ; Martin Timmerman ; Bjorn De Sutter
A Performance Evaluation of CUBE: One-Dimensional 512 FPGA Cluster / Masato Yoshimi ; Yuri Nishikawa ; Mitsunori Miki ; Tomoyuki Hiroyasu ; Hideharu Amano ; Oskar Mencer
An Analysis of Delay Based PUF Implementations on FPGA / Sergey Morozov ; Abhranil Maiti ; Patrick Schaumont
Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable Processor / Kazuya Tanigawa ; Ken'ichi Umeda ; Tetsuo Hironaka
FPGA Implementation of QR Decomposition Using MGS Algorithm / Akkarat Boonpoonga ; Sompop Janyavilas ; Phaophak Sirisuk ; Monai Krairiksh
Memory-Centric Communication Architecture for Reconfigurable Computing / Kyungwook Chang
Integrated Design Environment for Reconfigurable HPC / Lilian Janin ; Shoujie Li ; Doug Edwards
Architecture-Aware Custom Instruction Generation for Reconfigurable Processors / Alok Prakash ; Amit Kumar Singh
Cost and Performance Evaluation of a Noise Filter for Partitioning in Co-design Methodologies / Victoria Rodellar ; Elvira Martínez de Icaya ; Francisco Díaz ; Virginia Peinado
Towards a Tighter Integration of Generated and Custom-Made Hardware / Harald Devos ; Wim Meeus
Pipelined Microprocessors Optimization and Debugging / Bijan Alizadeh ; Amir Masoud Gharehbaghi ; Masahiro Fujita
Author Index
Keynotes (Abstracts)
High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors for Tera-Scale Multi-core Microprocessors / Ram Krishnamurthy
Process Variability and Degradation: New Frontier for Reconfigurable / Peter Y.K. Cheung
70.

電子ブック

EB
Fabio Ricciato, Ernst Biersack, Takeo Kanade, Marco Mellia
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Analysis of Internet Datasets
Understanding and Preparing for DNS Evolution / Sebastian Castro ; Min Zhang ; Wolfgang John ; Duane Wessels ; Kimberly Claffy
Characterizing Traffic Flows Originating from Large-Scale Video Sharing Services / Tatsuya Mori ; Ryoichi Kawahara ; Haruhisa Hasegawa ; Shinsuke Shimogawa
Mixing Biases: Structural Changes in the AS Topology Evolution / Hamed Haddadi ; Damien Fay ; Steve Uhlig ; Andrew Moore ; Richard Mortier ; Almerima Jamakovic
Tools for Traffic Analysis and Monitoring
EmPath: Tool to Emulate Packet Transfer Characteristics in IP Network / Jaroslaw Sliwinski ; Andrzej Beben ; Piotr Krawiec
A Database of Anomalous Traffic for Assessing Profile Based IDS / Philippe Owezarski
Collection and Exploration of Large Data Monitoring Sets Using Bitmap Databases / Luca Deri ; Valeria Lorenzetti ; Steve Mortimer
DeSRTO: An Effective Algorithm for SRTO Detection in TCP Connections / Antonio Barbuzzi ; Gennaro Boggia ; Luigi Alfredo Grieco
Traffic Classification
Uncovering Relations between Traffic Classifiers and Anomaly Detectors via Graph Theory / Romain Fontugne ; Pierre Borgnat ; Patrice Abry ; Kensuke Fukuda
Kiss to Abacus: A Comparison of P2P-TV Traffic Classifiers / Alessandro Finamore ; Michela Meo ; Dario Rossi ; Silvio Valenti
TCP Traffic Classification Using Markov Models / Gerhard Münz ; Hui Dai ; Lothar Braun ; Georg Carle
K-Dimensional Trees for Continuous Traffic Classification / Valentín Carela-Español ; Pere Barlet-Ros ; Marc Solé-Simó ; Alberto Dainotti ; Walter de Donato ; Antonio Pescapé
Performance Measurements
Validation and Improvement of the Lossy Difference Aggregator to Measure Packet Delays / Josep Sanjuàs-Cuxart ; Josep Solé-Pareta
End-to-End Available Bandwidth Estimation Tools, an Experimental Comparison / Emanuele Goldoni ; Marco Schivi
On the Use of TCP Passive Measurements for Anomaly Detection: A Case Study from an Operational 3G Network / Peter Romirer-Maierhofer ; Angelo Coluccia ; Tobias Witek
Author Index
Analysis of Internet Datasets
Understanding and Preparing for DNS Evolution / Sebastian Castro ; Min Zhang ; Wolfgang John ; Duane Wessels ; Kimberly Claffy
Characterizing Traffic Flows Originating from Large-Scale Video Sharing Services / Tatsuya Mori ; Ryoichi Kawahara ; Haruhisa Hasegawa ; Shinsuke Shimogawa
71.

電子ブック

EB
Pierpaolo Degano, Joshua D. Guttman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
72.

電子ブック

EB
Tai-hoon Kim, Hojjat Adeli, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Information Security and Assurance
Fuzzy Based Threat Analysis in Total Hospital Information System / Nurzaini Mohamad Zain ; Ganthan Narayana Samy ; Rabiah Ahmad ; Zuraini Ismail ; Azizah Abdul Manaf
An ID-Based Anonymous Signcryption Scheme for Multiple Receivers Secure in the Standard Model / Bo Zhang ; Qiuliang Xu
A Supervised Locality Preserving Projections Based Local Matching Algorithm for Face Recognition / Yingqi Lu ; Cheng Lu ; Miao Qi ; Shuyan Wang
Information Systems Security Criticality and Assurance Evaluation / Moussa Ouedraogo ; Haralambos Mouratidis ; Eric Dubois ; Djamel Khadraoui
Security Analysis of 'Two-Factor User Authentication in Wireless Sensor Networks' / Muhammad Khurram Khan ; Khaled Alghathbar
Directed Graph Pattern Synthesis in LSB Technique on Video Steganography / Debnath Bhattacharyya ; Arup Kumar Bhaumik ; Minkyu Choi ; Tai-hoon Kim
Feature Level Fusion of Face and Palmprint Biometrics by Isomorphic Graph-Based Improved K-Medoids Partitioning / Dakshina Ranjan Kisku ; Phalguni Gupta ; Jamuna Kanta Sing
Post-quantum Cryptography: Code-Based Signatures / Pierre-Louis Cayrel ; Mohammed Meziani
Security Analysis of the Proposed Practical Security Mechanisms for High Speed Data Transfer Protocol / Danilo Valeros Bernardo ; Doan Hoang
A Fuzzy-Based Dynamic Provision Approach for Virtualized Network Intrusion Detection Systems / Bo Li ; Jianxin Li ; Tianyu Wo ; Xudong Wu ; Junaid Arshad ; Wantao Liu
An Active Intrusion Detection System for LAN Specific Attacks / Neminath Hubballi ; S. Roopa ; Ritesh Ratti ; F.A. Barbhuiya ; Santosh Biswas ; Arijit Sur ; Sukumar Nandi ; Vivek Ramachandran
Analysis on the Improved SVD-Based Watermarking Scheme / Huo-Chong Ling ; Raphael C-W. Phan ; Swee-Huay Heng
Advanced Communication and Networking
Applications of Adaptive Belief Propagation Decoding for Long Reed-Solomon Codes / Zhian Zheng ; Dang Hai Pham ; Tomohisa Wada
Dynamic Routing for Mitigating the Energy Hole Based on Heuristic Mobile Sink in Wireless Sensor Networks / Seong-Yong Choi ; Jin-Su Kim ; Seung-Jin Han ; Jun-Hyeog Choi ; Kee-Wook Rim ; Jung-Hyun Lee
Grammar Encoding in DNA-Like Secret Sharing Infrastructure / Marek R. Ogiela ; Urszula Ogiela
HATS: High Accuracy Timestamping System Based on NetFPGA / Zhiqiang Zhou ; Lin Cong ; Guohan Lu ; Beixing Deng ; Xing Li
A Roadside Unit Placement Scheme for Vehicular Telematics Networks / Junghoon Lee ; Cheol Min Kim
Concurrent Covert Communication Channels / Md Amiruzzaman ; Hassan Peyravi ; M. Abdullah-Al-Wadud ; Yoojin Chung
Energy Efficiency of Collaborative Communication with Imperfect Frequency Synchronization in Wireless Sensor Networks / Husnain Naqvi ; Stevan Berber ; Zoran Salcic
High Performance MAC Architecture for 3GPP Modem / Sejin Park ; Yong Kim ; Inchul Song ; Kichul Han ; Jookwang Kim ; Kyungho Kim
Modified Structures of Viterbi Alogrithm for Forced-State Method in Concatenated Coding System of ISDB-T / Yoshitomo Kaneda
A New Cross-Layer Unstructured P2P File Sharing Protocol Over Mobile Ad Hoc Network / Nadir Shah ; Depei Qian
A Model for Interference on Links in Inter-Working Multi-Hop Wireless Networks / Oladayo Salami ; Antoine Bagula ; H. Anthony Chan
An Optimum ICA Based Multiuser Data Separation for Short Message Service / Mahdi Khosravy ; Mohammad Reza Alsharif ; Katsumi Yamashita
Advanced Computer Science and Information Technology
Multiple Asynchronous Requests on a Client-Based Mashup Page / Eunjung Lee ; Kyung-Jin Seo
Using an Integrated Ontology Database to Categorize Web Pages / Rujiang Bai ; Xiaoyue Wang ; Junhua Liao
Topic Detection by Topic Model Induced Distance Using Biased Initiation / Yonghui Wu ; Yuxin Ding ; Xiaolong Wang ; Jun Xu
Mining Significant Least Association Rules Using Fast SLP-Growth Algorithm / Zailani Abdullah ; Tutut Herawan ; Mustafa Mat Deris
Maximized Posteriori Attributes Selection from Facial Salient Landmarks for Face Recognition / Massimo Tistarelli
Agent Based Approach to Regression Testing / Praveen Ranjan Srivastava
A Numerical Study on B&B Algorithms for Solving Sum-Of-Ratios Problem / Lianbo Gao ; Jianming Shi
Development of a Digital Textbook Standard Format Based on XML / Mihye Kim ; Kwan-Hee Yoo ; Chan Park ; Jae-Soo Yoo
A Pattern-Based Representation Approach for Online Discourses / Hao Xu
A Fault Tolerant Architecture for Transportation Information Services of E-Government / Woonsuk Suh ; Boo-Mann Choung ; Eunseok Lee
Design and Implementation of Binary Tree Based Proactive Routing Protocols for Large MANETS / Pavan Kumar Pandey ; G.P. Biswas
Extract Semantic Information from WordNet to Improve Text Classification Performance
Managing Ubiquitous Scientific Knowledge on Semantic Web
A Semantic Pattern Approach to Managing Scientific Publications
A Bootstrap Software Reliability Assessment Method to Squeeze Out Remaining Faults / Mitsuhiro Kimura ; Takaji Fujiwara
Markov Chain Monte Carlo Random Testing / Bo Zhou ; Hiroyuki Okamura ; Tadashi Dohi
An Integrated Approach to Detect Fault-Prone Modules Using Complexity and Text Feature Metrics / Osamu Mizuno ; Hideaki Hata
Ubiquitous Computing and Multimedia Applications
An Effective Video Steganography Method for Biometric Identification
A Video Coding Technique using Octagonal Motion Search and BTC-PF Method for Fast Reconstruction / Bibhas Chandra Dhara ; Sanjoy Kumar Saha ; Bhabatosh Chanda
Rough Set Approach in Ultrasound Biomicroscopy Glaucoma Aalysis / Soumya Banerjee ; Hameed Al-Qaheri ; El-Sayed A. El-Dahshan ; Aboul Ella Hassanien
Video Copy Detection: Sequence Matching Using Hypothesis Test / Debabrata Dutta
An XML-Based Digital Textbook and Its Educational Effectiveness / Hoseung Byun ; Wanyoung Cho ; Jeeheon Ryu ; Namgyun Kim
SIMACT: A 3D Open Source Smart Home Simulator for Activity Recognition / Kevin Bouchard ; Amir Ajroud ; Bruno Bouchard ; Abdenour Bouzouane
Design of an Efficient Message Collecting Scheme for the Slot-Based wireless Mesh Network / Gyung-Leen Park
A Novel Approach Based on Fault Tolerance and Recursive Segmentation to Query by Humming / Xiaohong Yang ; Qingcai Chen
Chinese Prosody Generation Based on C-ToBI Representation for Text-To-Speech / Byeongchang Kim
CAS4UA: A Context-Aware Service System Based on Workflow Model for Ubiquitous Agriculture / Yongyun Cho ; Hyun Yoe ; Haeng-Kon Kim
A Power Control Scheme for an Energy-Efficient MAC Protocol / Ho-chul Lee ; Jeong-hwan Hwang ; Meong-hun Lee ; Haeng-kon Kim
Towards the Designing of a Robust Intrusion Detection System through an Optimized Advancement of Neural Networks / Iftikhar Ahmad ; Azween B Abdulah ; Abdullah S Alghamdi
Author Index
Information Security and Assurance
Fuzzy Based Threat Analysis in Total Hospital Information System / Nurzaini Mohamad Zain ; Ganthan Narayana Samy ; Rabiah Ahmad ; Zuraini Ismail ; Azizah Abdul Manaf
An ID-Based Anonymous Signcryption Scheme for Multiple Receivers Secure in the Standard Model / Bo Zhang ; Qiuliang Xu
73.

電子ブック

EB
Christian Kreibich, Marko Jahnke, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Host Security
HookScout: Proactive Binary-Centric Hook Detection / Heng Yin ; Pongsin Poosankam ; Steve Hanna ; Dawn Song
Conqueror: Tamper-Proof Code Execution on Legacy Systems / Lorenzo Martignoni ; Roberto Paleari ; Danilo Bruschi
dAnubis - Dynamic Device Driver Analysis Baaed on Virtual Machine Introspection / Matthias Neugschwandtner ; Christian Platzer ; Paolo Milani Comparetti ; Ulrich Bayer
Trends
Evaluating Bluetooth as a Medium for Botnet Command and Control / Kapil Singh ; Samrit Sangal ; Nehil Jain ; Patrick Traynor ; Wenke Lee
Take a Deep Breath: A Stealthy, Resilient and Cost-Effective Botnet Using Skype / Antonio Nappa ; Aristide Fattori ; Marco Balduzzi ; Matteo Dell'Amico ; Lorenzo Cavallaro
Covertly Probing Underground Economy Marketplaces / Hanno Fallmann ; Gilbert Wondracek
Vulnerabilities
Why Johnny Can't Pentest: An Analysis of Black-Box Web Vulnerability Scanners / Adam Doupé ; Marco Cova ; Giovanni Vigna
Organizing Large Scale Hacking Competitions / Nicholas Childers ; Bryce Boe ; Ludovico Cavedon ; Manuel Egele
Intrusion Detection
An Online Adaptive Approach to Alert Correlation / Hanli Ren ; Natalia Stakhanova ; Ali A. Ghorbani
KIDS - Keyed Intrusion Detection System / Sasa Mrdovic ; Branislava Drazenovic
Web Security
Modeling and Containment of Search Worms Targeting Web Applications / Jingyu Hua ; Kouichi Sakurai
HProxy: Client-Side Detection of SSL Stripping Attacks / Nick Nikiforakis ; Yves Younan ; Wouter Joosen
Author Index
Host Security
HookScout: Proactive Binary-Centric Hook Detection / Heng Yin ; Pongsin Poosankam ; Steve Hanna ; Dawn Song
Conqueror: Tamper-Proof Code Execution on Legacy Systems / Lorenzo Martignoni ; Roberto Paleari ; Danilo Bruschi
74.

電子ブック

EB
Rajmohan Rajaraman, Adam Dunkels, Takeo Kanade, Thomas Moscibroda, Anna Scaglione, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks / James Horey ; Eric Nelson ; Arthur B. Maccabe
Optimized Java Binary and Virtual Machine for Tiny Motes / Faisal Aslam ; Luminous Fennell ; Christian Schindelhauer ; Peter Thiemann ; Gidon Ernst ; Elmar Haussmann, Stefan Rührup ; Zastash Afzal Uzmi
ZeroCal: Automatic MAC Protocol Calibration / Andreas Meier ; Matthias Woehrle ; Marco Zimmerling ; Lothar Thiele
Programming Sensor Networks Using REMORA Component Model / Amirhosein Taherkordi ; Frédéric Loiret ; Azadeh Abdolrazaghi ; Romain Rouvoy ; Quan Le-Trung ; Frank Eliassen
Stateful Mobile Modules for Sensor Networks / Moritz Strübe ; Rüdiger Kapitza ; Klaus Stengel ; Michael Daum ; Falko Dressler
Design and Implementation of a Robust Sensor Data Fusion System for Unknown Signals / Younghun Kim ; Thomas Schmid ; Mani B. Srivastava
Control Theoretic Sensor Deployment Approach for Data Fusion Based Detection / Ahmad Ababnah ; Balasubramaniam Natarajan
Approximate Distributed Kalman Filtering for Cooperative Multi-agent Localization / Prabir Barooah ; Wm. Joshua Russell ; João P. Hespanha
Thermal-Aware Sensor Scheduling for Distributed Estimation / Domenic Forte ; Ankur Srivastava
Decentralized Subspace Tracking via Gossiping / Lin Li ; Xiao Li ; Anna Scaglione ; Jonathan H. Manton
Building (1-?) Dominating Sets Partition as Backbones in Wireless Sensor Networks Using Distributed Graph Coloring / Dhia Mahjoub ; David W. Matula
On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks / Shouwen Lai ; Binoy Ravindran
A Novel Mobility Management Scheme for Target Tracking in Cluster-Based Sensor Networks / Zhibo Wang ; Wei Lou ; Zhi Wang ; Junchao Ma ; Honglong Chen
Suppressing Redundancy in Wireless Sensor Network Traffic / Rey Abe ; Shinichi Honiden
Ensuring Data Storage Security against Frequency-Based Attacks in Wireless Networks / Hongbo Liu ; Hui Wang ; Yingying Chen
Time-Critical Data Delivery in Wireless Sensor Networks / Petcharat Suriyachai ; James Brown ; Utz Roedig
MetroTrack: Predictive Tracking of Mobile Events Using Mobile Phones / Gahng-Seop Ahn ; Mirco Musolesi ; Hong Lu ; Reza Olfati-Saber ; Andrew T. Campbell
Mobile Sensor Network Localization in Harsh Environments / Harsha Chenji ; Radu Stoleru
AEGIS: A Lightweight Firewall for Wireless Sensor Networks / Mohammad Sajjad Hossain ; Vijay Raghunathan
Halo: Managing Node Rendezvous in Opportunistic Sensor Networks / Shane B. Eisenman
Optimal Data Gathering Paths and Energy Balance Mechanisms in Wireless Networks / Aubin Jarry ; Pierre Leone ; Sotiris Nikoletseas ; Jose Rolim
Programming Sensor Networks with State-Centric Services / Andreas Lachenmann ; Ulrich Müller ; Robert Sugar ; Louis Latour ; Matthias Neugebauer ; Alain Gefflaut
Fast Decentralized Averaging via Multi-scale Gossip / Konstantinos I. Tsianos ; Michael G. Rabbat
Wormholes No More? Localized Wormhole Detection and Prevention in Wireless Networks / Tassos Dimitriou ; Athanassios Giannetsos
Wireless Jamming Localization by Exploiting Nodes' Hearing Ranges / Zhenhua Liu ; Wenyuan Xu
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering / Joffroy Beauquier ; Janna Burman
Sensor Allocation in Diverse Environments / Amotz Bar-Noy ; Theodore Brown ; Simon Shamoun
Data Spider: A Resilient Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks / Onur Soysal ; Murat Demirbas
Author Index
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks / James Horey ; Eric Nelson ; Arthur B. Maccabe
Optimized Java Binary and Virtual Machine for Tiny Motes / Faisal Aslam ; Luminous Fennell ; Christian Schindelhauer ; Peter Thiemann ; Gidon Ernst ; Elmar Haussmann, Stefan Rührup ; Zastash Afzal Uzmi
ZeroCal: Automatic MAC Protocol Calibration / Andreas Meier ; Matthias Woehrle ; Marco Zimmerling ; Lothar Thiele
75.

電子ブック

EB
John Hatcliff, Takeo Kanade, Elena Zucca
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Formal Software Verification: How Close Are We? (Abstract) / Gerard J. Holzmann
Formal UML Modeling
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning / Artur Boronat ; Roberto Bruni ; Alberto Lluch Lafuente ; Ugo Montanari ; Generoso Paolillo
Reactive Semantics for Distributed UML Activities / Frank Alexander Kraemer ; Peter Herrmann
Components and Architecture
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems / Ananda Basu ; Saddek Bensalem ; Marius Bozga ; Benoît Caillaud ; Benoît Delahaye ; Axel Legay
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude / Peter Csaba Ölveczky ; José Meseguer
Testing Probabilistic Distributed Systems / Robert M. Hierons ; Manuel Núñez
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs / Juan José Pardo ; M. Carmen Ruiz
Testing Attribute-Based Transactions in SOC / Laura Bocchi ; Emilio Tuosto
Joint DisCoTec Session
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory / Fatemeh Kazemeyni ; Einar Broch Johnsen ; Olaf Owe ; Ilangko Balasingham
Timed Process Algebra
Forgetting the Time in Timed Process Algebra: Timeless Behaviour in a Timestamped World / Anton Wijs
Theory and Implementation of a Real-Time Extension to the ?-Calculus / Ernesto Posse ; Juergen Dingel
Timed and Hybrid Automata
Fuzzy-Timed Automata / F. Javier Crespo ; Alberto de la Encina ; Luis Llana
Model Checking of Hybrid Systems Using Shallow Synchronization / Lei Bu ; Alessandro Cimatti ; Xuandong Li ; Sergio Mover ; Stefano Tonetta
Program Logics and Analysis
Heap-Dependent Expressions in Separation Logic / Jan Smans ; Bart Jacobs ; Frank Piessens
Static Type Analysis of Pattern Matching by Abstract Interpretation / Pietro Ferrara
Reasoning about Distributed Systems
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols / Yongyuth Permpoontanalarp
On Efficient Models for Model Checking Message-Passing Distributed Protocols / Péter Bokor ; Marco Serafini ; Neeraj Suri
Logics for Contravariant Simulations / Ignacio Fébregas ; David de Frutos Escrig ; Miguel Palomino
Author Index
Invited Talk
Formal Software Verification: How Close Are We? (Abstract) / Gerard J. Holzmann
Formal UML Modeling
76.

電子ブック

EB
Sherali Zeadally, Eduardo Cerqueira, Marília Curado, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Quality of Service (QoS) and Quality of Experience (QoE) Management in Content Centric Networks
A QoE Fuzzy Routing Protocol for Wireless Mesh Networks / Rafael Gomes ; Waldir Junior ; Eduardo Cerqueira ; Antonio Abelem
Multimedia Sharing over the Internet from a Mobile Phone / Rui Trindade ; Paulo Correia ; Miguel Santos
Over Provisioning-Centric QoS-Routing Mechanism for the Communication Paradigm of Future Internet 4WARD Proposal / Augusto Neto ; Sérgio Figueiredo ; Rui Aguiar ; Leandro Marçal ; Leandro Freitas
Video Quality Assessment in Future Multimedia Networking
QoE as a Function of Frame Rate and Resolution Changes / Lucjan Janowski ; Piotr Romaniak
How to Build an Objective Model for Packet Loss Effect on High Definition Content Based on SSIM and Subjective Experiments
An Edge-Preserving Motion-Compensated Approach for Video Deinterlacing / Daulet Zhanguzin ; Maria Trocan ; Beata Mikovicova
Video Distribution in Future Multimedia Networking
Recording and Playout of Multimedia Conferencing Sessions: A Standard Approach / Alessandro Amirante ; Tobia Castaldi ; Lorenzo Miniero ; Simon Pietro Romano
Personalized TV Service through Employing Context-Awareness in IPTV/IMS Architecture / Songbo Song ; Hassnaa Moustafa ; Hossam Afifi
Extended UpnP Multimedia Content Delivery with an HTTP Proxy / OLiver Dugeon ; Mohamed Mahdi ; Rémi Bars ; Romain Carbou
Demonstration on Future Multimedia Networking
Abare: A Coordinated and Autonomous Framework for Deployment and Management of Wireless Mesh Networks / Billy Pinheiro ; Vagner Nascimento ; Waldir Moreira ; Antônio Abelém
CAPIRE: A Context-Aware Points of Interest REcognition System Using a CBIR Approach / Irene Minetti ; Silvana Dellepiane ; Massimo Valla
Determining Qos in the Video Telephony Service in an IP Environment / Christian Hoppe ; Tadeus Uhl ; Krzysztof Nowicki
Strategies for Planning Large Capillarity Broadband Networks Based on ADSL2+ Technology: A Case of Study for QoS-Aware Triple Play Services / Diego L. Cardoso ; Adamo L. Santana ; Carlos R.L. Francês
Efficient Transmission of 3D Video Using MPEG-4 AVC/H.264 Compression Technology / Marek Domanski ; Krzysztof Klimaszewski ; Olgierd Stankiewicz ; Jakub Stankowski ; Krzysztof Wegner
Session Level Analysis of P2P Television Traces / Arkadiusz Biernacki ; Udo R. Krieger
A Software Architecture for Adapting Virtual Reality Content to Mobile Devices / José Barbosa Dias Júnior ; Marlus Dias Silva ; Luiz Fernando Braga Lope ; Eduardo Filgueiras Damasceno ; Alexandre Cardoso ; Edgard Afonso Lamounier Júnior
Author Index
Quality of Service (QoS) and Quality of Experience (QoE) Management in Content Centric Networks
A QoE Fuzzy Routing Protocol for Wireless Mesh Networks / Rafael Gomes ; Waldir Junior ; Eduardo Cerqueira ; Antonio Abelem
Multimedia Sharing over the Internet from a Mobile Phone / Rui Trindade ; Paulo Correia ; Miguel Santos
77.

電子ブック

EB
Donghoon Lee, Seokhie Hong, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Key Management and Key Exchange
Generic One Round Group Key Exchange in the Standard Model / M. Choudary Gorantla ; Colin Boyd ; Juan Manuel González Nieto ; Mark Manulis
Modeling Leakage of Ephemeral Secrets in Tripartite/Group Key Exchange / Koutarou Suzuki ; Berkant Ustaoglu
Efficient Certificateless KEM in the Standard Model / Georg Lippold
Public Key Cryptography
Accelerating Twisted Ate Pairing with Frobenius Map, Small Scalar Multiplication, and Multi-pairing / Yumi Sakemi ; Shoichi Takeuchi ; Yasuyuki Nogami ; Yoshitaka Morikawa
Factoring Unbalanced Moduli with Known Bits / Eric Brier ; David Naccache ; Mehdi Tibouchi
Algebraic Cryptanalysis and Stream Cipher
Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared / Jeremy Erickson ; Jintai Ding ; Chris Christensen
Improved Linear Cryptanalysis of SOSEMANUK / Mohamed Saied Emam Mohamed ; Daniel Cabarcas ; Johannes Buchmann ; Stanislav Buiygin ; Joo Yeon Cho ; Miia Hermelin
Security Management and Efficient Implementation
Serial Model for Attack Tree Computations / Aivo Jürgenson ; Jan Willeason
Lightweight Cryptography and RFID: Tackling the Hidden Overheads / Axel Poschmann ; Matt Robshaw ; Frank Vater ; Christof Paar
Side Channel Attack
Power Analysis of Single-Rail Storage Elements as Used in MDPL / Amir Moradi ; Thomas Eisenbarth
A Timing Attack against Patterson Algorithm in the McEliece PKC / Abdulhadi Shoufan ; Falko Strenzke ; H. Gregor Molter ; Marc Stöttinger
Side-Channel Analysis of Cryptographic Software via Early-Terminating Multiplications / Johann Gro?schädl ; Elisabeth Oswald ; Dan Page ; Michael Tunstall
Privacy Enhanced Technology
First CPIR Protocol with Data-Dependent Computation / Helger Lipmaa
Efficient Fuzzy Matching and Intersection on Private Datasets / Qingsong Ye ; Ron Steinfeld ; Josef Pieprzyk ; Huaxiong Wang
Efficient Privacy-Preserving Face Recognition / Ahmad-Reza Sadeghi ; Thomas Schneider ; Immo Wehrenberg
Cryptographic Protocol
Linear, Constant-Rounds Bit-Decomposition / Tord Reistad ; Tomas Toft
Attacking and Repairing the Improved ModOnions Protocol / Nikita Borisov ; Marek Klonowski ; Miroslaw Kutylowski ; Anna Lauks-Dutka
Secret Handshakes with Revocation Support / Alessandro Sorniotti ; Refik Molva
Cryptanalysis of Hash Function
Practical Rebound Attack on 12-Round Cheetah-256 / Shuang Wu ; Dengguo Feng ; Wenling Wu
Preimage Attacks on Reduced Steps of ARIRANG and PKC98-Hash / Deukjo Hong ; Bonwook Koo ; Woo-Hwan Kim ; Daesung Kwon
Improved Preimage Attack for 68-Step HAS-160 / Yu Sasaki
Distinguishing Attack on Secret Prefix MAC Instantiated with Reduced SHA-1 / Siyuan Qiao ; Wei Wang ; Keting Jia
Network Security
Cryptanalysis of a Message Recognition Protocol by Mashatan and Stinson / Madeline González Muñiz ; Rainer Steinwandt
Analysis of the Propagation Pattern of a Worm with Random Scanning Strategy Based on Usage Rate of Network Bandwidth / Kwang Sun Ko ; Hyunsu Jang ; Byuong Woon Park ; Young Ik Eom
Author Index
Key Management and Key Exchange
Generic One Round Group Key Exchange in the Standard Model / M. Choudary Gorantla ; Colin Boyd ; Juan Manuel González Nieto ; Mark Manulis
Modeling Leakage of Ephemeral Secrets in Tripartite/Group Key Exchange / Koutarou Suzuki ; Berkant Ustaoglu
78.

電子ブック

EB
Burkhard Stiller, Takeo Kanade, Filip Turck
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
Modeling User Behavior in P2P Live Video Streaming Systems through a Bayesian Network / Ihsan Ullah ; Grégory Bonnet ; Guillaume Doyen ; Dominique Gaïti
OMAN - A Management Architecture for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
Towards a P2P-Based Deployment of Network Management information / Rafik Makhloufi
Autonomous Management
On the Combined Behavior of Autonomous Resource Management Agents / Siri Fagernes ; Alva L. Couch
Autonomous Resource-Aware Scheduling of Large-Scale Media Workflows / Stein Desmet ; Bruno Volckaert ; Filip De Turck
An Autonomic Testing Framework for IPv6 Configuration Protocols / Sheila Becker ; Humberto Abdelnur ; Radu State ; Thomas Engel
PhD Workshop: Overlays and Non-conventional Network Infrastructures
Researching Multipath TCP Adoption / Henna Warma ; Heikki Hämmäinen
Report- and Reciprocity-Based Incentive Mechanisms for Live and On-Demand P2P Video Streaming / Fabio Victora Hecht ; Burkhard Stiller
Model-Driven Service Level Management / Anacleto Correia ; Fernando Brito e Abreu
Managing Risks at Runtime in VoIP Networks and Services / Oussema Dabbebi ; Remi Badonnel ; Olivier Festor
Towards Dynamic and Adaptive Resource Management for Emerging Networks / Daphné Tuncer ; Marinos Charalambides ; George Pavlou
tAdaptive Underwater Acoustic Communications / Anuj Sehgal ; Jürgen Schönwälder
Short Papers
Probabilistic Fault Diagnosis in the MAGNETO Autonomic Control Loop / Pablo Arozarena ; Raquel Toribio ; Jesse Kielthy ; Kevin Quinn ; Martin Zach
Modelling Cloud Computing Infrastructure / Marianne Hickey ; Maher Rahmouni
Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks / Jingxian Lu ; Christophe Dousson ; Benoit Radier ; Francine Krief
LearnIT: Enhanced Search and Visualization of IT Projects / Claudio Bartolini
Strategies for Network Resilience: Capitalising on Policies / Paul Smith ; Alberto Schaeffer-Filho ; Azman Ali ; Marcus Schöller ; Nizar Kheir ; Andreas Mauthe ; David Hutchison
Management Mechanisms
Automatic Link Numbering and Source Routed Multicast / Visa Holopainen ; Raimo Kantola ; Taneli Taira ; Olli-Pekka Lamminen
Mining NetFlow Records for Critical Network Activities / Shaonan Wang ; Mohamed Ourdane
Implementation of a Stream Based IP Flow Record Query Language / Kaloyan Kanev ; Nikolay Melnikov
PhD Workshop: Security, Network Monitoring, and Analysis
Towards Flexible and Secure Distributed Aggregation / Kristján Valur Jónsson ; Mads F. Dam
Intrusion Detection in SCADA Networks / Rafael Ramos Regis Barbosa ; Aiko Pras
Cybermetrics: User Identification through Network Flow Analysis
Distributed Architecture for Real-time Traffic Analysis / Cristian Morariu
Scalable Service Performance Monitoring / Idilio Drago
Author Index
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
79.

電子ブック

EB
Finn Arve Aagesen, Takeo Kanade, Svein Johan Knapskog
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Admission Control and Networking
On the performance of Grooming Strategies for Offloading IP Flows onto Lightpaths in Hybrid Networks / Rudolf Biesbroek ; Tiago Fioreze ; Lisandro Zambenedetti Granville ; Aiko Pras
MBAC Impact of the Measurement Error on Key Performence Issues / Anne Nevin ; Peder J. Emstad ; Yuming Jiang
An Algorithm for Automatic Base Station Placement in Cellular Network Deployment / István Tör&os ; Péter Fezekas
AN Energy-Efficient FPGA-Based Packet Processing Framework / Dániel Horváth ; Imre Bertalan ; István Moldován ; Tuan Anh Trinh
Service Mobility
Service Migration Protocol for NFC Links / Anders Nickelsen ; Miquel Martin ; Hans-Peter Schwefel
Swarm Intelligence Heuristics for Component Deployment / Máté J Csorba ; Poul E. Heegaard
Peer-to Peer and Virtualization
On Force-Based Placement of Distribution Services within a Substrate Network / Laurie Lallemand ; Andreas Reifert
Enabling P2P Gaming with Network Coding / Balázs Lajtha ; Gergely Biczók ; Róbert Szabó
A virtual File System Interface for Computational Grids / Abdulrahman Azab ; Hein Meling
Security
Labeled VoIP Data-Set for Intrusion Detection Evaluation / Mohamed Nassar ; Radu State ; Olivier Festor
Document Provenance in the Cloud: Constraints and Challenges / Mohamed Amin Sakka ; Bruno Defude ; Jorge Tellez
Wireless Handoff Optimization: A Comparison of IEEE 802.11r and Hokey / Kashif Nizam Khan ; Jinat Rehana
Introducing Perfect Forward Secrecy for AN.On / Benedikt Westermann ; Dogan Kesdogan
Congestion Control
Monbility-A ware Drop Precedence Scheme in DiffServ-Enabled Mobile Network Systems / Bongkyo Moon
Theoretical Analysis of an Ideal Startup Scheme in Multihomed SCTP / Johan Eklund ; Karl-Johan Grinnemo ; Anna Brunstrom
Monitoring and Filtering
The Network Data Handling War: MySQL vs. NfDump / Rick Hofstede ; Anna Sperotto
Processing of Flow Accounting Data in Java: Framework Design and Performance Evaluation / Jochen Kögel ; Sebastian Scholz
Fighting Spam on the Sender Side: A Lightweight Approach / Wouter Willem de Vries ; Giovane Cesar Moreira Moura
Dependability
Degradation Model for Erbium-Doped Fiber Amplifiers to Reduce Network Downtime / Christian Merkle
A Token Based Approach Detecting Downtime in Distributed Application Servers or Network Elements / Sune Jakobsson
Distributed Resource Reservation for Beacon Based MAC Protocols / Frank Leipold ; Jörg Eberspácher
Adaptation and Reconfiguration
On Runtime Adaptation of Application- Layer Multicast Protocol Parameters / Christian Hübsch ; Christoph P. Mayer ; Oliver P. Waldhorst
A Framework with Proactive Nodes for Scheduling and Optimizing Distributed Embedded Systems / Adrián Noguero ; Isidro Calvo
Resource Adaptive Distributed Information Sharing / Hans Vatne Hansen ; Vera Goebel ; Thomas Plagemann ; Matti Sickkinen
Poster Session
Performance Impacts of Node Failures on a Chord Based Hierarchical Peer to Peer Network / Quirin Hofstätter
A Low Power Scheme for Localization in Wireless Sensor Networks / Jorge Juan Robles ; Sebastian Tromer ; Monica Quiroga ; Ralf Lehnert
Flow Aggregation Using Dynamic Packet State / Addisu Eshete
Evaluating MDC with Incentives in P2PTV Systems / Alberto J. Gonzalez ; Andre Rios ; Guillermo Enero ; Antoni Oller ; Jesus Alcober
Translation from UML to SPN Model: A performance Modeling Framework / Razib Hayat Khan
An Open and Extensible Service Discovery for Ubiquitous Communication Systems / Nor Shahniza Kamal Bashah ; Ivar jørstand ; Do van Thanh
Author Index
Admission Control and Networking
On the performance of Grooming Strategies for Offloading IP Flows onto Lightpaths in Hybrid Networks / Rudolf Biesbroek ; Tiago Fioreze ; Lisandro Zambenedetti Granville ; Aiko Pras
MBAC Impact of the Measurement Error on Key Performence Issues / Anne Nevin ; Peder J. Emstad ; Yuming Jiang
80.

電子ブック

EB
Gordon Fraser, Angelo Gargantini, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback / Michael D. Ernst
Myths in Software Engineering: From the Other Side / Nachiappan Nagappan
Specifications from Testing
QuickSpec: Guessing Formal Specifications Using Testing / Koen Claessen ; Nicholas Smallbone ; John Hughes
Testing Proofs
Testing First-Order Logic Axioms in Program Verification / Ki Yung Ahn ; Ewen Denney
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases / Martin Gogolla ; Lars Hamann ; Mirco Kuhlmann
Proof Process Evaluation with Mutation Analysis: Extended Abstract / Lydie du Bousquet ; Michel Lévy
Test Generation Using Proof Techniques
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay / Christoph Gladisch ; Shmuel Tyszberowicz ; Bernhard Beckert ; Amiram Yehudai
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces / Suresh Thummalapenta ; Jonathan de Halleux ; Nikolai Tillmann ; Scott Wadsworth
Combining Static Analysis and Test Generation for C Program Debugging / Omar Chebaro ; Nikolai Kosmatov ; Alain Giorgetti ; Jacques Julliand
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding / Eugene Goldberg ; Panagiotis Manolios
Theorem Proving and Testing
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions / Jasmin Christian Blanchette
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications / Vlad Rusu
Abstraction
Syntactic Abstraction of B Models to Generate Tests / Nicolas Stouls ; Pierre-christophe Bué ; Pierre-Alain Masson
Building a Test-Ready Abstraction of a Behavioral Model Using CLP / Pierre-Christophe Bué ; Frédéric Dadeau ; Adrien de Kermadec ; Fabrice Bouquet
Author Index
Invited Talks
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback / Michael D. Ernst
Myths in Software Engineering: From the Other Side / Nachiappan Nagappan
81.

電子ブック

EB
Zohar Manna, Takeo Kanade, Doron A. Peled
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Modal and Temporal Argumentation Networks / Howard Barringer ; Dov M. Gabbay
Knowledge Based Scheduling of Distributed Systems / Saddek Bensalem ; Doron Peled ; Joseph Sifakis
Quantitative Simulation Games / Pavol Cerný ; Thomas A. Henzinger ; Arjun Radhakrishna
The Localization Reduction and Counterexample-Guided Abstraction Refinement / Edmund M. Clarke ; Robert P. Kurshan ; Helmut Veith
A Scalable Segmented Decision Tree Abstract Domain / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
Towards Component Based Design of Hybrid Systems: Safety and Stability / Werner Damm ; Henning Dierks ; Jens Oehlerking ; Amir Pnueli
Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars / Daniel Genkin ; Nissim Francez ; Michael Kaminski
Inference Rules for Proving the Equivalence of Recursive Procedures / Benny Godlin ; Ofer Strichman
Some Thoughts on the Semantics of Biocharts / David Harel ; Hillel Kugler
Unraveling a Card Trick / Tony Hoare ; Natarajan Shankar
An Automata-Theoretic Approach to Infinite-State Systems / Orna Kupferman ; Nir Piterman ; Moshe Y. Vardi
On the Krohn-Rhodes Cascaded Decomposition Theorem / Oded Maler
Temporal Verification of Reactive Systems: Response / Zohar Manna
The Arrow of Time through the Lens of Computing / Krishna V. Palem
What Is in a Step: New Perspectives on a Classical Question / Willem-Paul de Roever ; Gerald Lüttgen ; Michael Mendler
Author Index
Modal and Temporal Argumentation Networks / Howard Barringer ; Dov M. Gabbay
Knowledge Based Scheduling of Distributed Systems / Saddek Bensalem ; Doron Peled ; Joseph Sifakis
Quantitative Simulation Games / Pavol Cerný ; Thomas A. Henzinger ; Arjun Radhakrishna
82.

電子ブック

EB
Alessandro Acquisti, Takeo Kanade, Ahmad-Reza Sadeghi, Sean W. Smith
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Technical Strand-Full Papers
Beyond Kernel-Level Integrity Measurement: Enabling Remote Attestation for the Android Platform / Mohammad Nauman ; Sohail Khan ; Xinwen Zhang ; Jean-Pierre Seifert
SBAP: Software-Based Attestation for Peripherals / Yanlin Li ; Jonathan M. McCune ; Adrian Perrig
Key Attestation from Trusted Execution Environments / Kari Kostiainen ; Alexandra Dmitrienko ; Jan-Erik Ekberg ; Ahmad-Reza Sadeghi ; N. Asokan
Anonymous Authentication with TLS and DAA / Emanuele Cesena, Hans Löhr ; Gianluca Ramunno ; Davide Vernizzi
Group-Based Attestation: Enhancing Privacy and Management in Remote Atestation / Sami Alsouri ; Özgür Dagdelen ; Stefan Katzenbeisser
Toward a Trusted Mobile Desktop / Marcel Selhorst ; Christian Stüble ; Florian Feldmann ; Utz Gnaida
Application of Trusted Computing in Automation to Prevent Product Piracy / Nora Lieberknecht
Lagrangian E-Voting: Verifiability on Demand and Strong Privacy / Lukasz Krzywiecki ; Miroslaw Kutytowski
?TSS-A Simplified Trusted Software Stack / Anoosheh Zaerin
Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture / Amit Vasudevan ; Ning Qu ; Leendert van Doorn
A DAA Scheme Using Batch Proof and Verification / Liqun Chen
A Pairing-Based DAA Scheme Further Reducing TPM Resource / Ernie Brickell ; Jiangtao Li
An Anonymous Attestation Scheme with Optional Traceability / Anand Rajan
Introducing the Trusted Virtual Environment Module: A New Mechanism for Rooting Trust in Cloud Computing / F. John Krautheim ; Dhananjay S. Phatak ; Alan T. Sherman
SegSlice: Towards a New Class of Secure Programming Primitives for Trustworthy Platforms / Sergey Bratus ; Michael E. Locasto ; Brian Schulte
Technical Strand-Short Papers
Escrowed Data and the Digital Envelope / King ABles ; Mark D. Ryan
Engineering Attestable Services / John Lyle ; Andrew Martin
Dynamic Enforcement of Platform Integrity / Martin Pirker ; Ronald Toegl ; Michael Gissing
An Improved Memory Integrity Protection Scheme / Yin Hu ; Berk Sunar
Robust Combiners for Software Hardening (Extended Abstract) / Amir Herzbery ; Haya Shulman
The PUF Promise / Heike Busch ; Miroslava Sotáková ; Radu Sion
Socio-Economic Strand
Privacy Requirements Engineering for Trustworthy e-Government Services / Nikos Vrakas ; Christos Kalloniatis ; Aggeliki Tsohou ; Costas Lambrinoudakis
Can Competitive Insurers Improve Network Security? / Nikhil Shetty ; Galina Schwartz ; Jean Walrand
Nudge: Intermediaries' Role in Interdependent Network Security / Jens Grossklags ; Svetlana Radosavac ; Alvaro A. Cárdenas ; John Chuang
How the Public views Strategies Designed to Reduce the Threat of Botnets / Brent Rowe ; Dallas Wood ; Douglas Reeves
Axiomatic and Behavioural Trust / Clark Thomborson
The Leap of Faith from Online to Offline: An Exploratory Study of Couchsurfing.Org / Jun-E Tan
The Role of Soft Information in Trust Building: Evidence from Online Social Lending / Stefanie Pötzsch ; Rainer Böhme
Software on the Witness Stand: What Should It Take for Us to Trust It? / Ashlyn Lembree ; Anna Shubina
Workshop on Trust in the Cloud
Token-Based Cloud Computing: Secure Outsourcing of Data and Arbitrary Computations with Lower Latency / Thomas Schneider ; Marcel Winandy
Workshop on Security Hardware
Oblivious Transfer Based on Physical Unclonable Funcations (Extended Abstract) / Ulrich Rührmair
Author Index
Technical Strand-Full Papers
Beyond Kernel-Level Integrity Measurement: Enabling Remote Attestation for the Android Platform / Mohammad Nauman ; Sohail Khan ; Xinwen Zhang ; Jean-Pierre Seifert
SBAP: Software-Based Attestation for Peripherals / Yanlin Li ; Jonathan M. McCune ; Adrian Perrig
83.

電子ブック

EB
Liqun Chen, Takeo Kanade, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
84.

電子ブック

EB
Igor Kotenko, Takeo Kanade, Victor Skormin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Service Dependencies in Information Systems Security / Hervé Debar ; Nizar Kheir ; Nora Cuppens-Boulahia ; Frédéric Cuppens
Secure Applications without Secure Infrastructures / Dieter Gollmann
Integrating Types and Specifications for Secure Software Development / Greg Morrisett
Cryptography for Network Security: Failures, Successes and Challenges / Bart Preneel
Group-Centric Models for Secure and Agile Information Sharing / Ravi Sandhu ; Ram Krishnan ; Jianwei Niu ; William H. Winsborough
Security Modeling and Covert Channels
A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors / Leonid Domnitser ; Nael Abu-Ghazaleh ; Dmitry Ponomarev
Attack and Defense Modeling with BDMP / Ludovic Piètre-Cambacédès ; Marc Bouissou
QoS-T: QoS Throttling to Elicit User Cooperation in Computer Systems / Vidyaraman Sankaranarayanan ; Shambhu Upadhyaya ; Kevin Kwiat
Problems of Modeling in the Analysis of Covert Channels / Alexander Grusho ; Nikolai Grusho ; Elena Timonina
Security Policies and Formal Analysis of Security Properties
Policy-Based Design and Verification for Mission Assurance / Shiu-Kai Chin ; Sarah Muccio ; Susan Older ; Thomas N.J. Vestal
Using Equivalence Relations for Corrective Enforcement of Security Policies / Raphaël Khoury ; Nadia Tawbi
Model Checking of Location and Mobility Related Security Policy Specifications in Ambient Calculus / Devrim Unal ; Ozan Akar ; M. Ufuk Caglayan
Authentication, Authorization, Access Control and Public Key Cryptography
Gredentials Management for High-Value Transactions / Glenn Benson ; Sean Croston ; Karthick Jayaraman
A New Hard Problem over Non-commutative Finite Groups for Cryptographic Protocols / Dmitriy N. Moldovyan ; Nikolay A. Moldovyan
Genetic Optimization of Access Control Schemes in Virtual Local Area Networks / Krzysztof Sacha ; Igor Saenko ; Igor Kotenko
Intrusion and Malware Detection
Intellectual Intrusion Detection with Sequences Alignment Methods / Yaroslav A. Markov ; Maxim O. Kalinin
Symptoms-Based Detection of Bot Processes / Jose Andre Morales ; Erhan Kartaltepe ; Shouhuai Xu
A Comparison of Feature-Selection Methods for Intrusion Detection / Hai Thanh Nguyen ; Slobodan Petrovic ; Katrin Franke
From NLP (Natural Language Processing) to MLP (Machine Language Processing) / Peter Teuft ; Udo Payer ; Guenter Lackner
Security of Multi-agent Systems and Software Protection
Secure Multi-Agent System for Multi-Hop Environments / Stefan Kraxberger ; Peter Danner ; Daniel Hein
In the Track of the Agent Protection: A Solution Based on Cryptographic Hardware / Antonio Muñoz ; Antonio Maña ; Pablo Antón
Security and Scalability of Remote Entrusting Protection / Vasily Desnitsky
Adaptive Security, Security Analysis and Virtualization
A Novel Genetic Approach to Provide Differentiated Levels of Service Resilience in IP-MPLS/WDM Networks / Wojciech Molisz ; Jacek Rak
Predictive Security Analysis for Event-Driven Processes / Roland Rieke ; Zaharina Stoynova
Virtual Environment Security Modeling / Dmitry Zegzhda ; Ekaterina Rudina
Clarifying Integrity Control at the Trusted Information Environment / Dmitry P. Zegzhda ; Peter D. Zegzhda
Author Index
Invited Papers
Service Dependencies in Information Systems Security / Hervé Debar ; Nizar Kheir ; Nora Cuppens-Boulahia ; Frédéric Cuppens
Secure Applications without Secure Infrastructures / Dieter Gollmann
85.

電子ブック

EB
Maria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Takeo Kanade, Hans J. Scholl, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Foundations
Towards an Understanding of E-Government Induced Change Drawing on Organization and Structuration Theories / Anne Fleur van Veenstra ; Marijn Janssen ; Yao-Hua Tan
Ten Years of E-Government: The 'End of History' and New Beginning / Ake Grönlund
Siblings of a Different Kind: E-Government and E-Commerce / Karine Barzilai-Nahon ; Hans Jochen Scholl
Inter-organizational Information Systems and Interaction in Public vs. Private Sector - Comparing Two Cases / Ulf Melin ; Karin Axelsson
Information Strategies for Open Government: Challenges and Prospects for Deriving Public Value from Government Transparency / Sharon S. Dawes ; Natalie Helbig
Defining a Taxonomy for Research Areas on ICT for Governance and Policy Modelling / Fenareti Lampathaki ; Yannis Charalabidis ; Spyros Passas ; David Osimo ; Melanie Bicking ; Maria A. Wimmer ; Dimitris Askounis
Analyzing the Structure of the EGOV Conference Community / Nu?a Erman ; Ljup?o Todorovski
Transformation
Drift or Shift? Propositions for Changing Roles of Administrations in E-Government / Ralf Klischewski
An Institutional Perspective on the Challenges of Information Systems Innovation in Public Organisations / Garnel O. Wiredu
Agriculture Market Information Services (AMIS) in the Least Developed Countries (LDCs): Nature, Scopes, and Challenges / M. Sirajul Isalarn ; Åke Grönlund
Community-Based E-Government: Libraries as E-Government Partners and Providers / John Carlo Bertot
Civil Servants' Internet Skills: Are They Ready for E-Government? / Alexander van Deursen ; Jan van Dijk
Channel Choice and Source Choice of Entrepreneurs in a Public Organizational Context: The Dutch Case / Jurjen Jansen ; Lidwien van de Wijngaert ; William Pieterson
Evaluation
Measuring and Benchmarking the Back-end of E-Government. A Participative Self-assessment Approach
Assessing Emerging ICT-Enabled Governance Models in European Cities: Results from a Mapping Survey / Gianluca Misuraca ; Enrico Ferro ; Brunella Caroleo
Designing and Evaluating Dashboards for Multi-agency Crisis Preparation: A Living Lab / Nitesh Bharosa ; Sebastiaan Meijer ; Fritjof Brave
Automatic Generation of Roadmap for E-Government Implementation / Mauricio Solar ; Daniel Pantoja ; Gonzalo Valdes
Adoption and Diffusion
Success of Government E-Service Delivery: Does Satisfaction Matter? / Parmita Saha ; Atanu Nath ; Esmail Salehi-Sangari
Emerging Barriers in E-Government Implementation / Spyros Angelopoulos ; Fotis Kitsios ; Petros Kofakis ; Thanos Papadopoulos
Rituals in E-Government Implementation: An Analysis of Failure / Rahul De' ; Sandeep Sarkar
E-Governance - A Challenge for the Regional Sustainable Development in Romania / Mihaela Muresan
Citizen Perspective and Social Inclusion
Towards a Roadmap for User Involvement in E-Government Service Development / Jesper Holgersson ; Eva Söderström ; Fredrik Karlsson ; Karin Hedström
ICT Diffusion in an Aging Society: A Scenario Analysis / Marco Cantamessa ; Maurizio Leo
What is the Issue with Internet Acceptance among Elderly Citizens? Theory Development and Policy Recommendations for Inclusive E-Government / Bjoern Niehaves ; Ralf Plattfaut
Design of an Open Social E-Service for Assisted Living / Gustaf Juell-Skielse ; Petia Wohed
Infrastructure
How to Develop an Open and Flexible Information Infrastructure for the Public Sector? / Erik Hornnes ; Arild Jansen ; Oivind Langeland
Interoperability in Public Sector: How Use of a Lightweight Approach Can Reduce the Gap between Plans and Reality / Svein Ølnes
Dynamic Public Service Mediation / Wout Hofman ; Mark van Staalduinen
Enabling Interoperability of Government Data Catalogues / Fadi Maali ; Richard Cyganiak ; Vassilios Peristeras
Knowledge Sharing in E-Collaboration / Neil Ireson ; Gregoire Burel
Digital Certificate Management for Document Workflows in E-Government Services / Florin Pop ; Ciprian Dobre ; Decebal Popescu ; Vlad Ciobanu ; Valentin Cristea
Software Reuse in Local Public Bodies: Lessons Learned in Tuscany / Vincenzo Ambriola ; Giovanni A. Cignoni
Business Process Modelling
From Bureaucratic to Quasi-Market Environments: On the Co-evolution of Public Sector Business Process Management
Process and Data-Oriented Approach for Bundling Corporate Reporting Duties to Public Authorities - A Case Study on the Example of Waste Management Reporting / Armin Sharafi ; Petra Wolf ; Helmut Krcmar
Toward a Formal Approach to Process Bundling in Public Administrations / Marten Jurisch
Designing Quality Business Processes for E-Government Digital Services / Flavio Corradini ; Damiano Falcioni ; Andrea Polini ; Alberto Polzonetti ; Barbara Re
Author Index
Foundations
Towards an Understanding of E-Government Induced Change Drawing on Organization and Structuration Theories / Anne Fleur van Veenstra ; Marijn Janssen ; Yao-Hua Tan
Ten Years of E-Government: The 'End of History' and New Beginning / Ake Grönlund
86.

電子ブック

EB
Sergey Balandin, Roman Dunaytsev, Takeo Kanade, Yevgeni Koucheryavy
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
ruSMART / I:
Smart Spaces Use Cases
Extending Context Spaces Theory by Proactive Adaptation / Andrey Boytsov ; Arkady Zaslavsky
Context-Awareness Enabling New Business Models in Smart Spaces / Boris Moltchanov ; Christian Mannweiler ; Jose Simoes
A Middleware Architecture for Safety Critical Ambient Intelligence Applications / Antonio Coronato ; Giuseppe De Pietro
Ranking Algorithm by Contacts Priority for Social Communication Systems / Natalia Dudarenko ; Juwel Rana ; Kare Synnes
CrysP: Multi-Faceted Activity-Infused Presence in Emerging Social Networks / Saguna ; Dipanjan Chakraborty
Smart-M3 Platform
Multichannel System of Audio-Visual Support of Remote Mobile Participant at E-Meeting / Andrey L. Ronzhin ; Victor Yu Budkov ; Alexey A. Karpov
On-the-Fly Ontology Matching in Smart Spaces: A Multi-model Approach / Alexander Smirnov ; Alexey Kashevnik ; Nikolay Shilov ; Sergey Balandin ; Ian Oliver ; Sergey Boldyrev
Access Control in Personal Localized Semantic Information Spaces / Alexey Koren ; Alexander Buntakov
Integration of an Answer Set Engine to Smart-M3 / Vesa Luukkala ; Jukka Honkola
A Video Monitoring Model with a Distributed Camera System for the Smart Space / Maria Prischepa ; Alexey Karpov
Smart Spaces Solutions
Physical Approach in Smart Homes: A Proposition and a Prototype / Michele Dominici ; Giulio Zecca ; Frédéric Weis ; Michel Banâtre
SMEO: A Platform for Smart Classrooms with Enhanced Information Access and Operations Automation / Akshey Jawa ; Sudip Datta ; Sujeeth Nanda ; Vishal Garg ; Vasudeva Varma ; Suresh Chande ; Murali Krishna Punaganti Venkata
Creative Approach to the Design and Prototyping of Experimental Smart Spaces, Case Studies from the Interactive Environments Minor / Tomasz Jaskiewicz ; Walter A. Aprile ; Aadjan van der Helm
Event Recognition via Energy Efficient Voting for Wireless Sensor Networks / Mohamed Baqer
NEW2AN / II:
Performance Evaluation
Evaluation of Multi-service CDMA Networks with Soft Blocking / Villy B. Iversen
Design of MPLS over DWDM Architecture for Unicast and Anycast Flows / Jakub Gladysz ; Krzysztof Walkowiak
Comparative Analysis of Sleep Mode Control Algorithms for Contemporary Metropolitan Area Wireless Networks / Alexey Anisimov ; Sergey Andreev ; Olga Galinina ; Andrey Turlikov
Determining Normalized Measure of Dispersion for Evaluating the Performance of IEEE 802.11 / Faisal Iradat ; Sayeed Ghani
Development of a System to Promote Eco-Driving and Safe-Driving / Ryosuke Ando ; Yasuhide Nishiori ; Daisuke Ochi
Performance Modeling
Oligopoly Game Modeling for Cognitive Radio Environments / Ligia C. Cremene ; D. Dumitrescu ; Réka Nagy
Reducing the Number of States for Markovian Model of Optical Slotted Ring Network / Mateusz Nowak ; Piotr Pecka
Performance Modelling of Automatic Identification System with Extended Field of View / Troels Laursen ; Hans Peter Mortensen ; Nikolaj Bisgaard Pedersen ; Ulrik Wilken Rasmussen ; Tatiana K. Madsen ; Jens Dalsgaard Nielsen
Performance Measures Computation for a Single Link Loss Network with Unicast and Multicast Traffics / Irina Gudkova ; Olga Plaksina
Realization of a Method of Matrix-Geometric Progression / Yuri Ryzhikov
Delay-/Disruption-Tolerant Networking and Overlay Systems
Mobility Pattern Based Routing Algorithm for Delay/Disruption Tolerant Networks / ManKyu Park ; SeokHong Min ; SangHo So ; DeockGil Oh ; ByungChul Kim ; JaeYong Lee
Heuristic Congestion Control for Message Deletion in Delay Tolerant Network / Lertluck Leela-amornsin ; Hiroshi Esaki
The FDPOO: A Flexible Delivering Platform with at-One-time and On-time guarantees in Opportunistic Networks / Yuan-Tse Yu ; Chung-Ming Huang ; Hsing-Cheng Wang
A Distributed Telematics Peer-to-Peer (D-TP2P) Networking System for Service Discovery / Chia-Ching Yang ; Chun-Yu Tseng
Empirical Predictor of TCP Throughput on a Multihop Wireless Path / Anna Chaltseva ; Evgeny Osipov
A Framework for Connectivity in Inter-working Multi-hop Wireless Networks / Oladayo Salami ; Antoine Bagula ; H. Anthony Chan
Integrated Wireless Networks
Practical Vertical Handover Mechanisms between Satellite and Terrestrial Networks / MinSu Shin ; Jae Yong Lee
Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET / Edison Pignaton de Freitas ; Tales Heimfarth ; Flávio Rech Wagner ; Armando Morado Ferreira ; Carlos Eduardo Pereira ; Tony Larsson
Comparison and Evaluation of the Most Efficient Mobility Management Protocols for Integrated Wireless Networks / Asimakis Lykourgiotis ; Stavros Kotsopoulos
Functional Model and Service Scenarios for QoS Enabled Mobile VoIP Service / Kyu Ouk Lee ; Sang Soo Lee ; Tae Whan Yoo
Heuristic Approaches to the Multi-objective Network Design and Optimization for Wireless Data Networks / Chutima Prommak ; Naruemon Wattanapongsakorn
Resource Management
Call Admission Control in Single and Two-Tier Cellular Networks / Manfred Schneps-Schneppe ; Janis Sedols
Joint Admission Control and Resource Allocation for Multiuser Loading in LTE Networks / V. Venkatkumar ; T. Haustein ; M. Faulkner
Data Traffic Scheduling Algorithm for Multiuser MIMO-OFDM System with the Throughput Maximization / Jerzy Martyna
Multimedia Communications
Scalable Video Coding Based on Three-Dimensional Discrete Pseudo Cosine Transform / Eugeniy Belyaev ; Timofey Sukhov ; Liu Kai
NTRULO: A Tunneling Architecture for Multimedia Conferencing over IP / A. Amirante ; T. Castaldi ; L. Miniero ; S.P. Romano
Seamless Streaming Service Session Migration Support Architecture for Heterogeneous Devices / Geun-Hyung Kim ; Bong-Hwan Lee
Author Index
ruSMART / I:
Smart Spaces Use Cases
Extending Context Spaces Theory by Proactive Adaptation / Andrey Boytsov ; Arkady Zaslavsky
87.

電子ブック

EB
Radu Sion, Reza Curtmola, Sven Dietrich, Takeo Kanade, Aggelos Kiayias, Josep M. Miret, Kazue Sako, Francesc Sebé
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
WLC Preface / Josep M. Miret ; Francesc Sebé
Hummingbird: Ultra-Lightweight Cryptography for Resource-Constrained Devices / Daniel Engels ; Xinxin Fan ; Guang Gong ; Honggang Hu ; Eric M. Smith
Lighten Encryption Schemes for Secure and Private RFID Systems / Sébastien Canard ; Iwen Coisel ; Jonathan Etrog
Analysis and Improvement of a Pseudorandom Number Generator for EPC Gen2 Tags / J. Melia-Segui ; J. Garcia-Alfaro ; J. Herrera-Joancomarti
A Note on a Fatal Error of Optimized LFC Private Information Retrieval Scheme and Its Corrected Results / Jin Tamura ; Kazukuni Kobara ; Hanane Fathi ; Hideki Imai
Reliable Food Traceability Using RFID Tagging / Guillermo Azuara ; José L. Salazar ; José L. Tornos ; Joan J. Piles
Lightweight Cryptography and DPA Countermeasures: A Survey / Amir Moradi ; Axel Poschmann
Securing the Use of RFID-Enabled Banknotes / Santi Martínez ; Concepció Roig ; Magda Valls
Increasing Privacy Threats in the Cyberspace: The Case of Italian E-Passports / Vincenzo Auletta ; Carlo Blundo ; Angelo De Caro ; Emiliano De Cristofaro ; Giuseppe Persiano ; Ivan Visconti
RLCPS Preface / Aggelos Kiayias ; Kazue Sako
SPAKE: A Single-Party Public-Key Authenticated Key Exchange Protocol for Contact-Less Applications / Jean-Sébastien Coron ; Aline Gouget ; Pascal Paillier ; Karine Villegas
A Secure and Privacy-Preserving Targeted Ad-System / Elli Androulaki ; Steven M. Bellovin
Cryptographic Cloud Storage / Seny Kamara ; Kristin Lauter
Extending IPsec for Efficient Remote Attestation / Ahmad-Reza Sadeghi ; Steffen Schulz
Open Mobile Alliance Secure Content Exchange: Introducing Key Management Constructs and Protocols for Compromise-Resilient Easing of DRM Restrictions / David William Kravitz
How to Evaluate the Security of Real-Life Cryptographic Protocols? The Cases of ISO/IEC 29128 and CRYPTREC / Shin'ichiro Matsuo ; Kunihiko Miyazaki ; Akira Otsuka ; David Basin
WECSR Preface / Sven Dietrich
Preaching What We Practice: Teaching Ethical Decision-Making to Computer Security Professionals (Keynote Talk) / Kenneth R. Fleischmann
A Case Study on Measuring Statistical Data in the Tor Anonymity Network / Karsten Loesing ; Steven J. Murdoch ; Roger Dingledine
A Case Study in Ethical Decision Making Regarding Remote Mitigation of Botnets / David Dittrich ; Felix Leder ; Tillmann Werner
Ethical Proactive Threat Research (Position Paper) / John Aycock ; John Sullins
A Framework for Understanding and Applying Ethical Principles in Network and Security Research (Position Paper) / Erin Kenneally ; Michael Bailey ; Douglas Maughan
Ethical Concerns in Computer Security and Privacy Research Involving Human Subjects (Panel) / Lorrie Faith Cranor
Ethical Guidelines for Computer Security Researchers: "Be Reasonable" (Panel) / Len Sassaman
Author Index
WLC Preface / Josep M. Miret ; Francesc Sebé
Hummingbird: Ultra-Lightweight Cryptography for Resource-Constrained Devices / Daniel Engels ; Xinxin Fan ; Guang Gong ; Honggang Hu ; Eric M. Smith
Lighten Encryption Schemes for Secure and Private RFID Systems / Sébastien Canard ; Iwen Coisel ; Jonathan Etrog
88.

電子ブック

EB
Sokratis Katsikas, Takeo Kanade, Javier Lopez, Miguel Soriano
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Usage Control, Risk and Trust / Leanid Krautsevich ; Aliaksandr Lazouski ; Fabio Martinelli ; Paolo Mori ; Artsiom Yautsiukhin
Prevention Systems
Attacking Image Recognition CAPTCHAS: A Naive but Effective Approach / Christoph Fritsch ; Michael Netter ; Andreas Reisser ; Günther Pernul
An Insider Threat Prediction Model / Miltiadis Kandias ; Alexios Mylonas ; Nikos Virvilis ; Marianthi Theoharidou ; Dimitris Gritzalis
A Call Conference Room Interception Attack and its Detection / Nikos Vrakas ; Dimitris Geneiatakis ; Costas Lambrinoudakis
Safe and Efficient Strategies for Updating Firewall Policies / Ahmed Zeeshan ; Abdessamad Imine ; Michaël Rusinowitch
A Privacy-Preserving Architecture for the Semantic Web Based on Tag Suppression / Javier Parra-Arnau ; David Rebollo-Monedero ; Jordi FornéPrivacy I:
Context-Aware Privacy Design Pattern Selection / Siani Pearson ; Yun Shen
Real-Time Remote Attestation with Privacy Protection / Aimin Yu ; Dengguo Feng
Private Searching on MapReduce / Huafei Zhu ; Feng Bao
In Search of Search Privacy / Martin S. Olivier ; Wesley BrandiPrivacy II:
Untraceability and Profiling Are Not Mutually Exclusive / Sébastien Canard ; Amandine Jambert
Privacy Policy Referencing / Audun Jøsang ; Lothar Fritsch ; Tobias Mahler
Access Control
Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol / Almudena Alcaide ; Esther Palomar ; Ana I. González-Tablas ; Arturo Ribagorda
Extending XACML Access Control Architecture for Allowing Preference-Based Authorisation / Gina Kounga ; Marco Casassa Mont ; Pete Bramhall
An Agent Based Back-End RFID Tag Management System / Evangelos Rekleitis ; Panagiotis Rizomiliotis ; Stefanos Gritzalis
Security and Trust Concepts
Assessing the Usability of End-User Security Software / Tarik Ibrahim ; Steven M. Furnell ; Maria Papadaki ; Nathan L. Clarke
Building ISMS through the Reuse of Knowledge / Luis Enrique Sánchez ; Antonio Santos-Olmo ; Eduardo Fernández-Medina ; Mario Piattini
Mechanizing Social Trust-Aware Recommenders with T-Index Augmented Trustworthiness / Soude Fazeli ; Alireza Zarghami ; Nima Dokoohaki ; Mihhail Matskin
Security for Dynamic Collaborations
Security for Dynamic Service-Oriented eCollaboration: Architectural Alternatives and Proposed Solution
Analyzing Information Security Awareness through Networks of Association / Aggeliki Tsohou ; Maria Karyda ; Spyros Kokolakis ; Evangelos Kiountouzis
Efficiency Improvement Of Homomorphic E-Auction / Kun Peng
Author Index
Invited Talk
Usage Control, Risk and Trust / Leanid Krautsevich ; Aliaksandr Lazouski ; Fabio Martinelli ; Paolo Mori ; Artsiom Yautsiukhin
Prevention Systems
89.

電子ブック

EB
Alexey Vinel, Boris Bellalta, Takeo Kanade, Andrey Lyakhov, Miquel Oliver, Claudio Sacchi, Miklós Telek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Medium Access Control
Physical Model Based Interference Classification and Analysis / Artem Krasilov
Dynamic Parameter Adjustment in CSMA/ECA / Jaume Barcelo ; Boris Bellalta ; Cristina Cano ; Anna Sfairopoulou ; Miquel Oliver
A Test-Based Scheduling Protocol (TBSP) for Periodic Data Gathering in Wireless Sensor Networks / Mario Orne Díaz-Anadón ; Kin K. Leung
Multiuser Detection and Advanced Coding Techniques
Adaptive Minimum Conditional Bit-Error-Rate Linear Multiuser Detection for STBC-MC-CDMA Systems Transmitting over Mobile Radio Channels / Leandro D'Orazio ; Claudio Sacchi ; Jérôme Louveaux ; Luc Vandendorpe
On the Performance of Single LDGM Codes for Iterative Data Fusion over the Multiple Access Channel / Javier Del Ser ; Javier Garcia-Frias ; Pedro M. Crespo ; Diana Manjarres ; Ignacio (Iñaki) Olabarrieta
Preliminary Results on the Adoption of De Bruijn Binary Sequences in DS-CDMA Systems / Stefano Andrenacci ; Ennio Gambi ; Susanna Spinsante
Queueing Systems
Analysis of Different Channel Sharing Strategies in Cognitive Radio Networks / Elena Bernal-Mor ; Vicent Pla ; Jorge Martinez-Bauset
A Queueing Model for SDMA Downlink Transmissions / Ruizhi Liao ; Núria Garcia
Queueing System with Alternating Service Rates for Free Space Optics-Radio Hybrid Channel / Vladimir Vishnevskiy ; Olga Semenova
An Efficient Method for Proportional Differentiated Admission Control Implementation / Vladimir V. Shakhov
Laws of Conservation in the Queueing Teory / Alexander Pechinkin ; Sergey Shorgin ; Konstantin Avrachenkov ; Alexander Dudin ; Valentina Klimenok ; Yuri Ryzhikov
Wireless Mesh Networks and WIMAX
Intra-flow Interference Study in IEEE 802.11s Mesh Networks / Andrey Lyakhov ; Ivan Pustogarov
Simulation Study of VoIP Performance in IEEE 802.11 Wireless Mesh Networks / Kirill Andreev ; Pavel Boyko
Modeling the Influence of the Real-Time Traffic on the Delay of the Non Real-Time Traffic in IEEE 802.16 Network / Zsolt Saffer ; Sergey Andreev ; Yevgeni Koucheryavy
Advanced Topics in Wireless Networks
Cross-Layer Channel-Aware Approaches for Modern Wireless Networks / Olga Galinina ; Alexey Vinel
On the Probabilistic Description of an Asynchronous DHA FH OFDMA System with Threshold Noncoherent Reception / Dmitry Osipov
Adaptive Channel Estimation for STBC-OFDM System Based on Nature-Inspired Optimization Strategies / Massimo Donelli
Fractional Frequency Reuse Scheme in Cooperative Relaying For Multi-cell OFDMA Systems / Abdelhalim Najjar ; Noureddine Hamdi ; Ammar Bouallegue
Static Inter-Cell Interference Coordination Techniques for LTE Networks: A Fair Performance Assessment / David González G. ; Mario García-Lozano ; Silvia Ruiz ; Joan Olmos
A Two-Users Transmission Game in OFDM Wireless Networks with Resource Cost / Andrey Garnaev ; Anton Toritsyn
QoS-Driven Radio Resource Allocation for OFDMA Networks Based on a Game Theoretical Approach / Fabrizio Granelli
Mobile Ad-Hoc Networks
Using Agent-Oriented Simulation System AGNES for Evaluation of Sensor Networks / Dmitry Podkorytov ; Alexey Rodionov ; Olga Sokolova ; Anastasia Yurgenson
Multiple Metrics in MANET with End-to-End QoS Support for Unicast and Multicast Traffic / Evgeny Khorov ; Alexander Safonov
Performance of MAC Protocols in Beaconing Mobile Ad-Hoc Multibroadcast Networks / Cristina Rico Garcia ; Andreas Lehner ; Patrick Robertson ; Thomas Strang
Quality of Service Oriented Analysis of Cross-Layer Design in Wireless Ad Hoc Networks / Ulrike Korger ; Christian Hartmann ; Katsutoshi Kusume ; Joerg Widmer
Author Index
Medium Access Control
Physical Model Based Interference Classification and Analysis / Artem Krasilov
Dynamic Parameter Adjustment in CSMA/ECA / Jaume Barcelo ; Boris Bellalta ; Cristina Cano ; Anna Sfairopoulou ; Miquel Oliver
90.

電子ブック

EB
Burkhard Stiller, Tobias Hoßfeld, Takeo Kanade, George D. Stamoulis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
An Incentive-Based Approach to Traffic Management for Peer-to-Peer Overlays / Konstantin Pussep ; Sergey Kuleshov ; Christian Gro? ; Sergios Soursos
Quantifying Operational Cost-Savings through ALTO-Guidance for P2P Live Streaming / Jan Seedorf ; Saverio Niccolini ; Martin Stiemerling ; Ettore Ferranti ; Rolf Winter
Overlay Connection Usage in BitTorrent Swarms / Simon Oechsner ; Frank Lehrieder ; Dirk Staehle
Evaluations and Estimations
Implementation and Performance Evaluation of the re-ECN Protocol / Mirja Kühlewind ; Michael Scharf
Estimating AS Relationships for Application-Layer Traffic Optimization / Hirochika Asai ; Hiroshi Esaki
Mobile Internet in Stereo: An End-to-End Scenario / Henna Warma ; Tapio Levä ; Lars Eggert ; Heikki Hämmäinen ; Jukka Manner
Short Papers
A Study of Non-neutral Networks with Usage-Based Prices / Eitan Altman ; Pierre Bernhard ; Stephane Caron ; George Kesidis ; Julio Rojas-Mora ; Sulan Wong
Stability of Alliances between Service Providers / Hélène Le Cadre
Business-Driven QoS Management of B2C Web Servers / Grazyna Suchacka ; Leszek Borzemski
The Applicability of Context-Based Multicast - A Shopping Centre Scenario / Thomas Wozniak ; Katarina Stanoevska-Slabeva ; Diogo Gomes ; Hans D. Schotten
Author Index
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
91.

電子ブック

EB
Dimitris Gritzalis, Takeo Kanade, Bart Preneel, Marianthi Theoharidou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
RFID and Privacy
A New Framework for RFID Privacy / Robert H. Deng ; Yingjiu Li ; Moti Yung ; Yunlei Zhao
Readers Behaving Badly: Reader Revocation in PKI-Based RFID Systems / Rishab Nithyanand ; Gene Tsudik ; Ersin Uzun
Privacy-Preserving, Taxable Bank Accounts / Elli Androulaki ; Binh Vo ; Steven Bellovin
Formal Analysis of Privacy for Vehicular Mix-Zones / Morten Dahl ; Stéphanie Delaune ; Graham Steel
Software Security
IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time / Chao Zhang ; Tielei Wang ; Tao Wei ; Yu Chen ; Wei Zou
A Theory of Runtime Enforcement, with Results / Jay Ligatti ; Srikar Reddy
Enforcing Secure Object Initialization in Java / Laurent Hubert ; Thomas Jensen ; Vincent Monfort ; David Pichardie
Flexible Scheduler-Independent Security / Heiko Mantel ; Henning Sudbrock
Cryptographic Protocols
Secure Multiparty Linear Programming Using Fixed-Point Arithmetic / Octavian Catrina ; Sebastiaan de Hoogh
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on ?-Protocols / José Bacelar Almeida ; Endre Bangerter ; Manuel Barbosa ; Stephan Krenn ; Ahmad-Reza Sadeghi ; Thomas Schneider
Short Generic Transformation to Strongly Unforgeable Signature in the Standard Model / Joseph K. Liu ; Man Ho Au ; Willy Susilo ; Jianying Zhou
DR@FT: Efficient Remote Attestation Framework for Dynamic Systems / Wenjuan Xu ; Gail-Joon Ahn ; Hongxin Hu ; Xinwen Zhang ; Jean-Pierre Seifert
Traffic Analysis
Website Fingerprinting and Identification Using Ordered Feature Sequences / Liming Lu ; Ee-Chien Chang ; Mun Choon Chan
Web Browser History Detection as a Real-World Privacy Threat / Artur Janc ; Lukasz Olejnik
On the Secrecy of Spread-Spectrum Flow Watermarks / Xiapu Luo ; Junjie Zhang ; Roberto Perdisci ; Wenke Lee
Traffic Analysis against Low-Latency Anonymity Networks Using Available Bandwidth Estimation / Sambuddho Chakravarty ; Angelos Stavrou ; Angelos D. Keromytis
End-User Security
A Hierarchical Adaptive Probabilistic Approach for Zero Hour Phish Detection / Guang Xiang ; Bryan A. Pendleton ; Jason Hong ; Carolyn P. Rose
Kamouflage: Loss-Resistant Password Management / Hristo Bojinov ; Elie Bursztein ; Xavier Boyen ; Dan Boneh
Formal Analysis
Sequential Protocol Composition in Maude-NPA / Santiago Escobar ; Catherine Meadows ; José Meseguer ; Sonia Santiago
Verifying Security Property of Peer-to-Peer Systems Using CSP / Tien Tuan Anh Dinh ; Mark Ryan
Modeling and Analyzing Security in the Presence of Compromising Adversaries / David Basin ; Cas Cremers
On Bounding Problems of Quantitative Information Flow / Hirotoshi Yasuoka ; Tachio Terauchi
E-voting and Broadcast
On E-Vote Integrity in the Case of Malicious Voter Computers / Sven Heiberg ; Helger Lipmaa ; Filip van Laenen
Election Verifiability in Electronic Voting Protocols / Steve Kremer ; Ben Smyth
Pretty Good Democracy for More Expressive Voting Schemes / James Heather ; Peter Y.A. Ryan ; Vanessa Teague
Efficient Multi-dimensional Key Management in Broadcast Services / Marina Blanton ; Keith B. Frikke
Authentication, Access Control, Authorization and Attestation
Caught in the Maze of Security Standards / Jan Meier ; Dieter Gollmann
User-Role Reachability Analysis of Evolving Administrative Role Based Access Control / Mikhail I. Gofman ; Ruiqi Luo ; Ping Yang
An Authorization Framework Resilient to Policy Evaluation Failures / Jason Crampton ; Michael Huth
Optimistic Fair Exchange with Multiple Arbiters / Alptekin Küpçü ; Anna Lysyanskaya
Anonymity and Unlinkability
Speaker Recognition in Encrypted Voice Streams / Michael Backes ; Goran Doychev ; Markus Dürmuth ; Boris Köpf
Evaluating Adversarial Partitions / Andreas Pashalidis ; Stefan Schiffner
Providing Mobile Users' Anonymity in Hybrid Networks / Claudio A. Ardagna ; Sushil Jajodia ; Pierangela Samarati
Complexity of Anonymity for Security Protocols / Ferucio Laurentiu Tiplea ; Loredana Vamanu ; Cosmin Vârlan
Network Security and Economics
k-Zero Day Safety: Measuring the Security Risk of Networks against Unknown Attacks / Lingyu Wang ; Anoop Singhal ; Steven Noel
Are Security Experts Useful? Bayesian Nash Equilibria for Network Security Games with Limited Information / Benjamin Johnson ; Jens Grossklags ; Nicolas Christin ; John Chuang
RatFish: A File Sharing Protocol Provably Secure against Rational Users / Oana Ciobotaru ; Anton Krohmer
A Service Dependency Model for Cost-Sensitive Intrusion Response / Nizar Kheir ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Hervé Debar
Secure Update, DOS and Intrustion Detection
Secure Code Update for Embedded Devices via Proofs of Secure Erasure / Daniele Perito
Dial
RFID and Privacy
A New Framework for RFID Privacy / Robert H. Deng ; Yingjiu Li ; Moti Yung ; Yunlei Zhao
Readers Behaving Badly: Reader Revocation in PKI-Based RFID Systems / Rishab Nithyanand ; Gene Tsudik ; Ersin Uzun
92.

電子ブック

EB
Somesh Jha, Takeo Kanade, Christian Kreibich, Robin Sommer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Network Protection
What Is the Impact of P2P Traffic on Anomaly Detection? / Irfan Ul Haq ; Sardar Ali ; Hassan Khan ; Syed Ali Khayam
A Centralized Monitoring Infrastructure for Improving DNS Security / Manos Antonakakis ; David Dagon ; Xiapu Luo ; Roberto Perdisci ; Wenke Lee ; Justin Bellmor
Behavior-Based Worm Detectors Compared / Shad Stafford ; Jun Li
High Performance
Improving NFA-Based Signature Matching Using Ordered Binary Decision Diagrams / Liu Yang ; Rezwana Karim ; Vinod Ganapathy ; Randy Smith
GrAVity: A Massively Parallel Antivirus Engine / Giorgos Vasiliadis ; Sotiris Ioannidis
Malware Detection and Defence
Automatic Discovery of Parasitic Malware / Abhinav Srivastava ; Jonathon Giffin
BotSwindler: Tamper Resistant Injection of Believable Decoys in VM-Based Hosts for Crimeware Detection / Brian M. Bowen ; Pratap Prabhu ; Vasileios P. Kemerlis ; Stelios Sidiroglou ; Angelos D. Keromytis ; Salvatore J. Stolfo
CANVuS: Context-Aware Network Vulnerability Scanning / Yunjing Xu ; Michael Bailey ; Eric Vander Weele ; Farnam Jahanian
HyperCheck: A Hardware-Assisted Integrity Monitor / Jiang Wang ; Angelos Stavrou ; Anup Ghosh
Kernel Malware Analysis with Un-tampered and Temporal Views of Dynamic Kernel Memory / Junghwan Rhee ; Ryan Riley ; Dongyan Xu ; Xuxian Jiang
Bait Your Hook: A Novel Detection Technique for Keyloggers / Stefano Ortolano ; Cristiano Giuffrida ; Bruno Crispo
Evaluation
Generating Client Workloads and High-Fidelity Network Traffic for Controllable, Repeatable Experiments in Computer Security / Charles V. Wright ; Christopher Connelly ; Timothy Braje ; Jesse C. Rabek ; Lee M. Rossey ; Robert K. Cunningham
On Challenges in Evaluating Malware Clustering / Peng Li ; Limin Liu ; Debin Gao ; Michael K. Reiter
Why Did My Detector Do That?! Predicting Keystroke-Dynamics Error Rates / Kevin Killourhy ; Roy Maxion
Forensics
NetStore: An Efficient Storage Infrastructure for Network Forensics and Monitoring / Paul Giura ; Nasir Memon
Live and Trustworthy Forensic Analysis of Commodity Production Systems / Lorenzo Martignoni ; Aristide Fattori ; Roberto Paleari ; Lorenzo Cavallaro
Hybrid Analysis and Control of Malware / Kevin A. Roundy ; Barton P. Miller
Anomaly Detection
Anomaly Detection and Mitigation for Disaster Area Networks / Jordi Cucurull ; Mikael Asplund ; Simin Nadjm-Tehrani
Community Epidemic Detection Using Time-Correlated Anomalies / Adam J. Oliner ; Ashutosh V. Kulkarni ; Alex Aiken
A Data-Centric Approach to Insider Attack Detection in Database Systems / Sunu Mathew ; Michalis Petropoulos ; Hung Q. Ngo ; Shambhu Upadhyaya
Privilege States Based Access Control for Fine-Grained Intrusion Response / Ashish Kamra ; Elisa Bertino
Web Security
Abusing Social Networks for Automated User Profiling / Marco Balduzzi ; Christian Platzer ; Thorsten Holz ; Engin Kirda ; Davide Balzarotti ; Christopher Kruegel
An Analysis of Rogue AV Campaigns / Marco Cova ; Corrado Leita ; Olivier Thonnard ; Marc Dacier
Fast-Flux Bot Detection in Real Time / Ching-Hsiang Hsu ; Chun-Ying Huang ; Kuan-Ta Chen
Posters
A Client-Based and Server-Enhanced Defense Mechanism for Cross-Site Request Forgery / Luyi Xing ; Yuqing Zhang ; Shenlong Chen
A Distributed Honeynet at KFUPM: A Case Study / Mohammed Sqalli ; Raed AlShaikh ; Ezzat Ahmed
Aspect-Based Attack Detection in Large-Scale Networks / Martin Drasar ; Jan Vykopal ; Radek Krejcí ; Pavel Celeda
Detecting Network Anomalies in Backbone Networks / Christian Callegari ; Loris Gazzarrini ; Stefano Giordano ; Michele Pagano ; Teresa Pepe
Detecting the Onset of Infection for Secure Hosts / Kui Xu ; Qiang Ma ; Danfeng (Daphne) Yao
Eliminating Human Specification in Static Analysis / Ying Kong ; Qixu Liu
Evaluation of the Common Dataset Used in Anti-Malware Engineering Workshop 2009 / Hosoi Takurou ; Kanta Matsuura
Inferring Protocol State Machine from Real-World Trace / Yipeng Wang ; Zhibin Zhang ; Li Guo
MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA / Dina Hadziosmanovic ; Damiano Bolzoni ; Pieter Hartel
On Estimating Cyber Adversaries' Capabilities: A Bayesian Model Approach / Jianchun Jiang ; Weifeng Chen ; Liping Ding
Security System for Encrypted Environments (S2E2) / Robert Koch ; Gabi Dreo Rodosek
Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence / Serguei A. Mokhov ; Joey Paquet ; Mourad Debbabi
Toward Specification-Based Intrusion Detection for Web Applications / Salman Niksefat ; Mohammad Mahdi Ahaniha ; Babak Sadeghiyan ; Mehdi Shajari
Toward Whole-System Dynamic Analysis for ARM-Based Mobile Devices / Ryan Whelan ; David Kaeli
Using IRP for Malware Detection / FuYong Zhang ; De Yu Qi ; JingLin Hu
Author Index
Network Protection
What Is the Impact of P2P Traffic on Anomaly Detection? / Irfan Ul Haq ; Sardar Ali ; Hassan Khan ; Syed Ali Khayam
A Centralized Monitoring Infrastructure for Improving DNS Security / Manos Antonakakis ; David Dagon ; Xiapu Luo ; Roberto Perdisci ; Wenke Lee ; Justin Bellmor
93.

電子ブック

EB
Chen Ding, Takeo Kanade, Zhiyuan Shao, Ran Zheng
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
Building a Domain-Knowledge Guided System Software Environment to Achieve High-Performance of Multi-core Processors / Xiaodong Zhang
Internet-Based Virtual Computing Environment / Huaimin Wang
Parallelization and Optimization / Session 1:
Vectorization for Java / Jiutao Nie ; Buqi Cheng ; Shisheng Li ; Ligang Wang ; Xiao-Feng Li
Just-in-Time Compiler Assisted Object Reclamation and Space Reuse / Yu Zhang ; Lina Yuan ; Tingpeng Wu ; Wen Peng ; Quanlong Li
Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F / Yun Xu ; Mingzhi Shao ; Da Teng
Exposing Tunable Parameters in Multi-threaded Numerical Code / Apan Qasem ; Jichi Guo ; Faizur Rahman ; Qing Yi
LU Decomposition on Cell Broadband Engine: An Empirical Study to Exploit Heterogeneous Chip Multiprocessors / Feng Mao ; Xipeng Shen
FDTM: Block Level Data Migration Policy in Tiered Storage System / Xiaonan Zhao ; Zhanhuai Li ; Leijie Zeng
Parallel Algorithms / Session 2:
Scale-Adaptable Recrawl Strategies for DHT-Based Distributed Web Crawling System / Xiao Xu ; Weizhe Zhang ; Hongli Zhang ; Binxing Fang
Power Efficient Scheduling for Hard Real-Time Systems on a Multiprocessor Platform / Peter J. Nistler ; Jean-Luc Gaudiot
Storage Device Performance Prediction with Selective Bagging Classification and Regression Tree / Lei Zhang ; Guiquan Liu ; Xuechen Zhang ; Song Jiang ; Enhong Chen
Embedding Algorithms for Bubble-Sort, Macro-Star, and Transposition Graphs / HyeongOk Lee ; Hyun Sim ; JungHyun Seo ; Mihye Kim
An Efficient Simulation Algorithm for Cache of Random Replacement Policy / Shuchang Zhou
DABGPM: A Double Auction Bayesian Game-Based Pricing Model in Cloud Market / Shifeng Shang ; Jinlei Jiang ; Yongwei Wu ; Zhenchun Huang ; Guangwen Yang ; Weimin Zheng
Network / Session 3:
NPA-BT: A Network Performance Aware BitTorrent Traffic Optimization Mechanism / Changyou Xing ; Li Yang ; Ming Chen
User Behavior Pattern Analysis and Prediction Based on Mobile Phone Sensors / Jiqiang Song ; Eugene Y. Tang ; Leibo Liu
ServiceStore: A Peer-to-Peer Framework for QoS-Aware Service Composition / Jun Jin ; Yuanda Cao ; Xing Pu ; Jiaxin Li
Identifying Nearest Neighbor Nodes and Connectivity in Three-Dimensional Wireless Sensor Networks Using Poisson Point Field / Yanhuai Qu ; Jianan Fang ; Shuai Zhang
A Novel Trust Evaluation Model for Mobile P2P Networks / Xu Wu
Parallelization and Optimization (Cluster) / Session 4:
Evaluating and Optimizing I/O Virtualization in Kernel-Based Virtual Machine (KVM) / Binbin Zhang ; Xiaolin Wang ; Rongfeng Lai ; Liang Yang ; Zhenlin Wang ; Yingwei Luo ; Xiaoming Li
Distributed Stream Processing with DUP / Kai Christian Bader ; Tilo Eiβler ; Nathan Evans ; Chris Gauthier Dickey ; Christian Grothoff ; Krista Grothoff ; Jeff Keene ; Harald Meier ; Craig Ritzdorf ; Matthew J. Rutherford
CCIndex: a Complemental Clustering Index on Distributed Ordered Tables for Multi-dimensional Range Queries / Yongqiang Zou ; Jia Liu ; Shicai Wang ; Li Zha ; Zhiwei Xu
Online Event Correlations Analysis in System Logs of Large-Scale Cluster Systems / Wei Zhou ; Jianfeng Zhan ; Dan Meng ; Zhihong Zhang
Differentiated Replication Strategy in Data Centers / Tung Nguyen ; Anthony Cutway ; Weisong Shi
Efficient Pipelining Parallel Methods for Image Compositing in Sort-Last Rendering / Wei Fang ; Guangzhong Sun ; Peng Zheng ; Tiening He ; Guoliang Chen
GPU and Multicore / Session 5:
memCUDA: Map Device Memory to Host Memory on GPGPU Platform / Hai Jin ; Bo Li ; Ran Zheng ; Qin Zhang ; Wenbing Ao
Adaptive Line Size Cache for Irregular References on Cell Multicore Processor / Qian Cao ; Chongchong Zhao ; Junxiu Chen ; Yunxing Zhang ; Yi Chen
Software-Hardware Cooperative DRAM Bank Partitioning for Chip Multiprocessors / Wei Mi ; Xiaobing Feng ; Jingling Xue ; Yaocang Jia
Energy-Efficient Scheduling of Real-Time Periodic Tasks in Multicore Systems / Xiaodong Wu ; Yuan Lin ; Jian-Jun Han
The Core Degree Based Tag Reduction on Chip Multiprocessor to Balance Energy Saving and Performance Overhead / Long Zheng ; Mianxiong Dong ; Minyi Guo ; Song Guo ; Xuping Tu
Cloud and Grid Infrastructure / Session 6:
Improve Throughput of Storage Cluster Interconnected with a TCP/IP Network Using Intelligent Server Grouping
Evaluate the Performance and Scalability of Image Deployment in Virtual Data Center / Kejiang Ye ; Xiaohong Jiang ; Qinming He ; Xing Li ; Jianhai Chen
A Resource Discovery Algorithm in Mobile Grid Computing Based on IP-Paging Scheme / Yue Zhang ; Yunxia Pei
JAMILA: A Usable Batch Job Management System to Coordinate Heterogeneous Clusters and Diverse Applications over Grid or Cloud Infrastructure / Juan Peng ; Xiaoyi Lu ; Boqun Cheng
User-Centric Privacy Preservation in Data-Sharing Applications / Feng Gao ; Jingsha He ; Shufen Peng
Software Metrics Reduction for Fault-Proneness Prediction of Software Modules / Yunfeng Luo ; Kerong Ben ; Lei Mi
Network on Chip / Session 7:
A Methodology for Design of Unbuffered Router Microarchitecture for S-Mesh NoC / Hao Liu ; Feifei Cao ; Dongsheng Liu ; Xuecheng Zou ; Zhigang Zhang
A Worst Case Performance Model for TDM Virtual Circuit in NoCs / Zhipeng Chen ; Axel Jantsch
Convex-Based DOR Routing for Virtualization of NoC / Guang Sun ; Yuanyuan Zhang ; Yong Li ; Li Su ; Depeng Jin ; Lieguang Zeng
MPSoC Architecture-Aware Automatic NoC Topology Design / Rachid Dafali ; Jean-Philippe Diguet
ERA: An Efficient Routing Algorithm for Power, Throughput and Latency in Network-on-Chips / Varsha Sharma ; Rekha Agarwal ; Manoj S. Gaur ; Vijay Laxmi ; Vineetha V.
Author Index
Keynote Speech
Building a Domain-Knowledge Guided System Software Environment to Achieve High-Performance of Multi-core Processors / Xiaodong Zhang
Internet-Based Virtual Computing Environment / Huaimin Wang
94.

電子ブック

EB
Nancy A. Lynch, Takeo Kanade, Alexander A. Shvartsman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The 2010 Edsger W. Dijkstra Prize in Distributed Computing
Consensus (Session la) / Invited Lecture I:
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov
Fast Asynchronous Consensus with Optimal Resilience / Ittai Abraham ; Marcos K. Aguilera ; Dahlia Malkhi
Transactions (Session lb)
Transactions as the Foundation of a Memory Consistency Model / Luke Dalessandro ; Michael L. Scott ; Michael F. Spear
The Cost of Privatization / Hagit Attiya ; Eshcar Hillel
A Scalable Lock-Free Universal Construction with Best Effort Transactional Hardware / Francois Carouge ; Michael Spear
Window-Based Greedy Contention Management for Transactional Memory / Gokarna Sharma ; Brett Estrade ; Costas Busch
Shared Memory Services and Concurrency (Session 1c)
Scalable Flat-Combining Based Synchronous Queues / Danny Hendler ; Itai Incze ; Nir Shavit ; Moran Tzafrir
Fast Randomized Test-and-Set and Renaming / Dan Alistarh ; Seth Gilbert ; Andrei Giurgiu ; Rachid Guerraoui
Concurrent Computing and Shellable Complexes / Maurice Herlihy ; Sergio Rajsbaum
(Session 1d) / Brief Announcements I:
Hybrid Time-Based Transactional Memory / Pascal Felber ; Christof Fetzer ; Patrick Marlier ; Martin Nowack ; Torvald Riegel
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency / Yehuda Afek ; Guy Korland ; Eitan Yanovsky
Fast Local-Spin Abortable Mutual Exclusion with Bounded Space / Hyonho Lee
Wireless Networks (Session 1e)
What Is the Use of Collision Detection (in Wireless Networks)? / Johannes Schneider ; Roger Wattenhofer
Deploying Wireless Networks with Beeps / Alejandro Cornejo ; Fabian Kuhn
Distributed Contention Resolution in Wireless Networks / Thomas Kesselheim ; Berthold Vöcking
A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks / Andrea Richa ; Christian Scheideler ; Stefan Schmid ; Jin Zhang
(Session 1f) / Brief Announcements II:
Simple Gradecast Based Algorithms / Michael Ben-Or ; Danny Dolev ; Ezra N. Hoch
Decentralized Network Bandwidth Prediction / Sukhyun Song ; Pete Keleher ; Bobby Bhattacharjee ; Alan Sussman
Synchronous Las Vegas URMT Iff Asynchronous Monte Carlo URMT / Abhinav Mehta ; Shashank Agrawal ; Kannan Srinathan
Best Student Paper (Session 2a) / Invited Lecture II:
Foundations of Speculative Distributed Computing (Invited Lecture Extended Abstract)
Anonymous Asynchronous Systems: The Case of Failure Detectors / François Bonnet ; Michel Raynal
Consensus and Leader Election (Session 2b)
The Computational Structure of Progress Conditions / Gadi Taubenfeld
Scalable Quantum Consensus for Crash Failures / Bogdan S. Chlebus ; Dariusz R. Kowalski ; Michal Strojnowski
How Much Memory Is Needed for Leader Election / Emanuele G. Fusco ; Andrzej Pelc
Leader Election Problem versus Pattern Formation Problem / Yoann Dieudonné ; Franck Petit ; Vincent Villain
Mobile Agents (Session 2c)
Rendezvous of Mobile Agents in Directed Graphs / Jérémie Chalopin ; Shantanu Das ; Peter Widmayer
Almost Optimal Asynchronous Rendezvous in Infinite Multidimensional Grids / Evangelos Bampas ; Jurek Czyzowicz ; Leszek Gasieniec ; David Ilcinkas ; Arnaud Labourel
Exclusive Perpetual Ring Exploration without Chirality / Lélia Blin ; Alessia Milani ; Maria Potop-Butucaru ; Sébastien Tixeuil
Drawing Maps with Advice / Dariusz Dereniowski
Wireless Networks (Session 3a) / Invited Lecture III:
Network-Aware Distributed Algorithms: Challenges and Opportunities in Wireless Networks (Invited Lecture Summary) / Nitin Vaidya
Connectivity Problem in Wireless Networks / Mariusz A. Rokicki
Computing in Wireless and Mobile Networks (Session 3b)
Trusted Computing for Fault-Prone Wireless Networks
Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony / Antonio Fernández Anta ; Miguel A. Mosteiro ; Shmuel Zaks
Brief Announcements III (Session 3c)
Failure Detectors Encapsulate Fairness / Scott M. Pike ; Srikanth Sastry ; Jennifer L. Welch
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study / Francesco Alberti ; Silvio Ghilardi ; Elena Pagani ; Silvio Ranise ; Gian Paolo Rossi
On Reversible and Irreversible Conversions / Mitre C. Dourado ; Lucia Draque Penso ; Dieter Rautenbach ; Jayme L. Szwarcfiter
A Decentralized Algorithm for Distributed Trigger Counting / Venkatesan T. Chakaravarthy ; Anamitra R. Choudhury ; Vijay K. Garg ; Yogish Sabharwal
Flash-Log - A High Throughput Log / Mahesh Balakrishnan ; Philip A. Bernstein ; Vijayan Prabhakaran ; Colin Reid
New Bounds for Partially Synchronous Set Agreement / Corentin Travers
Modeling Issues and Adversity (Session 3d)
It's on Me! The Benefit of Altruism in BAR Environments / Edmund L. Wong ; Joshua B. Leners ; Lorenzo Alvisi
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems / Ido Ben-Zvi ; Yoram Moses
On the Power of Non-spoofing Adversaries / H.B. Acharya ; Mohamed Gouda
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Self-stabilizing and Graph Algortihms (Session 3e)
Low Communication Self-stabilization through Randomization / Shay Kutten ; Dmitry Zinenko
Fast Self-stabilizing Minimum Spanning Tree Construction: Using Compact Nearest Common Ancestor Labeling Scheme / Shlomi Dolev ; Maria Gradinariu Potop-Butucaru ; Stephane Rovedakis
The Impact of Topology on Byzantine Containment in Stabilization / Swan Dubois ; Toshimitsu Masuzawa
Minimum Dominating Set Approximation in Graphs of Bounded Arboricity / Christoph Lenzen
Brief Announcements IV (Session 3f)
Sharing Memory in a Self-stabilizing Manner / Noga Alon ; Maria Gradinariu
Stabilizing Consensus with the Power of Two Choices / Benjamin Doerr ; Leslie Ann Goldberg ; Lorenz Minder ; Thomas Sauerwald
Author Index
The 2010 Edsger W. Dijkstra Prize in Distributed Computing
Consensus (Session la) / Invited Lecture I:
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov
95.

電子ブック

EB
Arne J. Berre, Dieter Fensel, Asunción Gómez-Pérez, Takeo Kanade, Kurt Tutschku
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
German-Lab Experimental Facility / Dennis Schwerdel ; Daniel Günther ; Robert Henjes ; Bernd Reuther ; Paul Müller
Design and Evaluation of a Socket Emulator for Publish/Subscribe Networks / George Xylomenos ; Blerim Cici
Publish/Subscribe on Top of DHT Using RETE Algorithm / Yan Shvartzshnaider ; Maximilian Ott ; David Levy
Experimental Testing in the Future Internet PERIMETER Project / Eileen Dillon ; Gemma Power ; Frances Cleary Grant
An Economic Case for End System Multicast / Morteza Analoui ; Mohammad Hossein Rezvani
Towards a Secure Rendezvous Network for Future Publish/Subscribe Architectures / Nikos Fotiou ; Giannis F. Marias ; George C. Polyzos
Mobile Botnet Detection Using Network Forensics / Ickin Vural ; Hein Venter
Towards Linked Open Services and Processes / Reto Krummenacher ; Barry Norton ; Adrian Marte
Energy Consumption Information Services for Smart Home Inhabitants / Michael Schwanzer ; Anna Fensel
Knowledge Management in Sensor Enabled Online Services / Dominick Smyth ; Paolo Cappellari ; Mark Roantree
Managing On-Demand Business Applications with Hierarchical Service Level Agreements / Wolfgang Theilmann ; Ulrich Winkler ; Jens Happe ; Ildefons Magrans de Abril
Controlling Access to RDF Graphs / Giorgos Flouris ; Irini Fundulaki ; Maria Michou ; Grigoris Antoniou
An Authoring Tool for User Generated Mobile Services / José Danado ; Marcin Davies ; Paulo Ricca
A Provenance-Based Compliance Framework / Rocío Aldeco-Pérez ; Luc Moreau
Network Virtualization - Opportunities and Challenges for Operators / Jorge Carapinha ; Peter Feil ; Paul Weissmann ; Saemundur E. Thorsteinsson ; Çagrn Etemoglu ; Ólafur Ingpórsson ; Selami Çiftçi ; Márcio Melo
Cloud Computing and the Impact on Enterprise IT / Maximilian Ahrens
Author Index
German-Lab Experimental Facility / Dennis Schwerdel ; Daniel Günther ; Robert Henjes ; Bernd Reuther ; Paul Müller
Design and Evaluation of a Socket Emulator for Publish/Subscribe Networks / George Xylomenos ; Blerim Cici
Publish/Subscribe on Top of DHT Using RETE Algorithm / Yan Shvartzshnaider ; Maximilian Ott ; David Levy
96.

電子ブック

EB
Shlomi Dolev, Jorge Cobb, Michael Fischer, Takeo Kanade, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks Abstracts
Arcane Information, Solving Relations, and Church Censorship / Leonid A. Levin
Computation of Equilibria and Stable Solutions / Mihalis Yannakakis
A Geometry of Networks / Yechiam Yemini
Contributed Papers
Systematic Correct Construction of Self-stabilizing Systems: A Case Study / Ananda Basu ; Borzoo Bonakdarpour ; Marius Bozga ; Joseph Sifakis
A Fault-Resistant Asynchronous Clock Function / Ezra N. Hoch ; Michael Ben-Or ; Danny Dolev
Self-stabilizing Leader Election in Dynamic Networks / Ajoy K. Datta ; Lawrence L. Larmore ; Hema Piniganti
Loop-Free Super-Stabilizing Spanning Tree Construction / Lélia Blin ; Maria Gradinariu Potop-Butucaru ; Stephane Rovedakis ; Sébastien Tixeuil
A New Technique for Proving Self-stabilizing under the Distributed Scheduler / Sven Köhler ; Volker Turau
Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms / Abhishek Dhama ; Oliver Theel
On Byzantine Containment Properties of the min+1 Protocol / Swan Dubois ; Toshimitsu Masuzawa
Efficient Self-stabilizing Graph Searching in Tree Networks / Jean Blair ; Fredrik Manne ; Rodica Mihai
Adaptive Containment of Time-Bounded Byzantine Faults / Yukiko Yamauchi ; Doina Bein
Brief Announcement: Fast Convergence in Route-Preservation / Jorge A. Cobb
Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure / S. Dov Gordon ; Jonathan Katz ; Ranjit Kumaresan ; Arkady Yerukhimovich
On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks / Tuan Manh Vu ; Reihaneh Safavi-Naini ; Carey Williamson
"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses / Mahesh Arumugam ; Murat Demirbas ; Sandeep S. Kulkarni
Modeling and Analyzing Periodic Distributed Computations / Anurag Agarwal ; Vijay K. Garg ; Vinit Ogale
Complexity Issues in Automated Model Revision without Explicit Legitimate State / Fuad Abujarad
Algorithmic Verification of Population Protocols / Ioannis Chatzigiannakis ; Othon Michail ; Paul G. Spirakis
Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks / Bo Zhang ; Robert Simon ; Hakan Aydin
Stably Decidable Graph Languages by Mediated Population Protocols
Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping / Evangelos Kranakis ; Michel Paquette
Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage / Matthew P. Johnson ; Amotz Bar-Noy ; Mani Srivastava
Brief Announcement: On the Hardness of Topology Inference / H.B. Acharya ; Mohamed Gouda
Self-stabilizing Algorithm of Two-Hop Conflict Resolution / Stéphane Pomportes ; Joanna Tomasik ; Anthony Busson ; Véronique Vèque
Low Memory Distributed Protocols for 2-Coloring / Amos Israeli ; Mathew D. McCubbins ; Ramamohan Paturi ; Andrea Vattani
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility / Taisuke Izumi
Computing in Social Networks / Andrei Giurgiu ; Rachid Guerraoui ; Kévin Huguenin ; Anne-Marie Kermarrec
On Transactional Scheduling in Distributed Transactional Memory Systems / Junwhan Kim ; Binoy Ravindran
Recursion in Distributed Computing / Eli Gafni ; Sergio Rajsbaum
On Adaptive Renaming under Eventually Limited Contention / Damien Imbs ; Michel Raynal
RobuSTM: A Robust Software Transactional Memory / Jons-Tobias Wamhoff ; Torvald Riegel ; Christof Fetzer ; Pascal Felber
A Provably Starvation-Free Distributed Directory Protocol / Hagit Attiya ; Vincent Gramoli ; Alessia Milani
Lightweight Live Migration for High Availability Cluster Service / Bo Jiang ; Changsoo Kim
Approximation of ?-Timeliness / Carole Delporte-Gallet ; Stéphane Devismes ; Hugues Fauconnier
A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era / Ji Lu ; Yaoxue Zhang ; Yuezhi Zhou
Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks / Pierre Leone ; Marina Papatriantafilou ; Elad M. Schiller ; Gongxi Zhu
A Comparative Study of Rateless Codes for P2P Persistent Storage / Heverson B. Ribeiro ; Emmanuelle Anceaume
Dynamically Reconfigurable Filtering Architectures / Mathieu Valero ; Luciana Arantes ; Pierre Sens
A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems / Yaser Houri ; Bernhard Amann ; Thomas Fuhrmann
A Framework for Secure and Private P2P Publish/Subscribe / Samuel Bernard
Snap-Stabilizing Linear Message Forwarding / Alain Cournier ; Anissa Lamani ; Franck Petit ; Vincent Villain
Vulnerability Analysis of High Dimensional Complex Systems / Vedant Misra ; Dion Harmon ; Yaneer Bar-Yam
Storage Capacity of Labeled Graphs / Dana Angluin ; James Aspnes ; Rida A. Bazzi ; Jiang Chen ; David Eisenstat ; Goran Konjevod
Safe Flocking in Spite of Actuator Faults / Taylor Johnson ; Sayan Mitra
Author Index
Invited Talks Abstracts
Arcane Information, Solving Relations, and Church Censorship / Leonid A. Levin
Computation of Equilibria and Stable Solutions / Mihalis Yannakakis
97.

電子ブック

EB
Yuhua Luo, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cooperative Applications / Part I:
Using Tag Clouds to Promote Community Awareness in Research Environments / Alexandre de Spindler ; Stefania Leone ; Matthias Geel ; Moira C. Norrie
A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context / Fernando Gallego ; Ana I. Molina ; Crescencio Bravo ; William J. Giraldo
Fixing Collaborative Edition on Typed Documents / Stéphane Martin ; Denis Lugiez
Towards the Construction of a Knowledge Building Environment / Ruth Cobos ; Raúl Cajias ; Linda Barros ; Marcos R.S. Borges
Applying Situation Awareness Approach to Cooperative Play in Interactive Installation Storytelling System / Wen-Hwa Cheng ; Chich-Jen Shieh ; Yung-Hoh Sheu ; Hsiao-Chuan Chang
Argumentation Tools in a Collaborative Development Environment / Furio Belgiorno ; Ilaria Manno ; Giuseppina Palmieri ; Vittorio Scarano
Cooperative Learning by Replay Files in Real-Time Strategy Game / Jaekwang Kim ; Kwang Ho Yoon ; Taebok Yoon ; Jee-Hyong Lee
Cooperative eLearning to Enhance Knowledge Creation / Manuela Brandstätter ; Marie-Luise Leitner ; Christine Strauss
Memory and Creativity in Cooperative vs. Non-cooperative Spatial Planning and Architecture / Dino Borri ; Domenico Camarda ; Rossella Stufano
An Embedded Road Crack Detection System in a Cooperative Platform / Zhenyu Ning ; Yu Sun ; Guofeng Qin ; Qiyan Li
Saving Energy with Cooperative Group-Based Wireless Sensor Networks / Miguel Garcia ; Sandra Sendra ; Jaime Lloret ; Raquel Lacuesta
Enhancing Collaboration in Vehicular Networks / J. Molina-Gil ; P. Caballero-Gil ; C. Caballero-Gil
Initial Risk Assessment of Emergency Events in Cooperative Operating Control / Mieczyslaw Metzger ; Grzegorz Polaków
The Sensitivity Analysis for Cooperative Decision by TOPSIS Method / Leonas Ustinovichius ; Ruta Simanaviciene
A Freshness Based Persistent Assurance Scheme for Secure Scalable Media Distribution / Yong-Hyuk Moon ; Jae-Hoon Nah ; Chan-Hyun Youn
Cooperative Decision Making for Evaluating Ports' Reception Facilities / Sylvia Encheva ; Sharil Tumin
Group Formation through Cooperating Node in VANETs
Scrum in Research / Martin Ota
Towards a Framework for the Development of CSCW Systems / Sergio López Antonaya ; Crescendo Bravo Santos
Cooperative Design / Part II:
An Anthropo-Based Study of Industrial Design Cooperative Practices Using "Mediating Objects" / Catherine Elsen ; Arnaud Dawans ; Pierre Leclercq
Design for Service-Oriented Collaborative Design and Manufacturing Platform / Feng Wang ; Shuangxi Huang ; Hui Liang ; Yingfeng Zhang ; Huiping Lin
Cluster Analysis for Classifying Similar Shared Resources in Cooperative Design / Huifen Wang ; Li Qiao ; Tingting Liu
Parametric CAD Data Exchange Using Geometry-Based Neutral Macro File / Ilhwna Song ; Soonhung Han
Study of Collaborative Design Based on Fuzzy Theory / Tieming Su ; Xinpeng Qiu ; Chunyan Yang
Technological Change: Educating for Extreme Collaboration / Vasilije Kokotovich ; Tom Barker
Team Organization and Web-Based Project Management for Collaborative Highway Design / Zhiqiang Zhang ; Xiaodong Zhang ; Yingzi Li ; Cancan Zhao
Taking the Customer into Account in Collaborative Design / Maria-Jesus Agost ; Margarita Vergara
Cooperative Visualization / Part III:
Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting / Jan Schneider ; Jan Derboven ; Kris Luyten ; Chris Vleugels ; Stijn Bannier ; Dries De Roeck ; Mathijs Verstraete
Explore, Collaborate and Publish Official Statistics for Measuring Regional Progress / Mikael Jern
Pattern Browsing and Query Adjustment for the Exploratory Analysis and Cooperative Visualisation of Microarray Time-Course Data / Paul Craig ; Alan Cannon ; Jessie Kennedy ; Robert Kukla
CAD and VR Technologies Used in Civil Engineering Education / A.Z. Sampaio ; M.M. Ferreira ; D.P. Rosário ; O.P. Martins
Complicated Simulation Visualization Based on Grid and Cloud Computing / Eva Pajorová ; Ladislav Hluchý
Visualization of Neutral Model of Ship Pipe System Using X3D / Ikjune Kim ; Guimok Cho ; Jinsang Hwang ; Jinggao Li
Cooperative Engineering / Part IV:
Coordinating a Cooperative Automotive Manufacturing Network - An Agent-Based Model / Jose P. Garcia-Sabater ; Juan A. Marin-Garcia ; Xavier Puig-Bernabeu
A Constraint Solving Method for Collaborative Product Development / Zhaoying Zhang
A Solution of Manufacturing Resources Sharing in Cloud Computing Environment / Lei Wu ; Chengwei Yang
Cluster Analysis on Candidates of Cooperative Product Development Team / Yitai Xu ; Xuedong Gao ; Ying Wang ; Lin Wei
Collaboration Support in a Web-Based SCADA System
Collaborative Control of Hierarchical System Based on JADE / Dariusz Choinski ; Michal Senik
Requirement Specification for Agent-Based Cooperative Control of Dynamical Systems / Witold Nocon
Web Engineering Process Matrix for Sustainable Deployment of Web-Based Applications
Collaborative and Visualized Safety Planning for Construction Performed at High Elevation / Nobuyoshi Yabuki ; Petcharat Limsupreeyarat ; Tanit Tongthong
Product Precision Information Modeling under Cooperative Virtual Assembly Environment / Fengqiang Nan ; Juntang Yuan
Task Scheduling of Collaborative Product Design Project / Le Luo ; Shuo Zhang
Author Index
Cooperative Applications / Part I:
Using Tag Clouds to Promote Community Awareness in Research Environments / Alexandre de Spindler ; Stefania Leone ; Matthias Geel ; Moira C. Norrie
A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context / Fernando Gallego ; Ana I. Molina ; Crescencio Bravo ; William J. Giraldo
98.

電子ブック

EB
Rongbo Zhu, Takeo Kanade, Baoxiang Liu, Chunfeng Liu, Yanchun Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Parallel and Distributed Computing
A Non-strategic Microeconomic Model for Single-Service Multi-rate Application Layer Multicast / Morteza Analoui ; Mohammad Hossein Rezvani
Importance Measure Method for Dynamic Fault Tree Based on Isomorphic Node / Hong-Lin Zhang ; Chun-Yuan Zhang ; Dong Liu ; Gui-Wu Xie
Shortages of the Traditional Calculation of Interference Intensity of the Control Rules / Zhigang Li ; Zhihai Wang ; Weijia Guo
Dynamic Data Replication Strategy Based on Federation Data Grid Systems / M. Zarina ; M. Mat Deris ; A.N.M.M. Rose ; A.M. Isa
A Novel Approach for QoS Guided Metascheduler for P2P Grid System / D. Doreen Hephzibah Miriam ; K.S. Easwarakumar
Failure Recovery Mechanism in Neighbor Replica Distribution Architecture / Ahmad Shutkri Mohd Noor ; Mustafa Mat Deris
Autonomous Discovery of Subgoals Using Acyclic State Trajectories / Zhao Jin ; Jian Jin ; WeiYi Liu
Numerical Computing and Forecasting to Land Subsidence in Coastal Regions of Tangshan / Jing Tan ; Zhigang Tao ; Changcun Li
Stochastic Newsboy Inventory Control Model and Its Solving on Multivariate Products Order and Pricing / Jixian Xiao ; Fangling Lu ; Xin Xiao
Grey Correlation Analysis on the Influential Factors the Hospital Medical Expenditure / Su-feng Yin ; Xiao-jing Wang ; Jian-hui Wu ; Guo-li Wang
Discrete Construction of Order-k Voronoi Diagram / Ye Zhao ; Shu-juan Liu ; Yi-li Tan
Trusted and Pervasive Computing
Double Verifiably Encrypted Signature-Based Contract Signing Protocol / Chaoping Wang ; Aimin Yang ; Yan Sun
Semantic Memory for Pervasive Architecture / Sébastian Dourlens ; Amar Ramdane-Cherif
Fair E-Payment Protocol Based on Certificateless Signature and Authenticated Key Exchange / Ming Chen ; Kaigui Wu ; Jie Xu
Short Signature from the Bilinear Pairing / Leyou Zhang ; Yupu Hu ; Qing Wu
The Construction of an Individual Credit Risk Assessment Method: Based on the Combination Algorithms / Jiajun Li ; Liping Qin ; Jia Zhao
Method for Evaluating QoS Trustworthiness in the Service Composition / Lei Yang ; Yu Dai ; Bin Zhang
Three-Party Password-Based Authenticated Key Exchange Protocol Based on Bilinear Pairings / Fushan Wei ; Chuangui Ma ; Qingfeng Cheng
Bayesian Network Based on FTA for Safety Evaluation on Coalmine Haulage System / Wensheng Liu ; Liwen Guo ; Ming Zhu
Internet and Web Computing
Multi-factor Evaluation Approach for Quality of Web Service / Qibo Sun ; Shangguang Wang ; Fangchun Yang
Execution-Aware Fault Localization Based on the Control Flow Analysis / Lei Zhao ; Lina Wang ; Zuoting Xiong ; Dongming Gao
The Influence of Cacheable Models on E-Voting Technology / Clien-shin Chien ; Jason Chien
An Efficient HybridFlood Searching Algorithm for Unstructured Peer-to-Peer Networks / Hassan Barjini ; Mohamed Othman ; Hamidah Ibrahim
Ontology Model for Semantic Web Service Matching / Jiaxuan Ji ; Fenglin Bu ; Hongming Cai ; Junye Wang
Approaches to Improve the Resources Management in the Simulator Cloudsim / Ghalem Belalem ; Fatima Zohra Tayeb ; Wieme Zaoui
Introducing a New Predicate Network Model Constructed Based on Null Hypothesis Testing for Software Fault Localization / Saeed Parsa ; Azam Peyvandi-Pour ; Mojtaba Vahidi-Asl
Multimedia Networking and Computing
Image Segmentation Based on FCM with Mahalanobis Distance / Yong Zhang ; Zhuoran Li ; Jingying Cai ; Jianying Wang
A Novel AHP and GRA Based Handover Decision Mechanism in Heterogeneous Wireless Networks / Jianqing Fu ; Jiyi Wu ; Jianlin Zhang ; Lingdi Ping ; Zhuo Li
Annotating Flickr Photos by Manifold-Ranking Based Tag Ranking and Tag Expanding / Zheng Liu ; Hua Yan
Application of Chaos in Network Video Security / Zhenxin Zhang ; Jigang Tong ; Zengqiang Chen ; W.H. Ip ; C. Y. Chan ; K.L. Yung
Integration of Complementary Phone Recognizers for Phonotactic Language Recognition / Yan Deng ; Weiqiang Zhang ; Yanmin Qian ; Jia Liu
Performance Analysis of IEEE 802.11a Based on Modified Markov Model in Non-saturation Conditions / Feng Gao ; Zehua Gao ; Liu Wen ; Yazhou Wang ; Jie Liu ; Dahsiung Hsu
Soft Set Theory for Feature Selection of Traditional Malay Musical Instrument Sounds / Norhalina Senan ; Roszinti Ibrahim ; Nazri Mohd Nawi ; Iwan Tri Riyadi Yanto ; Tutut Herawan
ETSA: An Efficient Task Scheduling Algorithm in Wireless Sensor Networks / Liang Dai ; Yilin Chang ; Zhang Shen
Comparing Fuzzy Algorithms on Overlapping Communities in Networks / Jian Liu
Color Image Segmentation Using Swarm Based Optimisation Methods / Salima Nebti
Adaptive Seeded Region Growing for Image Segmentation Based on Edge Detection, Texture Extraction and Cloud Model / Gang Li ; Youchuan Wan
Evolutionary Computing and Applications
A New Optimization Algorithm for Program Modularization / Amir Mehrabi-Jorshary ; Mohammad Hamzei
Self-organizing Learning Algorithm for Multidimensional Non-linear Optimization Applications / C.H. Zhou ; A.S. Xie ; B.H. Zhao
Research on Set Pair Cognitive Map Model / Chunying Zhang ; Jingfeng Guo
The Development of Improved Back-Propagation Neural Networks Algorithm for Predicting Patients with Heart Disease / Rozaida Ghazali ; Mohd Najib Mohd Salleh
Two-Stage Damage Detection Method Using the Artificial Neural Networks and Genetic Algorithms / Dan-Guang Pan ; Su-Su Lei ; Shun-Chuan Wu
Designing an Artificial Immune System-Based Machine Learning Classifier for Medical Diagnosis / Hui-Ping Cheng ; Zheng-Sheng Lin ; Hsiao-Fen Hsiao ; Ming-Lang Tseng
Human-Oriented Image Retrieval of Optimized Multi-feature via Genetic Algorithm / Mingsheng Liu ; Jianhua Li ; Hui Liu
Genetic Algorithm Based on Activities Resource Competition Relation for the RCPSP / Shiman Xie ; Beifang Bao ; Jianwei Chen
A New Flatness Pattern Recognition Model Based on Variable Metric Chaos Optimization Neural Network / Ruicheng Zhang ; Xin Zheng
Comparison between BP Neural Network and Multiple Linear Regression Method / Guoli Wang ; Jianhui Wu ; Sufeng Yin ; Liqun Yu ; Jing Wang
Research of Granularity Pair and Similar Hierarchical Algorithm / Chunjeng Liu ; Li Feng
The Research and Application of Parallel Generalized Minimal Residual Algorithm Based on Grid MPI Parallel Running Framework / Yun Tang ; Junsong Luo ; Yajuan Hao
Scientific and Engineering Computing
A New Family of Methods for Nonlinear Equations / Yuxin Zhang ; Hengfei Ding ; Wansheng He ; Xiaoya Yang
A Filter Method to Solve Nonlinear Bilevel Programming Problems / Jean Bosco Etoa Etoa
Convergence of the Semi-implicit Euler Method for Stochastic Age-Dependent Population Equations with Markovian Switching / Wei-jun Ma ; Qi-min Zhang
Interior Point Algorithm for Constrained Sequential Max-Min Problems / Xiaona Fan ; Qinglun Yan
Representations for the Generalized Drazin Inverse of Bounded Linear Operators / Li Guo ; Xiankun Du
Uniformity of Improved Versions of Chord / Jacek Cichon ; Rafat Kapelko ; Karol Marchwicki
Aggregate Homotopy Method for Solving the Nonlinear Complementarity Problem
A Biomathematic Models for Tuberculosis Using Lyapunov Stability Functions / Shih-Ching Ou ; Hung-Yuan Chung ; Chun-Yen Chung
Construction of Transition Curve between Nonadjacent Cubic T-B Spline Curves / Jincai Chang ; Zhao Wang
Finite Element Simulation of Reinforce-concrete Frame Beam to Resist Progressive Collapse / Jiarui Qi ; Youpo Su ; Yahui Sun ; Yousong Ding ; Lihui Ma
Recognition of Linkage Curve Based on Mathematical Morphology / Liyan Feng ; Teng Liu ; Xuegang Li ; Mingyu Tian
Interval Implicitization of Parametric Surfaces / Ning Li ; Jing Jiang ; Wenfeng Wang
Calculation Method of Indirect Accident Loss Based on Life Value / Shuzhao Chen ; Qingxiang Cai ; Yanchao Yang ; Cangyan Xiao
Hazard Source Identification of Mined-Out Area Based on Grey System Theory / Haibo Zhang ; Weidong Song
Intelligent Computing and Applications
Consistency Analysis of Dynamic Evolution of Software Architectures Using Constraint, Hypergraph Grammars / Hongzhen Xu ; Bin Tang ; Ying Gui
Scalable Model for Mining Critical Least Association Rules / Zailani Abdullah
Research on the Spatial Structure and Landscape Patterns for the Land Use in Beijing Suburb Based on RS & GIS / Yuyuan Wen
Adaptive Filter and Morphological Operators Using Binary PSO / Muhammad Sharif ; Mohsin Bilal ; Salabat Khan ; M. Arfan Jaffar
Driving Factors' Identification Based on Derivative Process of Subjective Default Credit Risk
Mechanical Behavior Analysis of CDIO Production-Blood Vessel Robot in Curved Blood Vessel / Fan Jiang ; Chunliang Zhang ; Yijun Wang
The Choice of Neuropathological Questionnaires to Diagnose the Alzheimer's Disease Based on Verbal Decision Analysis Methods / Isabelle Tamanini ; Plácido Rogério Pinheiro ; Mirian Calíope D. Pinheiro
Applying Verbal Decision Analysis on the Choice of Materials to the Construction Process of Earth Dams / Francisco Chagas da Silva Filho ; Moisés Ângelo de Moura Reis Filho
Research on Numerical Analysis of Landslide Cataclysm Mechanism and Reinforcement Treatment Scheme in ShengLi Open-Pit Coal Mine / Yanbo Zhang ; Zhiqiang Kang ; Chunhua Hou
Adaptive Method for Center Choosing of Radial Basics Function Interpolation: A Review / Dianxuan Gong ; Chuanan Wei ; Ling Wang ; Lichao Feng ; Lidong Wang
Novel Approach for the Design of Half-Band Filter / Xiaohong Huang ; Zhaohua Wang
Key Technique of GMTM for Numerical Analysis Modeling in Geotechnical Engineering: Calculation Region Cutting / Yongliang Lin ; Xinxing Li
Pagerank-Based Collaborative Filtering Recommendation / Feng Jiang ; Zhijun Wang
Author Index
Parallel and Distributed Computing
A Non-strategic Microeconomic Model for Single-Service Multi-rate Application Layer Multicast / Morteza Analoui ; Mohammad Hossein Rezvani
Importance Measure Method for Dynamic Fault Tree Based on Isomorphic Node / Hong-Lin Zhang ; Chun-Yuan Zhang ; Dong Liu ; Gui-Wu Xie
99.

電子ブック

EB
Feng Bao, Jiwu Jing, Takeo Kanade, Dongdai Lin, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cryptanalysis
Integral Cryptanalysis of ARIA / Ping Li ; Bing Sun ; Chao Li
Cryptanalysis of the ESSENCE Family of Hash Functions / Nicky Mouha ; Gautham Sekar ; Jean-Philippe Aumasson ; Thomas Peyrin ; Søren S. Thomsen ; Meltem Sönmez Turan ; Bart Preneel
Differential-Multiple Linear Cryptanalysis / Zhiqiang Liu ; Dawu Gu ; Jing Zhang ; Wei Li
Differential Attack on Five Rounds of the SC2000 Block Cipher / Jiqiang Lu
Signature and Signcryption
Pairing-Based Nominative Signatures with Selective and Universal Convertibility / Wei Zhao ; Dingfeng Ye
Cryptanalysis of Certificateless Signcryption Schemes and an Efficient Construction without Pairing / S. Sharmila Deva Selvi ; S. Sree Vivek ; C. Pandu Rangan
Sanitizable Signatures with Strong Transparency in the Standard Model / Shivank Agrawal ; Swarun Kumar ; Amjed Shareef
Breaking and Building of Threshold Signcryption Schemes / Shilpi Nayak
Key Exchange
Provably Secure Password-Authenticated Group Key Exchange with Different Passwords under Standard Assumption / Fengjiao Wang ; Yuqing Zhang
An Enhanced Password Authenticated Key Agreement Protocol for Wireless Mobile Network / Zhigang Gao ; Dengguo Feng
Efficient Password-Based Authenticated Key Exchange Protocol in the UC Framework / Xuexian Hu ; Wenfen Liu
Private Computations
Efficient Generalized Selective Private Function Evaluation with Applications in Biometric Authentication / Helger Lipmaa ; Bingsheng Zhang
Optionally Identifiable Private Handshakes / Yanjiang Yang ; Jian Weng ; Jianying Zhou ; Ying Qiu
Communication Efficient Statistical Asynchronous Multiparty Computation with Optimal Resilience / Arpita Patra ; Ashish Choudhury
Cipher Design and Analysis
Gemstone: A New Stream Cipher Using Coupled Map Lattice / Ruming Yin ; Jian Yuan ; Qiuhua Yang ; Xiuming Shan ; Xiqin Wang
Proposition of Two Cipher Structures / Lei Zhang ; Wenling Wu ; Liting Zhang
Hardware Framework for the Rabbit Stream Cipher / Deian Stefan
Linearity within the SMS4 Block Cipher / Muhammad Reza Z'aba ; Leonie Simpson ; Ed Dawson ; Kenneth Wong
Algebraic Cryptanalysis of Curry and Flurry Using Correlated Messages / Jean-Charles Faugère ; Ludovic Perret
Public Key Cryptography
Weak Keys in RSA with Primes Sharing Least Significant Bits / Xianmeng Meng ; Jingguo Bi
Hybrid Proxy Re-encryption Scheme for Attribute-Based Encryption / Takeo Mizuno ; Hiroshi Doi
Constructing Better KEMs with Partial Message Recovery / Rui Zhang ; Hideki Imai
Network and System Security
A Novel Contagion-Like Patch Dissemination Mechanism against Peer-to-Peer File-Sharing Worms / Xiaofeng Nie ; Jiwu Jing ; Yuewu Wang
Remodeling Vulnerability Information / Feng Cheng ; Sebastian Roschke ; Robert Schuppenies ; Christoph Meinel
Using Strategy Objectives for Network Security Analysis / Elie Bursztein ; John C. Mitchell
Hardware Security
A DAA Scheme Requiring Less TPM Resources / Liqun Chen
Full-Custom VLSI Design of a Unified Multiplier for Elliptic Curve Cryptography on RFID Tags / Johann Gro?schädl
Weaknesses in Two Recent Lightweight RFID Authentication Protocols / Pedro Peris-Lopez ; Julio C. Hernandez-Castro ; Juan M.E. Tapiador ; Tieyan Li ; Jan C.A. van der Lubbe
Algebraic Side-Channel Attacks / Mathieu Renauld ; François-Xavier Standaert
Web Security
CAPTCHA Phishing: A Practical Attack on Human Interaction Proofing / Le Kang ; Ji Xiang
An Attack and Repair of Secure Web Transaction Protocol for Anonymous Mobile Agents / Saba Jalal ; Brian King
A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints / Sean Policarpio ; Yan Zhang
Author Index
Cryptanalysis
Integral Cryptanalysis of ARIA / Ping Li ; Bing Sun ; Chao Li
Cryptanalysis of the ESSENCE Family of Hash Functions / Nicky Mouha ; Gautham Sekar ; Jean-Philippe Aumasson ; Thomas Peyrin ; Søren S. Thomsen ; Meltem Sönmez Turan ; Bart Preneel
100.

電子ブック

EB
Zhiwen Yu, Guanling Chen, Takeo Kanade, Ramiro Liscano, Daqing Zhang, Xingshe Zhou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speeches
Programming Pervasive Spaces / Sumi Helal
Ubiquitous Experience Media / Kenji Mase
The Operating System for the Computer of the 21st Century / Christian Becker
Invited Paper
Extracting Social and Community Intelligence from Digital Footprints: An Emerging Research Area / Daqing Zhang ; Bin Guo ; Bin Li ; Zhiwen Yu
Activity, Localization, and User Identification
Smart Itinerary Recommendation Based on User-Generated GPS Trajectories / Hyoseok Yoon ; Yu Zheng ; Xing Xie ; Woontack Woo
Inferring User Search Intention Based on Situation Analysis of the Physical World / Zhu Wang ; Xingshe Zhou ; Yanbin He
GPS Calibrated Ad-Hoc Localization for Geosocial Networking / Dexter H. Hu ; Cho-Li Wang ; Yinfeng Wang
Ontology-Enabled Activity Learning and Model Evolution in Smart Homes / George Okeyo ; Liming Chen ; Hui Wang ; Roy Sterritt
Support Vector Machines for Inhabitant Identification in Smart Houses / Rachid Kadouche ; Hélène Pigot ; Bessam Abdulrazak ; Sylvain Giroux
Towards Non-intrusive Sleep Pattern Recognition in Elder Assistive Environment / Hongbo Ni ; Shu Wu ; Shengrui Wang
Ubiquitous Services and Applications
The Making of a Dataset for Smart Spaces / Eunju Kim ; Jaewoong Lee ; Shantonu Hossain
Introduction to the Business Processes with Ambient Media - Challenges for Ubiquitous and Pervasive Systems / Artur Lugmayr
A Steerable Tangible Interface and Its Evaluation / WooHyeon Kim ; Jun Lee ; HyungSeok Kim ; MinGyu Lim ; Jee-In Kim
Alerting Accidents with Ambiguity: A Tangible Tabletop Application for Safe and Independent Chemistry Experiments / Akifumi Sokan ; Nobuhiro Inagawa ; Kosuke Nishijo ; Norihide Shinagawa ; Hironori Egi ; Kaori Fujinami
Dependency Relation Based Detection of Lexicalized User Goals / Ruixue Duan ; Xiaojie Wang ; Rile Hu ; Jilei Tian
Identification of Gait Patterns Related to Health Problems of Elderly / Bogdan Pogorelc ; Matjaz Gams
Sensor Networks
An Energy Efficient Localization Strategy for Outdoor Objects Based on Intelligent Light-Intensity Sampling / Frode Eika Sandnes
RESS: A Data Dissemination Protocol Using Residual Energy and Signal Strength for Wireless Sensor Networks / Sooyeon Park ; Moonseong Kim ; Euihoon Jeong ; Young-Cheol Bang
Design and Implementation of Mobile Sink Node in SDMA Applications / Xiwei Zhang ; Jia Yu ; Guihai Chen
RCO: A Multi-channel MAC Protocol with Random Cooperation for Sensor Networks / Jinbao Li ; Desheng Zhang
Power and Bandwidth Efficiency of IEEE 802.15.4 Wireless Sensor Networks / Xiaodong Zhao ; Wan Zhang ; Wensheng Niu ; Yadi Zhang ; Liqiang Zhao
Protecting Source Location Privacy in Wireless Sensor Networks with Data Aggregation / Wenbo Yang ; Wen Tao Zhu
Infrastructure, Middleware and Context-Awareness
A Middleware for Intelligent Environments and the Internet of Things / Luis Roalter ; Matthias Kranz ; Andreas Möller
An Infrastructure for Real Objects Augmentation with Additional Personalized Information Services / Rui Neves Madeira ; Nuno Correia
A Low-Cost Ubiquitous Family Healthcare Framework / Yongqiang Lu ; Lei Zhang ; Yu Chen ; Yingjie Ren ; Jing Liu ; Weikang Yang ; Yuanchun Shi
A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context / Tingting Hua ; Yu Huang ; Jiannong Cao ; Xianping Tao
Modeling Files with Context Streams / Qunjie Qiu ; Gang Pan ; Shijian Li
CASPER: Mining Personalized Services / Jeongkyu Park ; Keung Hae Lee
Distributed Systems and Services
A Simple Public-Goods Game Based Incentive Mechanism for Resource Provision in P2P Networks / Yufeng Wang ; Akihiro Nakao ; Jianhua Ma
A Novel Framework for Service Description and Operations / Yu Bai ; Yaoxue Zhang ; Yuezhi Zhou ; Laurance T. Yang ; Linkai Weng ; Hao Liu
A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications / Chun-Hsian Huang ; Jih-Sheng Shen ; Pao-Ann Hsiung
Toward Distributed Declarative Control of Networked Cyber-Physical Systems / Mark-Oliver Stehr ; Minyoung Kim ; Carolyn Talcott
AdContRep: A Privacy Enhanced Reputation System for MANET Content Services / Zheng Yan
Context-Awareness Handoff Planning in Heterogeneous Wireless Networks / Hsiao-Yun Huang ; Chiung-Ying Wang ; Ren-Hung Hwang
Wireless and Mobile Ad hoc Networks
On the Improving Strategies upon the Route Cache of DSR in MANETs / Jiaxu Chen ; Yazhe Tang ; Dian Fu ; Heng Chang
LALO: A Link-Aware Lightweight Routing Protocol for Data Delivery in Vehicular Ad Hoc Networks / Hu Shen ; Xiaodong Wang ; Yanqiang Sun ; Yanrong Ding ; Xingming Zhou
POCOSIM: A Power Control and Scheduling Scheme in Multi-Rate Wireless Mesh Networks / Weihuang Li ; Pin Lv ; Yingwen Chen ; Ming Xu
Modeling Contacts and Mobility for Wireless Mobile Networks / Ye Tian ; Jiang Li
A Method to Improve Adaptability of the Minstrel MAC Rate Control Algorithm / Wei Yin ; Peizhao Hu ; Jadwiga Indulska ; Konstanty Bialkowski
A New Location-Aware Hierarchical Routing Protocol for MANETs / Farrukh Aslam Khan ; Khi-Jung Ahn ; Wang-Cheol Song
Special Session: Ubiquitous Intelligence and Services
Towards an Efficient and Accurate EEG Data Analysis in EEG-Based Individual Identification / Qinglin Zhao ; Hong Peng ; Bin Hu ; LanLan Li ; YanBing Qi ; Quan Ying Liu ; Li Liu
Activity Recognition on an Accelerometer Embedded Mobile Phone with Varying Positions and Orientations / Lin Sun
A Hybrid Content Delivery Approach for a Mixed Reality Web Service Platform / Yu You ; Petros Belimpasakis ; Petri Selonen
Analyzing the Behavioral Structure Characteristics from Web Traffic / Ke Yu ; Xiaofei Wu ; Yang Cao ; Zhijia Nian
A Smartphone-Based Obstacle Sensor for the Visually Impaired / En Peng ; Patrick Peursum ; Ling Li ; Svetha Venkatesh
SSP: Smart Service Provider-A Smart Environment Providing Contextual Services on Android Mobile Devices / Pascal Bruegger ; Benjamin Hadorn ; Béat Hirsbrunner
Special Track: Pervasive Social Computing
Using Cohesive Subgroups for Analyzing the Evolution of the Friend View Mobile Social Network / Alvin Chin ; Hao Wang
Towards Topic-Based Trust in Social Networks / Tomáš Knap ; Irena Mlynková
Mlogger: An Automatic Blogging System by Mobile Sensing User Behaviors / Jun-Zhao Sun ; Jiehan Zhou ; Timo Pihlajaniemi
Managing Workplace Resources in Office Environments through Ephemeral Social Networks / Lijun Zhu ; Ke Zhang ; Wenchang Xu ; Li Zhang
Contextual Biometric-Based Authentication for Ubiquitous Services / Ileana Buhan ; Gabriele Lenzini ; Saša Radomirovic
Author Index
Keynote Speeches
Programming Pervasive Spaces / Sumi Helal
Ubiquitous Experience Media / Kenji Mase
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼