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
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
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:
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
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm
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
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
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
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
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
Sketch Based Volumetric Clouds / Marc Stiver ; Andrew Baker ; Adam Runions ; Faramarz SamavatiSketching 1:
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software / Salman Cheema ; Joseph J. La Viola Jr.
A Sketch-and-Grow interface for Botanical Tree Modeling / Nordin Zakaria
Animated Volume Texture Mapping for Complex Scene Generation and Editing / Rui Shen
Physics and Simulation
A Novel Three-dimensional Collaborative Online Platform for Bio-molecular Modeling / Kugamoorthy Gajananan ; Arturo Nakasone ; Andreas Hildebrandt ; Helmut Prendinger
The Effects of Finger-Walking in Place (FWIP) for Spatial Knowledge Acquisition in Virtual Environments / Ji-Sun Kim ; Denis Gracanin ; Krešimir Matkovic ; Francis Quek
Interactive Design and Simulation of Net Sculptures / Grigore D. Pintilie ; Peter Heppel ; Janet Echelman
A Cross-Platform Framework for Physics-Based Collaborative Augmented Reality / Damon Shing-Min Liu ; Chun-Hao Yung ; Cheng-Hsuan Chung
Accurately Measuring the Satisfaction of Visual Properties in Virtual Camera Control / Roberto Ranon ; Marc Christie ; Tommaso UrliCamera Planning 1:
VEX-CMS: A Tool to Design Virtual Exhibitions and Walkthroughs That Integrates Automatic Camera Control Capabilities / Luca Chittaro ; Lucio Ieronutti
Automatic Speed Graph Generation for Predefined Camera Paths / Ferran Argelaguet ; Carlos Andujar
Sketch-Based Interfaces: Exploiting Spatio-temporal Context for Automatic Stroke Grouping / Lutz Dickmann ; Tobias Lensing ; Robert Porzel ; Rainer Malaka ; Christoph Lischka
A Method for Reconstructing Sketched Polyhedral Shapes with Rounds and Fillets / Pedro Company ; Peter Ashley ; Clifford Varley
Pressure-based 3D Curve Drawing / Chan-Yet Lai
Imaging
An Interactive Design System for Water Flow Stains on Outdoor Images / Yuki Endo ; Yoshihiro Kanamori ; Jun Mitani ; Yukio Fukui
Automated Hedcut Illustration Using Isophotes / Sung Ye Kim ; Insoo Woo ; Ross Maciejewski ; David S. Ebert
Visual Analytics
Articulate: A Semi-Automated Model for Translating Natural Language Queries into Meaningful Visualizations / Yiwen Sun ; Jason Leigh ; Andrew Johnson ; Sangyoon Lee
Visual Analysis of Time-Motion in Basketball Games / Roberto Therón ; Laura Casares
Event Line View: Interactive Visual Analysis of Irregular Time-Dependent Data / Alan Lez ; Andreas Ammer ; Werner Purgathofer
Automatic Blending of Multiple Perspective Views for Aesthetic Composition / Kairi Mashio ; Kenichi Yoshida ; Shigeo ; Shigeo Takahashi ; Masato OkadaCamera Planning 2:
Focus and Context in Mixed Reality by Modulating First Order Salient Features / Erick Mendez ; Steven Feiner ; Dieter Schmalstieg
An Interactive Interface for Lighting-by-Example / Hai Nam HA ; Christophe Lino ; Patrick Olivier
Art
Stroking a Cymbidium / Young-Mi Kim ; Jong-Soo Choi
WAVO: An Interactive Ball to Express Light Waves with Wave Equation / Kazushi Mukaiyama
Over Watch: Real-Time Narrative Visuals from Live Performance / Guy Schofield ; Rached Casey
Sticking Point / Tom Schofield
Phantasmagoria: Composing Interactive Content for the humanaquarium / Robyn Taylor ; John Shearer ; Pierre Boulanger ; Jayne Wallace
Self Portraits with Mandelbrot Genetics / Jeffrey Ventrella
Smart Graphics - Art 101: Learning to Draw through Sketch Recognition / Tracy Hammond ; Manoj Prasad ; Daniel Dixon
Colour Vision-Controlling Light Patterns through Postures / Alexander Wiethoff ; Andreas Butz
Interaction with a Virtual Character through Performance Based Animation / Qion Wu ; Maryia Kazakevich
Author Index
Sketch Based Volumetric Clouds / Marc Stiver ; Andrew Baker ; Adam Runions ; Faramarz SamavatiSketching 1:
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software / Salman Cheema ; Joseph J. La Viola Jr.
A Sketch-and-Grow interface for Botanical Tree Modeling / Nordin Zakaria
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c:
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a:
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c:
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a:
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a:
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b:
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c:
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Adaptation in Open Systems: Giving Interaction Its Rightful Place / Fabiano Dalpiaz ; Amit K. Chopra ; Paolo Giorgini ; John Mylopoulos
Requirements Engineering and Modeling 1
Information Use in Solving a Well-Structured Is Problem: The Roles of IS and Application Domain Knowledge / Vijay Khatri ; Iris Vessey
Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach / Jennifer Horkoff ; Eric Yu
The Model Role Level - A Vision / Rick Salay
Requirements Engineering and Modeling 2
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain / Alberto Siena ; Giampaolo Armellin ; Gianluca Mameli ; Anna Perini ; Angelo Susi
Reasoning with Optional and Preferred Requirements / Neil A. Ernst ; Alex Borgida ; Ivan J. Jureta
Data Evolution and Adaptation
A Conceptual Approach to Database Applications Evolution / Anthony Cleve ; Anne-France Brogneaux ; Jean-Luc Hainaut
Automated Co-evolution of Conceptual Models, Physical Databases, and Mappings / James F. Terwilliger ; Philip A. Bernstein ; Adi Unnithan
A SchemaGuide for Accelerating the View Adaptation Process / Jun Liu ; Mark Roantree ; Zohra Bellahsene
Operations on Spatio-temporal Data
Complexity of Reasoning over Temporal Data Models / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Using Preaggregation to Speed Up Scaling Operations on Massive Spatio-temporal Data / Angelica Garcia Gutierrez ; Peter Baumann
Situation Predication Nets: Playing the Token Game for Ontology-Driven Situation Awareness / Norbert Baumgartner ; Wolfgang Gottesheim ; Stefan Mitsch ; Werner Retschitzegger ; Wieland Schwinger
Model Abstraction, Feature Modeling, and Filtering
Granularity in Conceptual Modelling: Application to Metamodels / Brain Henderson-Sellers ; Cesar Gonzalez-Perez
Feature Assembly: A New Feature Modeling Technique / Lamia Abo Zaid ; Frederic Kleinermann ; Olga De Troyer
Measuring the Quality of an Integrated Schema / Fabien Duchateau
Contextual Factors in Database Integration-A Delphi Study / Joerg Evermann
Building Dynamic Models of Service Compositions with Simulation of Provision Resources / Dragan Ivanovic ; Martin Treiber ; Manuel Carro ; Schahram Dustdar
Consistency, Satisfiability and Compliance Checking
Maintaining Consistency of Probabilistic Databases: A Linear Programming Approach / You Wu ; Wilfred Ng
On Enabling Data-Aware Compliance Checking of Business Process Models / David Knuplesch ; Linh Thao Ly ; Stefanie Rinderle-Ma ; Holger Pfeifer ; Peter Dadam
Using Ontologies for Query Answering
Query Answering under Expressive Entity-Relationship Schemata / Andrea Calì ; Georg Gottlob ; Andreas Pieris
SQOWL: Type Inference in an RDBMS / Peter J. McBrien ; Nikos Rizopoulos ; Andrew C. Smith
Querying Databases with Taxomies / David Martinenghi ; Riccardo Torlone
Document and Query Processing
What Is Wrong with Digital Documents? A Conceptual Model for Structural Cross-Media Content Composition and Reuse / Beat Signer
Classification of Index Partitions to Boost XML Query Performance / Gerard Marks ; John Murphy
Specifying Aggregation Functions in Multidimensional Models with OCL / Jordi Cabot ; Jose-Norberto Mazón ; Jesús Pardillo ; Juan Trujillo
Demos and Posters
The CARD System / Faiz Currim ; Nicholas Neidig ; Alankar Kampoowale ; Girish Mhatre
How the Structuring of Domain Knowledge Helps Casual Process Modelers / Jakob Pinggera ; Stefan Zugal ; Barbara Weber ; Dirk Fahland ; Matthias Weidlich ; Hajo A. Reijers
SPEED: A Semantics-Based Pipeline for Economic Event Detection / Frederik Hogenboom ; Alexander Hogenboom ; Flavius Frasincar ; Uzay Kaymak ; Otto van der Meer ; Kim Schouten ; Damir Vandic
Modelling Functional Requirements in Spatial Design / Mehul Bhatt ; Joana Hois ; Oliver Kutz ; Frank Dylla
Business Processes Contextualisation via Context Analysis / Jose Luis de la Vara ; Raian Ali ; Juan Sánchez
A Generic Perspective Model for the Generation of Business Process Views / Horst Pichler ; Johann Eder
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture / Hugo Estrada ; Alicia MartÃnez ; Oscar Pastor
Author Index
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
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
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
Design of Network Topology in an Adversarial Environment / Assane Gueye ; Jean C. Walrand ; Venkat Anantharam
Optimal Information Security Investment with Penetration Testing / Rainer Böhme ; Márk Félegyházi
Privacy and Anonymity
Tracking Games in Mobile Networks / Mathias Humbert ; Mohammad Hossein Manshaei ; Julien Freudiger ; Jean-Pierre Hubaux
gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor's Anonymity / Nan Zhang ; Wei Yu ; Xinwen Fu ; Sajal K. Das
When Do Firms Invest in Privacy-Preserving Technologies? / Murat Kantarcioglu ; Alain Bensoussan ; SingRu(Celine) Hoe
Adversarial and Robust Control
Adversarial Control in a Delay Tolerant Network / Eitan Altman ; Tamer Basar ; Veeraruna Kavitha
Security Interdependencies for Networked Control Systems with Identical Agents / Saurabh Amin ; Galina A. Schwartz ; S. Shankar Sastry
Robust Control in Sparse Mobile Ad-Hoc Networks / Alireza Aram ; Corinne Touati ; Saswati Sarkar
Network Security and Botnets
A Game-Theoretical Approach for Finding Optimal Strategies in a Botnet Defense Model
ISPs and Ad Networks against Botnet Ad Fraud / Nevena Vratonjic ; Maxim Raya
A Localization Game in Wireless Sensor Networks / Nicola Gatti ; Mattia Monga ; Sabrina Sicari
Effective Multimodel Anomaly Detection Using Cooperative Negotiation / Alberto Volpatto ; Federico Maggi ; Stefano Zanero
Authorization and Authentication
The Password Game: Negative Externalities from Weak Password Practices / Sören Preibusch ; Joseph Bonneau
Towards a Game Theoretic Authorisation Model / Farzad Salim ; Jason Reid ; Uwe Dulleck ; Ed Dawson
Theory and Algorithms for Security
Disperse or Unite? A Mathematical Model of Coordinated Attack / Steve Alpern ; Robert Fokkink ; Joram op den Kelder ; Tom Lidbetter
Uncertainty in Interdependent Security Games / Benjamin Johnson ; Jens Grossklags ; Nicolas Christin ; John Chuang
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games are Equivalent / Barbara Kordy ; Sjouke Mauw ; Matthijs Melissen ; Patrick Schweitzer
Methods and Algorithms for Infinite Bayesian Stackelberg Security Games (Extended Abstract) / Christopher Kiekintveld ; Janusz Marecki ; Milind Tambe
Author Index
Security Investments and Planning
Design of Network Topology in an Adversarial Environment / Assane Gueye ; Jean C. Walrand ; Venkat Anantharam
Optimal Information Security Investment with Penetration Testing / Rainer Böhme ; Márk Félegyházi
Nicol?s Garc?a-Pedrajas, Moonis Ali, Jos? Manuel Ben?tez, Colin Fyfe, Francisco Herrera, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
Sketch Based Volumetric Clouds / Marc Stiver ; Andrew Baker ; Adam Runions ; Faramarz SamavatiSketching 1:
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software / Salman Cheema ; Joseph J. La Viola Jr.
A Sketch-and-Grow interface for Botanical Tree Modeling / Nordin Zakaria
Animated Volume Texture Mapping for Complex Scene Generation and Editing / Rui Shen
Physics and Simulation
A Novel Three-dimensional Collaborative Online Platform for Bio-molecular Modeling / Kugamoorthy Gajananan ; Arturo Nakasone ; Andreas Hildebrandt ; Helmut Prendinger
The Effects of Finger-Walking in Place (FWIP) for Spatial Knowledge Acquisition in Virtual Environments / Ji-Sun Kim ; Denis Gracanin ; Krešimir Matkovic ; Francis Quek
Interactive Design and Simulation of Net Sculptures / Grigore D. Pintilie ; Peter Heppel ; Janet Echelman
A Cross-Platform Framework for Physics-Based Collaborative Augmented Reality / Damon Shing-Min Liu ; Chun-Hao Yung ; Cheng-Hsuan Chung
Accurately Measuring the Satisfaction of Visual Properties in Virtual Camera Control / Roberto Ranon ; Marc Christie ; Tommaso UrliCamera Planning 1:
VEX-CMS: A Tool to Design Virtual Exhibitions and Walkthroughs That Integrates Automatic Camera Control Capabilities / Luca Chittaro ; Lucio Ieronutti
Automatic Speed Graph Generation for Predefined Camera Paths / Ferran Argelaguet ; Carlos Andujar
Sketch-Based Interfaces: Exploiting Spatio-temporal Context for Automatic Stroke Grouping / Lutz Dickmann ; Tobias Lensing ; Robert Porzel ; Rainer Malaka ; Christoph Lischka
A Method for Reconstructing Sketched Polyhedral Shapes with Rounds and Fillets / Pedro Company ; Peter Ashley ; Clifford Varley
Pressure-based 3D Curve Drawing / Chan-Yet Lai
Imaging
An Interactive Design System for Water Flow Stains on Outdoor Images / Yuki Endo ; Yoshihiro Kanamori ; Jun Mitani ; Yukio Fukui
Automated Hedcut Illustration Using Isophotes / Sung Ye Kim ; Insoo Woo ; Ross Maciejewski ; David S. Ebert
Visual Analytics
Articulate: A Semi-Automated Model for Translating Natural Language Queries into Meaningful Visualizations / Yiwen Sun ; Jason Leigh ; Andrew Johnson ; Sangyoon Lee
Visual Analysis of Time-Motion in Basketball Games / Roberto Therón ; Laura Casares
Event Line View: Interactive Visual Analysis of Irregular Time-Dependent Data / Alan Lez ; Andreas Ammer ; Werner Purgathofer
Automatic Blending of Multiple Perspective Views for Aesthetic Composition / Kairi Mashio ; Kenichi Yoshida ; Shigeo ; Shigeo Takahashi ; Masato OkadaCamera Planning 2:
Focus and Context in Mixed Reality by Modulating First Order Salient Features / Erick Mendez ; Steven Feiner ; Dieter Schmalstieg
An Interactive Interface for Lighting-by-Example / Hai Nam HA ; Christophe Lino ; Patrick Olivier
Art
Stroking a Cymbidium / Young-Mi Kim ; Jong-Soo Choi
WAVO: An Interactive Ball to Express Light Waves with Wave Equation / Kazushi Mukaiyama
Over Watch: Real-Time Narrative Visuals from Live Performance / Guy Schofield ; Rached Casey
Sticking Point / Tom Schofield
Phantasmagoria: Composing Interactive Content for the humanaquarium / Robyn Taylor ; John Shearer ; Pierre Boulanger ; Jayne Wallace
Self Portraits with Mandelbrot Genetics / Jeffrey Ventrella
Smart Graphics - Art 101: Learning to Draw through Sketch Recognition / Tracy Hammond ; Manoj Prasad ; Daniel Dixon
Colour Vision-Controlling Light Patterns through Postures / Alexander Wiethoff ; Andreas Butz
Interaction with a Virtual Character through Performance Based Animation / Qion Wu ; Maryia Kazakevich
Author Index
Sketch Based Volumetric Clouds / Marc Stiver ; Andrew Baker ; Adam Runions ; Faramarz SamavatiSketching 1:
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software / Salman Cheema ; Joseph J. La Viola Jr.
A Sketch-and-Grow interface for Botanical Tree Modeling / Nordin Zakaria
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a:
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b:
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c:
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c:
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a:
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c:
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a:
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Adaptation in Open Systems: Giving Interaction Its Rightful Place / Fabiano Dalpiaz ; Amit K. Chopra ; Paolo Giorgini ; John Mylopoulos
Requirements Engineering and Modeling 1
Information Use in Solving a Well-Structured Is Problem: The Roles of IS and Application Domain Knowledge / Vijay Khatri ; Iris Vessey
Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach / Jennifer Horkoff ; Eric Yu
The Model Role Level - A Vision / Rick Salay
Requirements Engineering and Modeling 2
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain / Alberto Siena ; Giampaolo Armellin ; Gianluca Mameli ; Anna Perini ; Angelo Susi
Reasoning with Optional and Preferred Requirements / Neil A. Ernst ; Alex Borgida ; Ivan J. Jureta
Data Evolution and Adaptation
A Conceptual Approach to Database Applications Evolution / Anthony Cleve ; Anne-France Brogneaux ; Jean-Luc Hainaut
Automated Co-evolution of Conceptual Models, Physical Databases, and Mappings / James F. Terwilliger ; Philip A. Bernstein ; Adi Unnithan
A SchemaGuide for Accelerating the View Adaptation Process / Jun Liu ; Mark Roantree ; Zohra Bellahsene
Operations on Spatio-temporal Data
Complexity of Reasoning over Temporal Data Models / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Using Preaggregation to Speed Up Scaling Operations on Massive Spatio-temporal Data / Angelica Garcia Gutierrez ; Peter Baumann
Situation Predication Nets: Playing the Token Game for Ontology-Driven Situation Awareness / Norbert Baumgartner ; Wolfgang Gottesheim ; Stefan Mitsch ; Werner Retschitzegger ; Wieland Schwinger
Model Abstraction, Feature Modeling, and Filtering
Granularity in Conceptual Modelling: Application to Metamodels / Brain Henderson-Sellers ; Cesar Gonzalez-Perez
Feature Assembly: A New Feature Modeling Technique / Lamia Abo Zaid ; Frederic Kleinermann ; Olga De Troyer
Measuring the Quality of an Integrated Schema / Fabien Duchateau
Contextual Factors in Database Integration-A Delphi Study / Joerg Evermann
Building Dynamic Models of Service Compositions with Simulation of Provision Resources / Dragan Ivanovic ; Martin Treiber ; Manuel Carro ; Schahram Dustdar
Consistency, Satisfiability and Compliance Checking
Maintaining Consistency of Probabilistic Databases: A Linear Programming Approach / You Wu ; Wilfred Ng
On Enabling Data-Aware Compliance Checking of Business Process Models / David Knuplesch ; Linh Thao Ly ; Stefanie Rinderle-Ma ; Holger Pfeifer ; Peter Dadam
Using Ontologies for Query Answering
Query Answering under Expressive Entity-Relationship Schemata / Andrea Calì ; Georg Gottlob ; Andreas Pieris
SQOWL: Type Inference in an RDBMS / Peter J. McBrien ; Nikos Rizopoulos ; Andrew C. Smith
Querying Databases with Taxomies / David Martinenghi ; Riccardo Torlone
Document and Query Processing
What Is Wrong with Digital Documents? A Conceptual Model for Structural Cross-Media Content Composition and Reuse / Beat Signer
Classification of Index Partitions to Boost XML Query Performance / Gerard Marks ; John Murphy
Specifying Aggregation Functions in Multidimensional Models with OCL / Jordi Cabot ; Jose-Norberto Mazón ; Jesús Pardillo ; Juan Trujillo
Demos and Posters
The CARD System / Faiz Currim ; Nicholas Neidig ; Alankar Kampoowale ; Girish Mhatre
How the Structuring of Domain Knowledge Helps Casual Process Modelers / Jakob Pinggera ; Stefan Zugal ; Barbara Weber ; Dirk Fahland ; Matthias Weidlich ; Hajo A. Reijers
SPEED: A Semantics-Based Pipeline for Economic Event Detection / Frederik Hogenboom ; Alexander Hogenboom ; Flavius Frasincar ; Uzay Kaymak ; Otto van der Meer ; Kim Schouten ; Damir Vandic
Modelling Functional Requirements in Spatial Design / Mehul Bhatt ; Joana Hois ; Oliver Kutz ; Frank Dylla
Business Processes Contextualisation via Context Analysis / Jose Luis de la Vara ; Raian Ali ; Juan Sánchez
A Generic Perspective Model for the Generation of Business Process Views / Horst Pichler ; Johann Eder
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture / Hugo Estrada ; Alicia MartÃnez ; Oscar Pastor
Author Index
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Design of Network Topology in an Adversarial Environment / Assane Gueye ; Jean C. Walrand ; Venkat Anantharam
Optimal Information Security Investment with Penetration Testing / Rainer Böhme ; Márk Félegyházi
Privacy and Anonymity
Tracking Games in Mobile Networks / Mathias Humbert ; Mohammad Hossein Manshaei ; Julien Freudiger ; Jean-Pierre Hubaux
gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor's Anonymity / Nan Zhang ; Wei Yu ; Xinwen Fu ; Sajal K. Das
When Do Firms Invest in Privacy-Preserving Technologies? / Murat Kantarcioglu ; Alain Bensoussan ; SingRu(Celine) Hoe
Adversarial and Robust Control
Adversarial Control in a Delay Tolerant Network / Eitan Altman ; Tamer Basar ; Veeraruna Kavitha
Security Interdependencies for Networked Control Systems with Identical Agents / Saurabh Amin ; Galina A. Schwartz ; S. Shankar Sastry
Robust Control in Sparse Mobile Ad-Hoc Networks / Alireza Aram ; Corinne Touati ; Saswati Sarkar
Network Security and Botnets
A Game-Theoretical Approach for Finding Optimal Strategies in a Botnet Defense Model
ISPs and Ad Networks against Botnet Ad Fraud / Nevena Vratonjic ; Maxim Raya
A Localization Game in Wireless Sensor Networks / Nicola Gatti ; Mattia Monga ; Sabrina Sicari
Effective Multimodel Anomaly Detection Using Cooperative Negotiation / Alberto Volpatto ; Federico Maggi ; Stefano Zanero
Authorization and Authentication
The Password Game: Negative Externalities from Weak Password Practices / Sören Preibusch ; Joseph Bonneau
Towards a Game Theoretic Authorisation Model / Farzad Salim ; Jason Reid ; Uwe Dulleck ; Ed Dawson
Theory and Algorithms for Security
Disperse or Unite? A Mathematical Model of Coordinated Attack / Steve Alpern ; Robert Fokkink ; Joram op den Kelder ; Tom Lidbetter
Uncertainty in Interdependent Security Games / Benjamin Johnson ; Jens Grossklags ; Nicolas Christin ; John Chuang
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games are Equivalent / Barbara Kordy ; Sjouke Mauw ; Matthijs Melissen ; Patrick Schweitzer
Methods and Algorithms for Infinite Bayesian Stackelberg Security Games (Extended Abstract) / Christopher Kiekintveld ; Janusz Marecki ; Milind Tambe
Author Index
Security Investments and Planning
Design of Network Topology in an Adversarial Environment / Assane Gueye ; Jean C. Walrand ; Venkat Anantharam
Optimal Information Security Investment with Penetration Testing / Rainer Böhme ; Márk Félegyházi
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
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
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
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
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Berkeley, CA : USENIX Association, 2010
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Simulation and Modeling., Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Vista, CA : Society for Modeling & Simulation International, 2010
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Data Communication.; ACM Special Interest Group on Operating Systems., Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Berkeley, CA : USENIX Association, 2010
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Simulation and Modeling., Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , San Diego, CA : Society for Computer Simulation International, 2010
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages.; ACM Special Interest Group on Operating Systems., Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Berkeley, CA : USENIX Association, 2010
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Artificial Intelligence., Association for Computing Machinery-Digital Library.
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
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
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:
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
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Information Retrieval., Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Paris France : LE CENTRE DE HAUTES ETUDES INTERNATIONALES D'INFORMATIQUE DOCUMENTAIRE, 2010