Predictability of Enforcement / Nataliia Bielova ; Fabio Massacci
Web Security / Session 3：
SessionShield: Lightweight Protection against Session Hijacking / Nick Nikiforakis ; Wannes Meert ; Yves Younan ; Martin Johns ; Wouter Joosen
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications / Thanh Binh Dao ; Etsuya Shibayama
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications / Philippe De Ryck ; Lieven Desmet
Model-Based Security II / Sesssion 4：
Lightweight Modeling and Analysis of Security Concepts / Jörn Eichler
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications / Linda Ariani Gunawan ; Frank Alexander Kraemer ; Peter Herrmann
An Architecture-Centric Approach to Detecting Security Patterns in software / Michaela Bunke ; Karsten Sohr
Security Requirements Engineering / Session 5：
The Security Twin Peaks / Thomas Heyman ; Koen Yskout ; Riccardo Scandariato ; Holger Schmidt ; Yijun Yu
Evolution of Security Requirements Tests for Service-Centric Systems / Michael Felderer ; Berthold Agreiter ; Ruth Breu
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes / Stephan Neuhaus ; Viet Hung Nguyen
Authorization / Session 6：
Authorization Enforcement Usability Case Study / Steffen Bartsch
Scalable Authorization Middleware for Service Oriented Architectures / Tom Goovaerts
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models / Naveed Ahmed ; Christian D. Jensen
Ideas / Session 7：
Idea: Interactive Support for Secure Software Development / Jing Xie ; Bill Chu ; Heather Richter Lipford
Idea: A Reference Platform for Systematic Information Security Management Tool Support / Ingo Müller ; Jun Han ; Jean-Guy Schneider ; Steven Versteeg
Idea: Simulation Based Security Requirement Verification for Transaction Level Models / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Author Index
Model-Based Security I / Session 1：
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
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
Fast and Robust Interface Generation for Ubiquitous Applications / Krzysztof Gajos ; David Christianson ; Raphael Hoffmann ; Tal Shaked ; Kiera Henning ; Jing Jing Long ; Daniel S. Weld
Analysis of Chewing Sounds for Dietary Monitoring / Oliver Amft ; Mathias Stäger ; Paul Lukowicz ; Gerhard Tröster
Preventing Camera Recording by Designing a Capture-ResistantEnvironment / Khai N. Truong ; Shwetak N. Patel ; Jay W. Summet ; Gregory D. Abowd
Self-Mapping in 802.11 Location Systems / Anthony LaMarca ; Jeff Hightower ; Ian Smith ; Sunny Consolvo
A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping / Anil Madhavapeddy ; Alastair Tse
A New Method for Auto-calibrated Object Tracking / Paul Duff ; Michael McCarthy ; Angus Clark ; Henk Muller ; Cliff Randell ; Shahram Izadi ; Andy Boucher ; Andy Law ; Sarah Pennington ; Richard Swinford
Accurate GSM Indoor Localization / Veljo Otsason ; Alex Varshavsky ; Eyal de Lara
Learning and Recognizing the Places We Go / Jeffrey Hightower ; Jeff Hughes
Visually Interactive Location-Aware Computing / Kasim Rehman ; Frank Stajano ; George Coulouris
DigiDress: A Field Trial of an Expressive Social Proximity Application / Per Persson ; Jan Blom ; Younghee Jung
Control, Deception, and Communication: Evaluating the Deployment of a Location-Enhanced Messaging Service / Giovanni Iachello ; James Howard ; Fred Potter ; James Scott ; Timothy Sohn
Place-Its: A Study of Location-Based Reminders on Mobile Phones / Kevin A. Li ; Gunny Lee ; William G. Griswold
Time, Ownership and Awareness: The Value of Contextual Locations in the Home / Kathryn Elliot ; Carman Neustaedter ; Saul Greenberg
Living for the Global City: Mobile Kits, Urban Interfaces, and Ubicomp / Scott D. Mainwaring ; Ken Anderson ; Michele F. Chang
From Interaction to Participation: Configuring Space Through Embodied Interaction / Amanda Williams ; Eric Kabisch ; Paul Dourish
Scanning Objects in the Wild: Assessing an Object Triggered Information System / A.J. Bernheim Brush ; Tammara Combs Turner ; Marc A. Smith ; Neeti Gupta
Abaris: Evaluating Automated Capture Applied to Structured Autism Interventions / Julie A. Kientz ; Sebastian Boring ; Gillian R. Hayes
To Frame or Not to Frame: The Role and Design of Frameless Displays in Ubiquitous Applications / Claudio Pinhanez ; Mark Podlaseck
Picking Pockets on the Lawn: The Development of Tactics and Strategies in a Mobile Game / Louise Barkhuus ; Matthew Chalmers ; Paul Tennent ; Malcolm Hall ; Marek Bell ; Scott Sherwood ; Barry Brown
Active Theatre - A Collaborative, Event-Based Capture and Access System for the Operating Theatre / Thomas Riisgaard Hansen ; Jakob E. Bardram
Author Index
CarpetLAN: A Novel Indoor Wireless(-like) Networking and PositioningSystem / Masaaki Fukumoto ; Mitsuru Shinagawa
Fast and Robust Interface Generation for Ubiquitous Applications / Krzysztof Gajos ; David Christianson ; Raphael Hoffmann ; Tal Shaked ; Kiera Henning ; Jing Jing Long ; Daniel S. Weld
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Privacy Enhancing Technologies for RFID in Retail- An Empirical Investigation / Sarah Spiekermann
Ninja: Non Identity Based, Privacy Preserving Authentication for Ubiquitous Environments / Adrian Leung ; Chris J. Mitchell
Field Deployment of IMBuddy: A Study of Privacy Control and Feedback Mechanisms for Contextual IM / Gary Hsieh ; Karen P. Tang ; Wai Yong Low ; Jason I. Hong
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments / A.J. Bernheim Brush ; Kori M. Inkpen
How Smart Homes Learn: The Evolution of the Networked Home and Household / Marshini Chetty ; Ja-Young Sung ; Rebecca E. Grinter
"My Roomba Is Rambo": Intimate Home Appliances / Lan Guo ; Henrik I. Christensen
Symbolic Object Localization Through Active Sampling of Acceleration and Sound Signatures / Kai Kunze ; Paul Lukowicz
An Exploration of Location Error Estimation / David Dearman ; Alex Varshavsky ; Eyal de Lara ; Khai N. Truong
Security by Spatial Reference: Using Relative Positioning to Authenticate Devices for Spontaneous Interaction / Rene Mayrhofer ; Hans Gellersen ; Mike Hazas
Users and Batteries: Interactions and Adaptive Energy Management in Mobile Systems / Nilanjan Banerjee ; Ahmad Rahmati ; Mark D. Corner ; Sami Rollins ; Lin Zhong
An Empirical Study of the Potential for Context-Aware Power Management / Colin Harris ; Vinny Cahill
Amigo: Proximity-Based Authentication of Mobile Devices / Adin Scannell ; Anthony LaMarca
At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line / Shwetak N. Patel ; Thomas Robertson ; Julie A. Kientz ; Matthew S. Reynolds ; Gregory D. Abowd
An 'Object-Use Fingerprint': The Use of Electronic Sensors for Human Identification / Mark R. Hodges ; Martha E. Pollack
Key Generation Based on Acceleration Data of Shaking Processes / Daniel Bichler ; Guido Stromberg ; Mario Huemer ; Manuel Low
"Merolyn the Phone": A Study of Bluetooth Naming Practices / Tim Kindberg ; Timothy Jones
Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp / Yvonne Rogers ; Kay Connelly ; Lenore Tedesco ; William Hazlewood ; Andrew Kurtz ; Robert E. Hall ; Josh Hursey ; Tammy Toscos
Locating Family Values: A Field Trial of the Whereabouts Clock / Barry Brown ; Alex S. Taylor ; Shahram Izadi ; Abigail Sellen ; Joseph 'Jofish' Kaye ; Rachel Eardley
Safeguarding Location Privacy in Wireless Ad-Hoc Networks / Tanzima Hashem ; Lars Kulik
Haggle: Seamless Networking for Mobile Applications / Jing Su ; James Scott ; Pan Hui ; Jon Crowcroft ; Christophe Diot ; Ashvin Goel ; Meng How Lim ; Eben Upton
Exploiting Social Interactions in Mobile Systems / Andrew G. Miklas ; Kiran K. Gollu ; Kelvin K.W. Chan ; Stefan Saroiu ; Krishna P. Gummadi
Rapidly Exploring Application Design Through Speed Dating / Scott Davidoff ; Min Kyung Lee ; Anind K. Dey ; John Zimmerman
Addressing Mobile Phone Diversity in Ubicomp Experience Development / Chris Greenhalgh ; Steve Benford ; Adam Drozd ; Martin Flintham ; Alastair Hampshire ; Leif Oppermann ; Keir Smith ; Christoph von Tycowicz
Sensor Networks or Smart Artifacts? An Exploration of Organizational Issues of an Industrial Health and Safety Monitoring System / Gerd Kortuem ; David Alford ; Linden Ball ; Jerry Busby ; Nigel Davies ; Christos Efstratiou ; Joe Finney ; Marian Iszatt White ; Katharina Kinder
A Long-Term Evaluation of Sensing Modalities for Activity Recognition / Beth Logan ; Jennifer Healey ; Emmanuel Munguia Tapia ; Stephen Intille
Cooperative Augmentation of Smart Objects with Projector-Camera Systems / David Molyneaux ; Bernt Schiele
Author Index
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Damien Sauveron, Angelos Bilas, Takeo Kanade, Konstantinos Markantonakis, Jean-Jacques Quisquater, Association for Computing Machinery-Digital Library., International Federation for Information Processing.
出版情報:
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
Renato Cerqueira, Roy H. Campbell, Roy Harold Campbell, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報:
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java / Jie Hu ; Shruti Gorappa ; Juan A. Colmenares ; Raymond Klefstad
Mobile and Ubiquitous Computing
SIPHoc: Efficient SIP Middleware for Ad Hoc Networks / Patrick Stuedi ; Marcel Bihr ; Alain Remund
Vector-Field Consistency for Ad-Hoc Gaming / Nuno Santos ; Luis Veiga ; Paulo Ferreira
Correlation-Based Content Adaptation for Mobile Web Browsing / Iqbal Mohomed ; Adin Scannell ; Nilton Bila ; Jin Zhang ; Eyal de Lara
Grid and Cluster Computing
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications / Steven Y. Ko ; Ramses Morales ; Indranil Gupta
Interactive Resource-Intensive Applications Made Easy / H. Andres Lagar-Cavilla ; Niraj Tolia ; M. Satyanarayanan ; David O'Hallaron
Garbage Collecting the Grid: A Complete DGC for Activities / Denis Caromel ; Guillaume Chazarain ; Ludovic Henrio
Enhancing Communication
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines / Xiaolan Zhang ; Suzanne McIntosh ; Pankaj Rohatgi ; John Linwood Griffin
Creating Private Network Overlays for High Performance Scientific Computing / Edward Walker
A Cost-Effective Distributed File Service with QoS Guarantees / Kien Le ; Ricardo Bianchini ; Thu D. Nguyen
Resource Management
R-Capriccio: A Capacity Planning and Anomaly Detection Tool for Enterprise Services with Live Workloads / Qi Zhang ; Ludmila Cherkasova ; Guy Mathews ; Wayne Greene ; Evgenia Smirni
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems / Brian Cho
iManage: Policy-Driven Self-management for Enterprise-Scale Systems / Vibhore Kumar ; Brian F. Cooper ; Greg Eisenhauer ; Karsten Schwan
Reliability and Fault Tolerance
Middleware Support for Adaptive Dependability / Lorenz Froihofer ; Karl M. Goeschka ; Johannes Osrael
Consistent and Scalable Cache Replication for Multi-tier J2EE Applications / Francisco Perez-Sorrosal ; Marta Patino-Martinez ; Ricardo Jimenez-Peris ; Bettina Kemme
CLASP: Collaborating, Autonomous Stream Processing Systems / Michael Branson ; Fred Douglis ; Brad Fawcett ; Zhen Liu ; Anton Riabov ; Fan Ye
Asynchronous Communication
A Policy Management Framework for Content-Based Publish/Subscribe Middleware / Alex Wun ; Hans-Arno Jacobsen
Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems / Spyros Voulgaris ; Maarten van Steen
A Utility-Aware Middleware Architecture for Decentralized Group Communication Applications / Jianjun Zhang ; Ling Liu ; Lakshmish Ramaswamy ; Gong Zhang ; Calton Pu
Programming Wireless Sensor Networks with the TeenyLime Middleware / Paolo Costa ; Luca Mottola ; Amy L. Murphy ; Gian Pietro Picco
Author Index
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
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
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
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1：
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet RodrÃguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-MartÃnez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3：
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Applications of Artificial Intelligence / Section 5：
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. RodrÃguez
Image Processing and Other Applications / Section 6：
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7：
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8：
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9：
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1：
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet RodrÃguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-MartÃnez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2：
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
Luís Miguel Pinho, Michael Gonzaalez Harbour, Michael González Harbour, Takeo Kanade, Luais Miguel Pinho, Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2006
Ada-Europe International Conference on Reliable Software Technologies, Takeo Kanade, Tullio Vardanega, Andrew J. Wellings, Association for Computing Machinery-Digital Library.
出版情報:
ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
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
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
A Chaining Algorithm for Mapping cDNA Sequences to Multiple Genomic Sequences / Mohamed Abouelhoda
Edge-Guided Natural Language Text Compression / Joaquin Adiego ; Miguel A. Martinez-Prieto ; Pablo de la Fuente
Local Transpositions in Alignment of Polyphonic Musical Sequences / Julien Allali ; Pascal Ferraro ; Pierre Hanna ; Costas Iliopoulos
Efficient Computations of l[subscript 1] and l[subscript [infinity]] Rearrangement Distances / Amihood Amir ; Yonatan Aumann ; Piotr Indyk ; Avivit Levy ; Ely Porat
Tuning Approximate Boyer-Moore for Gene Sequences / Petri Kalsi ; Leena Salmela ; Jorma Tarhio
Optimal Self-adjusting Trees for Dynamic String Data in Secondary Storage / Pang Ko ; Srinivas Aluru
Indexing a Dictionary for Subset Matching Queries / Gad M. Landau ; Oren Weimann
Extending Weighting Models with a Term Quality Measure / Christina Lioma ; Iadh Ounis
Highly Frequent Terms and Sentence Retrieval / David E. Losada ; Ronald T. Fernandez
Implicit Compression Boosting with Applications to Self-indexing / Veli Makinen
A Web-Page Usage Prediction Scheme Using Weighted Suffix Trees / Christos Makris ; Yannis Panagis ; Evangelos Theodoridis ; Athanasios Tsakalidis
Enhancing Educational-Material Retrieval Using Authored-Lesson Metadata / Olivier Motelet ; Benjamin Piwowarski ; Georges Dupret ; Jose A. Pino ; Nelson Baloian
Approximate String Matching with Lempel-Ziv Compressed Indexes / Luis M.S. Russo ; Arlindo L. Oliveira
Algorithms for Weighted Matching
Efficient Text Proximity Search / Ralf Schenkel ; Andreas Broschart ; Seungwon Hwang ; Martin Theobald
Prefix-Shuffled Geometric Suffix Tree / Tetsuo Shibuya
Author Index
A Chaining Algorithm for Mapping cDNA Sequences to Multiple Genomic Sequences / Mohamed Abouelhoda
Edge-Guided Natural Language Text Compression / Joaquin Adiego ; Miguel A. Martinez-Prieto ; Pablo de la Fuente
Local Transpositions in Alignment of Polyphonic Musical Sequences / Julien Allali ; Pascal Ferraro ; Pierre Hanna ; Costas Iliopoulos
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
MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard
Sensoria Process Calculi for Service-Oriented Computing / Martin Wirsing ; Rocco De Nicola ; Stephen Gilmore ; Matthias Holzl ; Roberto Lucchi ; Mirco Tribastone ; Gianlugi Zavattaro
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks / Torsten Eymann ; Werner Streitberger ; Sebastian Hudert
Keynote Speakers
Software of the Future Is the Future of Software? / Paola Inverardi
An Algorithmic Theory of Mobile Agents / Evangelos Kranakis ; Danny Krizanc
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resources / Luis Caires
Integration of a Security Type System into a Program Logic / Reiner Hahnle ; Jing Pan ; Philipp Rummer ; Dennis Walter
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronization / Roberto Bruni ; Ivan Lanese
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines / Damien Pous
A Typed Calculus for Querying Distributed XML Documents / Lucia Acciai ; Michele Boreale ; Silvano Dal Zilio
Flexible Modeling
Verification of Model Transformations: A Case Study with BPEL / Luciano Baresi ; Karsten Ehrig ; Reiko Heckel
A Fuzzy Approach for Negotiating Quality of Services / Davide Bacciu ; Alessio Botta ; Hernan Melgratti
Algorithms and Systems for Global Computing
Scheduling to Maximize Participation / Ioannis Caragiannis ; Panagiotis Kanellopoulos ; Evi Papaioannou
On the Limits of Cache-Oblivious Matrix Transposition / Francesco Silvestri
The KOA Remote Voting System: A Summary of Work to Date / Joseph R. Kiniry ; Alan E. Morkan ; Dermot Cochran ; Fintan Fairmichael ; Patrice Chalin ; Martijn Oostdijk ; Engelbert Hubbers
Security, Anonymity and Type Safety
Security Types for Dynamic Web Data / Mariangiola Dezani-Ciancaglini ; Silvia Ghilezan ; Jovanka Pantovic
A Framework for Automatically Checking Anonymity with [mu]CRL / Tom Chothia ; Simona Orzan ; Jun Pang ; Mohammad Torabi Dashti
A Framework for Type Safe Exchange of Mobile Code / Sonia Fagorzi ; Elena Zucca
Author Index
FP6 Project Overviews
Project AEOLUS: An Overview / Christos Kaklamanis
MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory / Robin Adams ; Zhaohui Luo
Crafting a Proof Assistant / Andrea Asperti ; Claudio Sacerdoti Coen ; Enrico Tassi ; Stefano Zacchiroli
On Constructive Cut Admissibility in Deduction Modulo / Richard Bonichon ; Olivier Hermant
Fast Reflexive Arithmetic Tactics the Linear Case and Beyond / Frederic Besson
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq / Venanzio Capretta ; Amy P. Felty
Deciding Equality in the Constructor Theory / Pierre Corbineau
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family / Nils Anders Danielsson
Truth Values Algebras and Proof Normalization / Gilles Dowek
Curry-Style Types for Nominal Terms / Maribel Fernandez ; Murdoch J. Gabbay
(In)consistency of Extensions of Higher Order Logic and Type Theory / Herman Geuvers
Constructive Type Classes in Isabelle / Florian Haftmann ; Makarius Wenzel
Zermelo's Well-Ordering Theorem in Type Theory / Danko Ilik
A Finite First-Order Theory of Classes / Florent Kirchner
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers / Milad Niqui
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs / Hugo R. Simoes ; Kevin Hammond ; Mario Florido ; Pedro Vasconcelos
Subset Coercions in CoQ / Matthieu Sozeau
A Certified Distributed Security Logic for Authorizing Code / Nathan Whitehead
Author Index
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory / Robin Adams ; Zhaohui Luo
Crafting a Proof Assistant / Andrea Asperti ; Claudio Sacerdoti Coen ; Enrico Tassi ; Stefano Zacchiroli
On Constructive Cut Admissibility in Deduction Modulo / Richard Bonichon ; Olivier Hermant
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Privacy Enhancing Technologies for RFID in Retail- An Empirical Investigation / Sarah Spiekermann
Ninja: Non Identity Based, Privacy Preserving Authentication for Ubiquitous Environments / Adrian Leung ; Chris J. Mitchell
Field Deployment of IMBuddy: A Study of Privacy Control and Feedback Mechanisms for Contextual IM / Gary Hsieh ; Karen P. Tang ; Wai Yong Low ; Jason I. Hong
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments / A.J. Bernheim Brush ; Kori M. Inkpen
How Smart Homes Learn: The Evolution of the Networked Home and Household / Marshini Chetty ; Ja-Young Sung ; Rebecca E. Grinter
"My Roomba Is Rambo": Intimate Home Appliances / Lan Guo ; Henrik I. Christensen
Symbolic Object Localization Through Active Sampling of Acceleration and Sound Signatures / Kai Kunze ; Paul Lukowicz
An Exploration of Location Error Estimation / David Dearman ; Alex Varshavsky ; Eyal de Lara ; Khai N. Truong
Security by Spatial Reference: Using Relative Positioning to Authenticate Devices for Spontaneous Interaction / Rene Mayrhofer ; Hans Gellersen ; Mike Hazas
Users and Batteries: Interactions and Adaptive Energy Management in Mobile Systems / Nilanjan Banerjee ; Ahmad Rahmati ; Mark D. Corner ; Sami Rollins ; Lin Zhong
An Empirical Study of the Potential for Context-Aware Power Management / Colin Harris ; Vinny Cahill
Amigo: Proximity-Based Authentication of Mobile Devices / Adin Scannell ; Anthony LaMarca
At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line / Shwetak N. Patel ; Thomas Robertson ; Julie A. Kientz ; Matthew S. Reynolds ; Gregory D. Abowd
An 'Object-Use Fingerprint': The Use of Electronic Sensors for Human Identification / Mark R. Hodges ; Martha E. Pollack
Key Generation Based on Acceleration Data of Shaking Processes / Daniel Bichler ; Guido Stromberg ; Mario Huemer ; Manuel Low
"Merolyn the Phone": A Study of Bluetooth Naming Practices / Tim Kindberg ; Timothy Jones
Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp / Yvonne Rogers ; Kay Connelly ; Lenore Tedesco ; William Hazlewood ; Andrew Kurtz ; Robert E. Hall ; Josh Hursey ; Tammy Toscos
Locating Family Values: A Field Trial of the Whereabouts Clock / Barry Brown ; Alex S. Taylor ; Shahram Izadi ; Abigail Sellen ; Joseph 'Jofish' Kaye ; Rachel Eardley
Safeguarding Location Privacy in Wireless Ad-Hoc Networks / Tanzima Hashem ; Lars Kulik
Haggle: Seamless Networking for Mobile Applications / Jing Su ; James Scott ; Pan Hui ; Jon Crowcroft ; Christophe Diot ; Ashvin Goel ; Meng How Lim ; Eben Upton
Exploiting Social Interactions in Mobile Systems / Andrew G. Miklas ; Kiran K. Gollu ; Kelvin K.W. Chan ; Stefan Saroiu ; Krishna P. Gummadi
Rapidly Exploring Application Design Through Speed Dating / Scott Davidoff ; Min Kyung Lee ; Anind K. Dey ; John Zimmerman
Addressing Mobile Phone Diversity in Ubicomp Experience Development / Chris Greenhalgh ; Steve Benford ; Adam Drozd ; Martin Flintham ; Alastair Hampshire ; Leif Oppermann ; Keir Smith ; Christoph von Tycowicz
Sensor Networks or Smart Artifacts? An Exploration of Organizational Issues of an Industrial Health and Safety Monitoring System / Gerd Kortuem ; David Alford ; Linden Ball ; Jerry Busby ; Nigel Davies ; Christos Efstratiou ; Joe Finney ; Marian Iszatt White ; Katharina Kinder
A Long-Term Evaluation of Sensing Modalities for Activity Recognition / Beth Logan ; Jennifer Healey ; Emmanuel Munguia Tapia ; Stephen Intille
Cooperative Augmentation of Smart Objects with Projector-Camera Systems / David Molyneaux ; Bernt Schiele
Author Index
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Unconventional "Stateless" Turing-Like Machines / Joshua J. Arulanandham
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / Rudolf Freund ; Gheorghe Paun ; Mario J. Perez-Jimenez
On One Unconventional Framework for Computation / Lev Goldfarb
Computing Through Gene Assembly / Tseren-Onolt Ishdorj ; Ion Petre
Learning Vector Quantization Network for PAPR Reduction in Orthogonal Frequency Division Multiplexing Systems / Seema Khalid ; Syed Ismail Shah ; Jamil Ahmad
Binary Ant Colony Algorithm for Symbol Detection in a Spatial Multiplexing System / Adnan Khan ; Sajid Bashir ; Muhammad Naeem ; Asrar Sheikh
Quantum Authenticated Key Distribution / Naya Nagy ; Selim G. Akl
The Abstract Immune System Algorithm / Jose Pacheco ; Jose Felix Costa
Taming Non-compositionality Using New Binders / Frederic Prost
Using River Formation Dynamics to Design Heuristic Algorithms / Pablo Rabanal ; Ismael Rodriguez ; Fernando Rubio
Principles of Stochastic Local Search / Uwe Schoning
Spatial and Temporal Resource Allocation for Adaptive Parallel Genetic Algorithm / K.Y. Szeto
Gravitational Topological Quantum Computation / Mario Velez ; Juan Ospina
Computation in Sofic Quantum Dynamical Systems / Karoline Wiesner ; James P. Crutchfield
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing / Linmin Yang ; Zhe Dang ; Oscar H. Ibarra
Author Index
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
On the Semantics of Service Compositions / Harald Meyer
Expressive Reasoning with Horn Rules and Fuzzy Description Logics / Theofilos Mailis ; Giorgos Stoilos ; Giorgos Stamou
Quantified Equilibrium Logic and Hybrid Rules / Jos de Bruijn ; David Pearce ; Axel Polleres ; Agustin Valverde
Web Services Discovery and Constraints Composition / Debmalya Biswas
Ontological Reasoning to Configure Emotional Voice Synthesis / Virginia Francisco ; Pablo Gervas ; Federico Peinado
A Semantic Framework for Language Layering in WSML / Stijn Heymans
Merging Model Driven Architecture and Semantic Web for Business Rules Generation / Mouhamed Diouf ; Sofian Maabout ; Kaninda Musumbu
A Framework for Combining Rules and Geo-ontologies / Philip D. Smart ; Alia I. Abdelmoty ; Baher A. El-Geresy ; Christopher B. Jones
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer / Xi Bai ; Jigui Sun ; Zehai Li ; Xianrui Lu
[Characters not reproducible]: An Integration of Description Logic and General Rules / Jing Mei ; Zuoquan Lin ; Harold Boley
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems / Yimin Wang ; Jie Bao ; Peter Haase ; Guilin Qi
Consistent Query Answering over Description Logic Ontologies / Domenico Lembo ; Marco Ruzzi
Short Papers / II：
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results / Heiko Stoermer ; Paolo Bouquet ; Ignazio Palmisano ; Domenico Redavid
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images / Ammar Mechouche ; Christine Golbreich ; Bernard Gibaud
A Framework for Ontology Based Rule Acquisition from Web Documents / Sangun Park ; Juyoung Kang ; Wooju Kim
A Fast Algebraic Web Verification Service / Maria Alpuente ; Demis Ballis ; Moreno Falaschi ; Pedro Ojeda ; Daniel Romero
Proof Explanation in the DR-DEVICE System / Nick Bassiliades ; Grigoris Antoniou ; Guido Governatori
Rule-Based Active Domain Brokering for the Semantic Web / Erik Behrends ; Oliver Fritzen ; Tobias Knabke ; Wolfgang May ; Franz Schenk
Decidability Under the Well-Founded Semantics / Natalia Cherchago ; Pascal Httzler ; Steffen Holldobler
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services / Marco Alberti ; Federico Chesani ; Marco Gavanelli ; Evelina Lamma ; Paola Mello ; Marco Montali ; Paolo Torroni
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web / Thomas Lukasiewicz ; Umberio Straccia
AceRules: Executing Rules in Controlled Natural Language / Tobias Kuhn
Bridging Concrete and Abstract Syntax of Web Rule Languages / Milan Milanovic ; Dragan Gasevic ; Adrian Giurca ; Gerd Wagner ; Sergey Lukichev ; Vladan Devedzic
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints / Sacha Berger ; Tim Furche ; Andreas J. Hausler
Attaining Higher Quality for Density Based Algorithms / Morteza Haghir Chehreghani ; Hassan Abolhassani ; Mostafa Haghir Chehreghani
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image / Hyung Moo Kim ; Jae Soo Yoo
Hybrid Reasoning with Rules and Constraints Under Well-Founded Semantics / Jakob Henriksson
Selected Posters / III：
Extending SWRL to Enhance Mathematical Support / Alfonso Sanchez-Macian ; Encarna Pastor ; Jorge E. Lopez de Vergara ; David Lopez
Efficiently Querying Relational Databases Using OWL and SWRL / Martin O'Connor ; Ravi Shankar ; Samson Tu ; Csongor Nyulas ; Amar Das ; Mark Musen
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs / Alexandros Chortaras ; Andreas Stafylopatis
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data / Efstratios Kontopoulos
Efficient OWL Reasoning with Logic Programs - Evaluations / Sebastian Rudolph ; Markus Krotzsch ; Pascal Hitzler ; Michael Sintek ; Denny Vrandecic
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies / Tadeusz Pankowski ; Jolanta Cybulka ; Adam Meissner
Context in Rules Used in P2P Semantic Data Integration System / Grazyna Brzykcy ; Jerzy Bartoszek
Author Index
Full Papers / I：
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
ＥＢ
