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
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
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
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
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
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
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
Computations and Interaction / Jos C. M. Baeten ; Bas Luttik ; Paul van Tilburg
Scribbling Interactions with a Formal Foundation / Kohei Honda ; Aybek Mukhamedov ; Gary Brown ; Tzu-Chun Chen ; Nobuko Yoshida
Open Government in Policy Development: From Collaborative Scenario Texts to Formal Policy Models / Maria A. Wimmer
Linear Process Algebra / Vaughan Pratt
Distributed Computing
Jump-Start Cloud: Efficient Deployment Framework for Large-Scale Cloud Applications / Xiaoxin Wu ; Zhiming Shen ; Ryan Wu ; Yunfeng Lin
Capacity Estimation in HPC Systems: Simulation Approach / A. Anghelescu ; R.B. Lenin ; S. Ramaswamy ; K. Yoshigoe
A Multi-Granular Lock Model for Distributed Object Oriented Databases Using Semantics / V. Geetha ; N. Sreenath
Contention-Free Many-to-Many Communication Scheduling for High Performance Clusters / Satyajit Banerjee ; Atish Datta Chowdhury ; Koushik Sinha ; Subhas Kumar Ghosh
Recursive Competitive Equilibrium Approach for Dynamic Load Balancing a Distributed System / K. Shahu Chatrapati ; J. Ujwala Rekha ; A. Vinaya Babu
Sensor Networks
Smoothed Functional and Quasi-Newton Algorithms for Routing in Multi-stage Queueing Network with Constraints / K. Lakshmanan ; Shalabh Bhatnagar
An Incremental Power Greedy Heuristic for Strong Minimum Energy Topology in Wireless Sensor Networks / B.S. Panda ; D. Pushparaj Shetty
kth Order Geometric Spanners for Wireless Ad Hoc Networks / Prabhat Kiran ; S.V. Rao
Robust and Distributed Range-Free Localization Using Anchor Nodes with Varying Communication Range for Three Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M.M. Gore
Internet Technologies and Applications
Decision Support Web Service / N. Parimala ; Anu Saini
A Scalable Architecture for Real-Time Online Data Access / Ionut Rosoiu
Socially Responsive Resource Usage: A Protocol / Hrushikesha Mohanty
An Automated HSV Based Text Tracking System from Complex Color Video / C. Misra ; P.K. Swain
Security
Enhanced Insider Threat Detection Model that Increases Data Availability / Qussai Yaseen ; Brajendra Panda
Checking Anonymity Levels for Anonymized Data / V. Valli Kumari ; N. Sandeep Varma ; A. Sri Krishna ; K.V. Ramana ; K.V.S. V.N. Raju
Chaos Based Image Encryption Scheme Based on Enhanced Logistic Map / I. Shatheesh Sam ; P. Devaraj ; R.S. Bhuvaneswaran
Bio-inspired Computing
Matrix Insertion-Deletion Systems for Bio-Molecular Structures / Lakshmanan Kuppusamy ; Anand Mahendran
Artificial Bee Colony Based Sensor Deployment Algorithm for Target Coverage Problem in 3-D Terrain / S. Mini ; Siba K. Udgata ; Samrat L. Sabat
Author Index
Invited Talks
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
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
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1., Josef Kittler
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
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
A Process Calculus for Dynamic Networks / Dimitrios Kouzapas ; Anna Philippou
On Asynchronous Session Semantics / Nobuko Yoshida ; Kohei Honda
Dynamic Soundness in Resource-Constrained Workflow Nets / Tianxiang Lu ; Stephan Merz ; Christoph Wetdenbach ; MarÃa Martos-Salgado ; Fernando Rosa- Velardo
SimGrid MC: Verification Support for a Multi-API Simulation Platform / Martin Quinson ; Cristian Rosa
Ownership Types for the Join Calculus / Marco Patrignani ; Dave Clarke ; Davide Sangiorgi
Contracts for Multi-instance UML Activities / Vidar Slåtten ; Peter Herrmann
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
Manuel Clavel, Francisco Durán, Steven Eker, Takeo Kanade, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Josef Kittler, Carolyn L. Talcott
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
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
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
Topology Control and Geographic Routing in Realistic Wireless Networks / Kevin M. Lillis ; Sriram V. Pemmaraju ; Imran A. Pirwani
Routing in Wireless Networks with Position Trees / Edgar Chavez ; Nathalie Mitton ; Hector Tejeda
Statistical Monitoring to Control a Proactive Routing Protocol / Kahkashan Shaukat ; Violet R. Syrotiuk
Topology Control
A Faster Distributed Approximation Scheme for the Connected Dominating Set Problem for Growth-Bounded Graphs / Beat Gfeller ; Elias Vicari
Coordinating Concurrent Transmissions: A Constant-Factor Approximation of Maximum-Weight Independent Set in Local Conflict Graphs / Petteri Kaski ; Aleksi Penttinen ; Jukka Suomela
Information Brokerage Via Location-Free Double Rulings / Stefan Funke ; Imran Rauf
Level Set Estimation Using Uncoordinated Mobile Sensors / Gagan Raj Gupta ; Parmesh Ramanathan
The Impact of Delay in Dominating Set and Neighbor Elimination Based Broadcasting in Ad Hoc Networks / Fabian Garcia-Nocetti ; Francisco Javier Ovalle-Martinez ; Julio Solano-Gonzalez ; Ivan Stojmenovic
Security and Privacy
Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation / Shukor Abd Razak ; Steven Furnell ; Nathan Clarke ; Phillip Brooke
Dependable and Secure Distributed Storage System for Ad Hoc Networks / Rudi Ball ; James Grant ; Jonathan So ; Victoria Spurrett ; Rogerio de Lemos
An Energy and Communication Efficient Group Key in Sensor Networks Using Elliptic Curve Polynomial / Biswajit Panja ; Sanjay Kumar Madria
Protocols
A Cooperative CDMA-Based Multi-channel MAC Protocol for Ad Hoc Networks / Yuhan Moon
FDAR: A Load-Balanced Routing Scheme for Mobile Ad-Hoc Networks / XiaoRan Wang ; Shigeaki Tagashira ; Satoshi Fujita
TOLB: A Traffic-Oblivious Load-Balancing Protocol for Next-Generation Sensornets / Mohamed Aly ; Anandha Gopalan
A Comparative Analysis of Multicast Protocols for Small MANET Groups / Abderrahim Benslimane ; Cedric Ferraris ; Abdelhakim Hafid
ODCP: An On-Demand Clustering Protocol for Directed Diffusion / Arash Nasiri Eghbali ; Hadi Sanjani ; Mehdi Dehghan
Quality of Service and Performance
Quality of Service Support for ODMRP Multicast Routing in Ad Hoc Networks / Amir Darehshoorzadeh ; M. Reza Jahed Motlagh
The Analysis of Fault Tolerance in Triangular Topology Sensor Networks / Diwen Wu ; Dongqing Xie
Performance Modeling of Mobile Sensor Networks / Jerzy Martyna
Electronic-Oriented IP Address Auto-Configuration Protocol for MANET / Jin-Ok Hwang ; Hyo-Beom Lee ; Sung-Gi Min
Author Index
Routing
Local Routing on Tori / Maia Fraser
Topology Control and Geographic Routing in Realistic Wireless Networks / Kevin M. Lillis ; Sriram V. Pemmaraju ; Imran A. Pirwani
Packet Forwarding in Pocket Switched Networks - An Empirical Characterization of Human Mobility / Christophe Diot
Wireless Networks / Session 1：
Mobility Versus Density Metric for OLSR Enhancement / Cholatip Yawut ; Beatrice Paillassa ; Riadh Dhaou
DAD-MPR Flooding Protocol, Convergence Evaluation Through Simulation / Saadi Boudjit ; Cedric Adjih ; Paul Muhlethaler
A Prototyping Environment for Wireless Multihop Networks / Fehmi Ben Abdesslem ; Luigi Iannone ; Marcelo Dias de Amorim ; Katia Obraczka ; Ignacio Solis ; Serge Fdida
Efficient Selection of Multipoint Relays in Wireless Ad Hoc Networks with Realistic Physical Layer / Dhavy Gantsou ; Patrick Sondi
Invited Talk 2
Mobile Hotspots / Aruna Seneviratne ; Eranga Perera ; Henrik Petander
Mobility Management / Session 2：
Extending Home Agent Migration to Mobile IPv6 Based Protocols / Guillaume Valadon ; Ryuji Wakikawa
Experimental Evaluation of EAP Performance in Roaming Scenarios / Saber Zrelli ; Yoichi Shinoda
Packet Transmission / Session 3：
Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S / Chee-Hong Teh ; Tat-Chee Wan ; Rahmat Budiarto ; Way-Chuang Ang
Analysis of FEC Function for Real-Time DV Streaming / Kazuhisa Matsuzono ; Hitoshi Asaeda ; Kazunori Sugiura ; Osamu Nakamura ; Jun Murai
Invited Talk 3
Ubiquitous Devices, Mobility and Context Awareness / Jean-Marie Hullot
Applications and Services / Session 4：
Improving the Load Balancing Performance of Reliable Server Pooling in Heterogeneous Capacity Environments / Xing Zhou ; Thomas Dreibholz ; Erwin P. Rathgeb
WOD - Proxy-Based Web Object Delivery Service / Kai-Hsiang Yang ; Jan-Ming Ho
Invited Talk 4
Implementation Issues of Early Application Identification / Laurent Bernaille ; Renata Teixeira
Invited Talk 5
Securing Internet Coordinate Systems / Dali Kaafar ; Laurent Mathy ; Kave Salamatian ; Chadi Barakat ; Thierry Turletti ; Walid Dabbous
Network Monitoring / Session 5：
A Real-Time Performance-Monitoring Tool for Emergency Networks / Shuprabha Shakya ; Mohamad Abdul Awal ; Dwijendra K. Das ; Yasuo Tsuchimoto ; Kanchana Kanchanasut
A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms / Kenji Masui ; Youki Kadobayashi
Invited Talk 6
Gap Analysis in IP Multicast Dissemination / Bill Manning
Routing
Can Forwarding Loops Appear When Activating iBGP Multipath Load Sharing? / Simon Balon ; Guy Leduc
Quality-of-Service Multicast Overlay Spanning Tree Algorithms for Wireless Ad Hoc Networks / Georgios Rodolakis ; Anis Laouiti
Invited Talk 7
Architecture of Satellite Internet for Asia-Wide Digital Communications / Kotaro Kataoka ; Achmad Husni Thamrin ; Kenjiro Cho ; Jun Takei
Author Index
Invited Talk 1
Packet Forwarding in Pocket Switched Networks - An Empirical Characterization of Human Mobility / Christophe Diot
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
Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control / Danilo Ardagna ; Carlo Ghezzi ; Barbara Panicucci ; Marco Trubian
TwoSpot: A Cloud Platform for Scaling Out Web Applications Dynamically / Andreas Wolke ; Gerhard Meixner
Simulating Autonomic SLA Enactment in Clouds Using Case Based Reasoning / Michael Maurer ; Ivona Brandic ; Rizos Sakellariou
Service Adaptation and Identification
Service Identification Methods: A Systematic Literature Review / Qing Gu ; Patricia Lago
Self-adapting Applications Based on QA Requirements in the Cloud Using Market-Based Heuristics / Vivek Nallur ; Rami Bahsoon
Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services / Dimitris Dranidis ; Andreas Metzger ; Dimitrios Kourtesis
Infrastructures
PROVIDENCE: A Framework for Private Data Propagation Control in Service-Oriented Systems / Roman Khazankin ; Schahram Dustdar
Utility Driven Service Routing over Large Scale Infrastructures / Pablo Chacin ; Leando Navarro ; Pedro Garcia Lopez
A Chemical Based Middleware for Workflow Instantiation and Execution / Claudia Di Napoli ; Maurizio Giordano ; Jean-Louis Pazat ; Chen Wang
Applications and Mashups
Consumer Mashups with Mashlight / Luciano Baresi ; Sam Guinea
Telecommunication Mashups Using RESTful Services / Alistair Duke ; Sandra Stincic ; John Davies ; Guillermo Álvaro Rey ; Carlos Pedrinaci ; Maria Maleshkova ; John Domingue ; Dong Liu ; Freddy Lecue ; Nikolay Mehandjiev
Web Services for Analysing and Summarising Online Opinions and Reviews / Dwi A.P. Rahayu ; Shonali Krishnaswamy ; Cyril Labbe ; Oshadi Alhakoon
Engineering of Service Oriented Applications
A Frame of Reference for SOA Migration / Maryam Razavian
A Comparative Study: Service-Based Application Development by Ordinary End Users and IT Professionals / Abdallah Namoun ; Usman Wajid
Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications / D. Meiländer ; S. Gorlatch ; C. Cappiello ; V. Mazza ; R. Kazhamiakin ; A. Bucchiarone
Demonstrations
Immersive Collaboration Environment / Maarten Dumont ; Steven Maesen ; Karel Frederix ; Chris Raymaekers ; Philippe Bekaert ; Frank Van Reeth
ecoBus - Mobile Environment Monitoring / Srdjan Krco ; Jelena Vuckovic ; Stevan Jokic
Demonstration of the SmartLM License Management Technology for Distributed Computing Infrastructures / Hassan Rasheed ; Angela Rumpl ; Wolfgang Ziegler ; Miriam Gozalo
Experimenting with Multipath TCP / Sébastien Barré ; Olivier Bonaventure ; Costin Raiciu ; Mark Handley
REMICS- REuse and Migration of Legacy Applications to Interoperable Cloud Services: REMICS Consortium / Parastoo Mohagheghi ; Arne J. Berre ; Alexis Henry ; Franck Barbier ; Andrey Sadovykh
Service Compositions for All / Freddy Lécué ; Georgia Kleanthous
OneLab: Developing Future Internet Testbeds / Serge Fdida ; Timur Friedman ; Sophia MacKeith
Spectrum Sharing in Heterogeneous Wireless Networks: An FP7 CREW Use Case / Stefan Bouckaert ; Lieven Tytgat ; Sofie Pollin ; Peter Van Wesemael ; Antoine Dejonghe ; Ingrid Moerman ; Piet Demeester
Demonstration for the 3DLife Framework / Qianni Zhang ; Ebroul Izquierdo
MICIE: An Alerting Framework for Interdependent Critical Infrastructures / Paolo Capodieci ; Michele Minichino ; Stefano Panzieri ; Marco Castrucci ; Alessandro Neri ; Leonid Lev ; Paulo Simões
A Management Framework for Automating Network Experiments and User Behaviour Emulation on Large Scale Testbed Facilities / Steven Latré ; Filip De Turck ; Dimitri Papadimitriou
Environmental Service Infrastructure with Ontologies (ENVISION): ENVISION Consortium / Dumitru Roman
MASTER as a Security Management Tool for Policy Compliance / Bruno Crispo ; Gabriela Gheorghe ; Valentina Di Giacomo ; Domenico Presenza
Future Internet Monitoring Platform for Computing Clouds / Stuart Clayman ; Alex Galis ; Giovanni Toffetti ; Luis M. Vaquero ; Benny Rochwerger ; Philippe Massonet
Enhanced Privacy and Identity Management for Community Services - Demo of the PICOS Project / Christian Kahl ; Katja Böttcher ; Markus Tschersich ; Stephan Heim ; Kai Rannenberg
Future Internet Architectures and Scenarios by Means of Opportunistic Networks and Cognitive Management Systems / Panagiotis Demestichas ; Jens Gebert ; Markus Mueck
Enabling Interoperability for SOA-Based SaaS Applications Using Continuous Computational Language / Yehia Taher ; Dinh Khoa Nguyen ; Willem-Jan van den Heuvel ; Ali Ait-Bachir
NinSuna: Metadata-Driven Media Delivery / Davy Van Deursen ; Wim Van Lancker ; Erik Mannens ; Rik Van de Walle
SOA4All in Action: Enabling a Web of Billions of Services: SOA4All Consortium / Maurilio Zuccalà
Demonstrating Distributed Virtual Networks / Alexandru Paler ; Andreas Fischer ; Hermann de Meer
A Middleware Infrastructure for Multi-rule-Engine Distributed Systems / Pierre de Leusse ; Bartosz Kwolek ; Krzysztof Zielinski
SRLG Inference in OSPF for Improved Reconvergence after Failures / Bart Puype ; Goutam Das ; Didier Colle ; Mario Pickavet
Future Internet Management Platforms for Network Virtualisation and Service Clouds / Yahya Al-Hazmi ; Hermann De Meer ; Abderhaman Cheniour ; Olivier Mornard ; Jean Patrick Gelas ; Laurent Lefevre ; Javier Rubio Loyola ; Antonio Astorga ; Joan Serrat ; Steven Davy
Author Index
Cloud Computing
Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control / Danilo Ardagna ; Carlo Ghezzi ; Barbara Panicucci ; Marco Trubian
TwoSpot: A Cloud Platform for Scaling Out Web Applications Dynamically / Andreas Wolke ; Gerhard Meixner
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
Making Self-organizing Systems Secure / Robbert van Renesse
Panel
Self-organising Networks: Panacea or Pandora's Box? / James P.G. Sterbenz
Full Papers / II：
Dynamics of Structured and Unstructured Overlays
The Challenges of Merging Two Similar Structured Overlays: A Tale of Two Networks / Anwitaman Datta ; Karl Aberer
Self-protection in P2P Networks: Choosing the Right Neighbourhood / Ivan Martinovic ; Christof Leng ; Frank A. Zdarsky ; Andreas Mauthe ; Ralf Steinmetz ; Jens B. Schmitt
Self-organization in Peer-to-Peer Networks
Modelling the Population Dynamics and the File Availability in a BitTorrent-Like P2P System with Decreasing Peer Arrival Rate / Riikka Susitaival ; Samuli Aalto
Combining Virtual and Physical Structures for Self-organized Routing / Thomas Fuhrmann
Optimizing Locality for Self-organizing Context-Based Systems / Mirko Knoll ; Torben Weis
Self-organization in Wireless Environments
Randomized Self-stabilizing Algorithms for Wireless Sensor Networks / Volker Turau ; Christoph Weyer
The Case for Virtualized Wireless Access Networks
Self-organization in Distributed and GRID Computing
Job Scheduling for Maximal Throughput in Autonomic Computing Systems / Kevin Ross ; Nicholas Bambos
Investigating Global Behavior in Computing Grids / Kevin L. Mills ; Christopher Dabrowski
Using Decentralized Clustering for Task Allocation in Networks with Reconfigurable Helper Units / Daniel Merkle ; Martin Middendorf ; Alexander Scheidler
Self-organization for Network Management and Routing
Self-tuned Refresh Rate in a Swarm Intelligence Path Management System / Poul E. Heegaard ; Otto J. Wittner
Cross-Layer Approach to Detect Data Packet Droppers in Mobile Ad-Hoc Networksz / Djamel Djenouri ; Nadjib Badache
On-Demand Distributed Energy-Aware Routing with Limited Route Length / Cheolgi Kim ; Kisoo Chang ; Joongsoo Ma
Self-managing and Autonomic Computing
Automatic Data Locality Optimization Through Self-optimization / Rainer Buchty ; Jie Tao ; Wolfgang Karl
A Bio-inspired Approach for Self-protecting an Organic Middleware with Artificial Antibodies / Andreas Pietzowski ; Benjamin Satzger ; Wolfgang Trumler ; Theo Ungerer
Autonomic Management of Edge Servers / Mikael Desertot ; Clement Escoffier ; Philippe Lalanda ; Didier Donsez
Short Papers / III：
Ubiquitous Zone Networking Technologies for Multi-hop Based Wireless Communications / Namhi Kang ; Ilkyun Park ; Younghan Kim
Proposal for Self-organizing Information Distribution in Peer-to-Peer Networks / Arne Handt
Autonomic Security for Home Networks / Mohamad Aljnidi, Jean Leneutre
Hovering Data Clouds: A Decentralized and Self-organizing Information System / Axel Wegener ; Elad M. Schiller ; Horst Hellbruck ; Sandor P. Fekete ; Stefan Fischer
Defending Grids Against Intrusions / Alexandre Schulter ; Kleber Vieira ; Carlos Becker Westphall ; Carla Westphall
ORCA - Towards an Organic Robotic Control Architecture / Florian Mosch ; Marek Litza ; Adam El Sayed Auf ; Erik Maehle ; Karl E. Grosspietsch ; Werner Brockmann
Posters / IV：
Active Element Network with P2P Control Plane / Michal Prochazka ; Petr Holub ; Eva HladkaRouting
A Monitoring Infrastructure for the Digital on-demand Computing Organism (DodOrg)
Autonomic Network Management for Wireless Mesh and Manets / shafique Ahmad Chaudhry ; Ali Hammad Akbar ; Faisal Siddiqui ; Ki-Hyung Kim
Author Index
Invited Program / I：
Keynote
Making Self-organizing Systems Secure / Robbert van Renesse
ＥＢ
