A Platform for Massive Agent-Based Simulation and Its Evaluation / Gaku Yamamoto ; Hideki Tai ; Hideyuki Mizuta
Distributed Coordination of Massively Multi-Agent Systems / Nadeem Jamali ; Xinghui Zhao
Community-Based Load Balancing for Massively Multi-Agent Systems / Naoki Miyata ; Toru Ishida
Task Allocation in Massively Multi-agent Systems
A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems (Invited Paper) / MyungJoo Ham ; Gul Agha
Dynamic Pricing Algorithms for Task Allocation in Multi-agent Swarms / Prithviraj Dasgupta ; Matthew Hoeing
Teams and Organization
Evolve Individual Agent Strategies to Global Social Law by Hierarchical Immediate Diffusion / Yichuan Jiang
Team Formation Strategies in a Dynamic Large-Scale Environment / Chris L.D. Jones ; K. Suzanne Barber
Using Swarm-GAP for Distributed Task Allocation in Complex Scenarios / Paulo R. Ferreira Jr. ; Felipe S. Boffo ; Ana L.C. Bazzan
Applications of Massively Multi-agent Systems
Mousetrap 2.0 (Invited Feature) / Venkatesh G. Rao ; Brian Petty
Application of a Massively Multi-Agent System to Internet Routing Management / Osamu Akashi ; Kensuke Fukuda ; Satoshi Kurihara ; Toshio Hirotsu ; Toshiharu Sugawara
An Agent-Based Approach for Range Image Segmentation / Smaine Mazouzi ; Zahia Guessoum ; Fabien Michel ; Mohamed Batouche
Coordination in Disaster Management and Response: A Unified Approach / Myriam Abramson ; William Chao ; Joseph Macker ; Ranjeev Mittu
The Scalability of an Environment for Large-Scale Sensor-Networks / Timothy Middelkoop ; Abhijit Deshmukh
Author Index
Massively Multi-agent Infrastructure
A Platform for Massive Agent-Based Simulation and Its Evaluation / Gaku Yamamoto ; Hideki Tai ; Hideyuki Mizuta
Distributed Coordination of Massively Multi-Agent Systems / Nadeem Jamali ; Xinghui Zhao
Designing Case Handling Systems / Kees M. van Hee ; Jeroen Keiren ; Reinier Post ; Natalia Sidorova ; Jan Martijn van der Werf
Model Driven Testing Based on Test History / Isaac Corro Ramos ; Alessandro Di Bucchianico ; Lusine Hakobyan ; Kees van Hee
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization / H.M.W. (Eric) Verbeek ; A. Johannes Pretorius ; Wil M.P. van der Aalst ; Jarke J. van Wijk
Verified Software: Theories, Tools, Experiments: Vision of a Grand Challenge Project / Tony Hoare ; Jay Misra
Verification Tools
Towards a Worldwide Verification Technology / Wolfgang Paul
It Is Time to Mechanize Programming Language Metatheory / Benjamin C. Pierce ; Peter Sewell ; Stephanie Weirich ; Steve Zdancewic
Methods and Tools for Formal Software Engineering / Zhiming Liu ; R. Venkatesh
Guaranteeing Correctness
The Verified Software Challenge: A Call for a Holistic Approach to Reliability / Thomas Ball
A Mini Challenge: Build a Verifiable Filesystem / Rajeev Joshi ; Gerard J. Holzmann
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets / Alessandro Coglio ; Cordell Green
Some Interdisciplinary Observations about Getting the "Right" Specification / Cliff B. Jones
Software Engineering Aspects
Software Verification and Software Engineering a Practitioner's Perspective / Anthony Hall
Decomposing Verification Around End-User Features / Kathi Fisler ; Shriram Krishnamurthi
Verifying Object-Oriented Programming
Automatic Verification of Strongly Dynamic Software Systems / N. Dor ; J. Field ; D. Gopan ; T. Lev-Ami ; A. Loginov ; R. Manevich ; G. Ramalingam ; T. Reps ; N. Rinetzky ; M. Sagiv ; R. Wilhelm ; E. Yahav ; G. Yorsh
Reasoning about Object Structures Using Ownership / Peter Muller
Modular Reasoning in Object-Oriented Programming / David A. Naumann
Scalable Specification and Reasoning: Challenges for Program Logic / Peter W. O'Hearn
Programming Language and Methodology Aspects
Lessons from the JML Project / Gary T. Leavens ; Curtis Clifton
The Spec# Programming System: Challenges and Directions / Mike Barnett ; Robert DeLine ; Manuel Fahndrich ; Bart Jacobs ; K. Rustan M. Leino ; Wolfram Schulte ; Herman Venter
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification / Joseph R. Kiniry ; Patrice Chalin ; Clement Hurlin
Components
Automated Test Generation and Verified Software / John Rushby
Dependent Types, Theorem Proving, and Applications for a Verifying Compiler / Yves Bertot ; Laurent Thery
Generating Programs Plus Proofs by Refinement / Douglas R. Smith
Static Analysis
The Verification Grand Challenge and Abstract Interpretation / Patrick Cousot
WYSINWYX: What You See Is Not What You eXecute / G. Balakrishnan ; D. Melski ; T. Teitelbaum
Implications of a Data Structure Consistency Checking System / Viktor Kuncak ; Patrick Lam ; Karen Zee ; Martin Rinard
Towards the Integration of Symbolic and Numerical Static Analysis / Arnaud Venet
Design, Analysis and Tools
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Trends and Challenges in Algorithmic Software Verification / Rajeev Alur
Model Checking: Back and Forth between Hardware and Software / Edmund Clarke ; Anubhav Gupta ; Himanshu Jain ; Helmut Veith
Computational Logical Frameworks and Generic Program Analysis Technologies / Jose Meseguer ; Grigore Rosu
Formal Techniques
A Mechanized Program Verifier / J. Strother Moore
Verifying Design with Proof Scores / Kokichi Futatsugi ; Joseph A. Goguen ; Kazuhiro Ogata
Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge / Bernard K. Aichernig ; He Jifeng ; Mike Reed
Eiffel as a Framework for Verification / Bertrand Meyer
Position Papers
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges / Myla Archer
Verified Software: The Real Grand Challenge / Ramesh Bharadwaj
Linking the Meaning of Programs to What the Compiler Can Verify / Egon Borger
Scalable Software Model Checking Using Design for Verification / Tevfik Bultan ; Aysu Betin-Can
Toasters, Seat Belts, and Inferring Program Properties / David Evans
On the Formal Development of Safety-Critical Software / Andy Galloway ; Frantz Iwu ; John McDermid ; Ian Toyn
Verify Your Runs / Klaus Havelund ; Allen Goldberg
Specified Blocks / Eric C.R. Hehner
A Case for Specification Validation / Mats P.E. Heimdahl
Some Verification Issues at NASA Goddard Space Flight Center / Michael G. Hinchey ; James L. Rash ; Christopher A. Rouff
Performance Validation on Multicore Mobile Devices / Thomas Hubbard ; Raimondas Lencevicius ; Edu Metz ; Gopal Raghavan
Tool Integration for Reasoned Programming / Andrew Ireland
Decision Procedures for the Grand Challenge / Daniel Kroening
The Challenge of Hardware-Software Co-verification / Panagiotis Manolios
From the How to the What / Tiziana Margaria ; Bernhard Steffen
An Overview of Separation Logic / John C. Reynolds
A Perspective on Program Verification / Willem-Paul de Roever
Meta-Logical Frameworks and Formal Digital Libraries / Carsten Schurmann
Languages, Ambiguity, and Verification
The Importance of Non-theorems and Counterexamples in Program Verification / Graham Steel
Regression Verification - A Practical Way to Verify Programs / Ofer STrichman ; Benny Godlin
Programming with Proofs: Language-Based Approaches to Totally Correct Software / Aaron Stump
The Role of Model-Based Testing / Mark Utting
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification / Mitsuharu Yamamoto ; Yoshinori Tanabe ; Koichi Takahashi ; Masami Hagiya
Program Verification by Using DISCOVERER / Lu Yang ; Naijun Zhan ; Bican Xia ; Chaochen Zhou
Constraint Solving and Symbolic Execution / Jian Zhang
Author Index
Introduction
Verified Software: Theories, Tools, Experiments: Vision of a Grand Challenge Project / Tony Hoare ; Jay Misra
New Challenges in Petascale Scientific Databases / Alexander Szalay
Adventures in the Blogosphere / Nick Koudas
The Evolution of Vertical Database Architectures - A Historical Review / Per Svensson
Query Optimization in Scientific Databases
Linked Bernoulli Synopses: Sampling along Foreign Keys / Rainer Gemulla ; Philipp Rosch ; Wolfgang Lehner
Query Planning for Searching Inter-dependent Deep-Web Databases / Fan Wang ; Gagan Agrawal ; Ruoming Jin
Summarizing Two-Dimensional Data with Skyline-Based Statistical Descriptors / Graham Cormode ; Flip Korn ; S. Muthukrishnan ; Divesh Srivastava
Query Selectivity Estimation for Uncertain Data / Sarvjeet Singh ; Chris Mayfield ; Rahul Shah ; Sunil Prabhakar ; Susanne Hambrusch
Privacy
Disclosure Risks of Distance Preserving Data Transformations / E. Onur Turgay ; Thomas B. Pedersen ; Yucel Saygin ; Erkay Savas ; Albert Levi
Privacy-Preserving Publication of User Locations in the Proximity of Sensitive Sites / Bharath Krishnamachari ; Gabriel Ghinita ; Panos Kalnis
A Probabilistic Framework for Building Privacy-Preserving Synopses of Multi-dimensional Data / Filippo Furfaro ; Giuseppe M. Mazzeo ; Domenico Sacca
Searching and Mining Graphs
Efficient Similarity Search for Tree-Structured Data / Guoliang Li ; Xuhui Liu ; Jianhua Feng ; Lizhu Zhou
Hierarchical Graph Embedding for Efficient Query Processing in Very Large Traffic Networks / Hans-Peter Kriegel ; Peer Kroger ; Matthias Renz ; Tim Schmidt
Monitoring Aggregate k-NN Objects in Road Networks / Lu Qin ; Jeffrey Xu Yu ; Bolin Ding ; Yoshiharu Ishikawa
Finding Frequent Items over General Update Streams / Sumit Ganguly ; Abhayendra N. Singh ; Satyam Shankar
Efficiently Discovering Recent Frequent Items in Data Streams / Ferry Irawan Tantono ; Nishad Manerikar ; Themis Palpanas
Prioritized Evaluation of Continuous Moving Queries over Streaming Locations / Kostas Patroumpas ; Timos Sellis
Scientific Database Applications
A Comparative Evaluation of XML Difference Algorithms with Genomic Data / Cornelia Hedeler ; Norman W. Paton
Adaptive Request Scheduling for Parallel Scientific Web Services / Heshan Lin ; Xiaosong Ma ; Jiangtian Li ; Ting Yu ; Nagiza Samatova
ViP: A User-Centric View-Based Annotation Framework for Scientific Data / Qinglan Li ; Alexandros Labrinidis ; Panos K. Chrysanthis
Ontology Database: A New Method for Semantic Modeling and an Application to Brainwave Data / Paea LePendu ; Dejing Dou ; Gwen A. Frishkoff ; Jiawei Rong
Advanced Indexing Methods
The hB-pi* Tree: An Optimized Comprehensive Access Method for Frequent-Update Multi-dimensional Point Data / Panfeng Zhou ; Betty Salzberg
Breaking the Curse of Cardinality on Bitmap Indexes / Kesheng Wu ; Kurt Stockinger ; Arie Shoshani
A New Approach for Optimization of Dynamic Metric Access Methods Using an Algorithm of Effective Deletion / Renato Bueno ; Daniel dos Santos Kaster ; Agma Juci Machado Traina ; Caetano Traina Jr.
An Ontology-Based Index to Retrieve Documents with Geographic Information / Miguel R. Luaces ; Jose R. Parama ; Oscar Pedreira ; Diego Seco
Data Mining
Mining Temporal Association Patterns under a Similarity Constraint / Jin Soung Yoo ; Shashi Shekhar
A General Framework for Increasing the Robustness of PCA-Based Correlation Clustering Algorithms / Erich Schubert ; Arthur Zimek
Searching Correlated Objects in a Long Sequence / Ken C.K. Lee ; Wang-Chien Lee ; Donna Peuquet ; Baihua Zheng
Plot Query Processing with Wavelets / Mehrdad Jahangiri ; Cyrus Shahabi
Quality-Aware Probing of Uncertain Data with Resource Constraints / Jinchuan Chen ; Reynold Cheng
Short Presentations
Efficient Computation of Statistical Significance of Query Results in Databases / Vishwakarma Singh ; Arnab Bhattacharya ; Ambuj K. Singh
Analysis of Basic Data Reordering Techniques / Tan Apaydin ; Ali Saman Tosun ; Hakan Ferhatosmanoglu
Kriging for Localized Spatial Interpolation in Sensor Networks / Muhammad Umer ; Lars Kulik ; Egemen Tanin
Scalable Ubiquitous Data Access in Clustered Sensor Networks / Yueh-Hua Lee ; Alex Thomo ; Kui Wu ; Valerie King
iJoin: Importance-Aware Join Approximation over Data Streams / Dhananjay Kulkarni ; Chinya V. Ravishankar
Efficient Continuous K-Nearest Neighbor Query Processing over Moving Objects with Uncertain Speed and Direction / Yuan-Ko Huang ; Shi-Jei Liao ; Chiang Lee
ProUD: Probabilistic Ranking in Uncertain Databases / Thomas Bernecker
Poster and Demonstration Papers
Flexible Scientific Workflow Modeling Using Frames, Templates, and Dynamic Embedding / Anne H.H. Ngu ; Shawn Bowers ; Nicholas Haasch ; Timothy McPhillips ; Terence Critchlow
Examining Statistics of Workflow Evolution Provenance: A First Study / Lauro Lins ; David Koop ; Erik W. Anderson ; Steven P. Callahan ; Emanuele Santos ; Carlos E. Scheidegger ; Juliana Freire ; Claudio T. Silva
ELKI: A Software System for Evaluation of Subspace Clustering Algorithms / Elke Achtert
IVIP - A Scientific Workflow System to Support Experts in Spatial Planning of Crop Production / Christopher J. Tuot ; Michael Sintek ; Andreas R. Dengel
A FUSE-Based Tool for Accessing Meteorological Data in Remote Servers / Keiichirou Ui ; Toshiyuki Amagasa ; Hiroyuki Kitagawa
IndeGS[superscript RI]: Efficient View-Dependent Ranking in CFD Post-processing Queries with RDBMS / Christoph Brochhaus ; Thomas Seidl
Real-Time Integration of Geospatial Raster and Point Data Streams / Carlos Rueda ; Michael Gertz
IRMA: An Image Registration Meta-algorithm: Evaluating Alternative Algorithms with Multiple Metrics / Kelvin T. Leung ; D. Stott Parker ; Alexandre Cunha ; Cornelius Hojatkashani ; Ivo Dinov ; Arthur W. Toga
Author Index
Keynote Talks
New Challenges in Petascale Scientific Databases / Alexander Szalay
Partitioning Unstructured Peer-to-Peer Systems / Harris Papadakis ; Paraskevi Fragopoulou ; Evangelos P. Markatos ; Alexandros Labrinidis ; Marios Dikaiakos
Validating Desktop Grid Results by Comparing Intermediate Checkpoints / Filipe Araujo ; Patricio Domingues ; Derrick Kondo ; Luis Moura Silva
Integration of the eNANOS Execution Framework with GRMS / Ivan Rodero ; Francesc Guim ; Julita Corbalan ; Jesus Labarta ; Ariel Oleksiak ; Krzysztof Kurowski ; Jarek Nabrzyski
User-Transparent Scheduling for HOCs / Cătălin L. Dumitrescu ; Jan Dunnweber ; Sergei Gorlatch ; Dick H.J. Epema
Problem Solving Environment for Distributed Interactive Applications / Katarzyna Rycerz ; Marian Bubak ; Peter Sloot ; Vladimir Getov
Fault-Tolerant Data Sharing for High-level Grid Programming / Marco Aldinucci ; Marco Danelutto ; Gabriel Antoniu ; Mathieu Jan
PAL: Exploiting Java Annotations for Parallelism / Marcelo Pasin ; Marco Vanneschi ; Patrizio Dazzi ; Domenico Laforenza ; Luigi Presti
A New Approach on Network Resources Management in Grids / Ranieri Baraglia ; Renato Ferrini ; Stefano Giordano ; Nicola Tonellotto ; Davide Adami ; Ramin Yahyapour
Componentising a Scientific Application for the Grid / Nikos Parlavantzas ; Matthieu Morel ; Fabrice Huet ; Francoise Baude ; Denis Caromel
A Peer-to-Peer Framework for Resource Discovery in Large-Scale Grids / Domenico Talia ; Paolo Trunfio ; Jingdi Zeng ; Mikael Högqvist
GRID Superscalar and GriCoL: Integrating Different Programming Approaches / Raül Sirvent ; Rosa M. Badia ; Natalia Currle-Linde ; Michael Resch
Deriving Policies from Grid Security Requirements Model / Syed Naqvi ; Alvaro E. Arenas ; Philippe Massonet
Domain-Specific Metadata / Jeyarajan Thiyagalingam ; Sofia Panagiotidi ; Olav Beckmann ; John Darlington
A Service for Reliable Execution of Grid Applications / Elzbieta Krepska ; Thilo Kielmann
Performance monitoring of GRID superscalar with OCM-G/G-PM / Raul Sirvent ; Piotr Machner ; Wlodzimierz Funika
Improving Workflow Execution / Philipp Wieder ; Oliver Wäldrich ; Wolfgang Ziegler
Dependability Evaluation of the OGSA-DAI Middleware / William Hoarau ; Sébastien Tixeuil ; Nuno Rodrigues ; Décio Sousa ; Luis Silva
Author Index
Foreword
Contributing Authors
Partitioning Unstructured Peer-to-Peer Systems / Harris Papadakis ; Paraskevi Fragopoulou ; Evangelos P. Markatos ; Alexandros Labrinidis ; Marios Dikaiakos