The Number of Triangulations on Planar Point Sets / Emo Welzl
The Algorithmic Beauty of Digital Nature / Oliver Deussen
Papers
Integrating Edge Routing into Force-Directed Layout / Tim Dwyer ; Kim Marriott ; Michael Wybrow
Multipole-Based Force Approximation Revisited - A Simple but Fast Implementation Using a Dynamized Enclosing-Circle-Enhanced k-d-Tree / Ulrich Lauther
SSDE: Fast Graph Drawing Using Sampled Spectral Distance Embedding / Ali Civril ; Malik Magdon-Ismail ; Eli Bocek-Rivele
Eigensolver Methods for Progressive Multidimensional Scaling of Large Data / Ulrik Brandes ; Christian Pich
Angle and Distance Constraints on Tree Drawings / Barbara Schlieper
Schematisation of Tree Drawings / Joachim Gudmundsson ; Marc van Kreveld ; Damian Merrick
Trees with Convex Faces and Optimal Angles / Josiah Carlson ; David Eppstein
Three-Dimensional Drawings of Bounded Degree Trees / Fabrizio Frati ; Giuseppe Di Battista
Simultaneous Graph Embedding with Bends and Circular Arcs / Justin Cappos ; Alejandro Estrella-Balderrama ; J. Joseph Fowler ; Stephen G. Kobourov
Embedding Graphs Simultaneously with Fixed Edges
Drawing Cubic Graphs with at Most Five Slopes / Balazs Keszegh ; Janos Pach ; Domotor Palvolgyi ; Geza Toth
Planarity Testing and Optimal Edge Insertion with Embedding Constraints / Carsten Gutwenger ; Karsten Klein ; Petra Mutzel
Open Rectangle-of-Influence Drawings of Inner Triangulated Plane Graphs / Kazuyuki Miura ; Tetsuya Matsuno ; Takao Nishizeki
Planar Decompositions and the Crossing Number of Graphs with an Excluded Minor / David R. Wood ; Jan Arne Telle
On the Crossing Number of Almost Planar Graphs / Petr Hlineny ; Gelasio Salazar
On the Decay of Crossing Numbers / Jacob Fox ; Csaba D. Toth
How Important Is the "Mental Map"? - An Empirical Investigation of a Dynamic Graph Layout Algorithm / Helen C. Purchase ; Eve Hoggan ; Carsten Gorg
Computing Geometric Minimum-Dilation Graphs Is NP-Hard / Rolf Klein ; Martin Kutz
Chordal Graphs as Intersection Graphs of Pseudosegments / Cornelia Dangelmayr ; Stefan Felsner
Parameterized st-Orientations of Graphs: Algorithms and Experiments / Charalampos Papamanthou ; Ioannis G. Tollis
Straight-Line Drawing of Quadrangulations / Eric Fusy
Visualizing Large and Clustered Networks / Katharina A. Lehmann ; Stephan Kottler
Partitioned Drawings / Martin Siebenhaller
Path Simplification for Metro Map Layout
Minimizing Intra-edge Crossings in Wiring Diagrams and Public Transportation Maps / Marc Benkert ; Martin Nollenburg ; Takeaki Uno ; Alexander Wolff
Upright-Quad Drawing of st-Planar Learning Spaces
Choosing Colors for Geometric Graphs Via Color Space Embeddings / Michael B. Dillencourt ; Michael T. Goodrich
Morphing Planar Graphs in Spherical Space / Matthew Landis
k-Colored Point-Set Embeddability of Outerplanar Graphs / Emilio Di Giacomo ; Walter Didimo ; Giuseppe Liotta ; Henk Meijer ; Francesco Trotta ; Stephen K. Wismath
Thickness of Bar 1-Visibility Graphs / Mareike Massow
A New Approximation Algorithm for Bend Minimization in the Kandinsky Model / Wilhelm Barth ; Canan Yildiz
Radial Drawings of Graphs: Geometric Constraints and Trade-Offs
Characterization of Unlabeled Level Planar Trees
Drawing Bipartite Graphs on Two Curves / Luca Grilli
Improved Circular Layouts / Emden R. Gansner ; Yehuda Koren
Controllable and Progressive Edge Clustering for Large Networks / Huamin Qu ; Hong Zhou ; Yingcai Wu
Biclique Edge Cover Graphs and Confluent Drawings / Michael Hirsch ; David Rappaport
Schnyder Woods and Orthogonal Surfaces / Florian Zickfeld
Partitions of Graphs into Trees / Therese Biedl ; Franz J. Brandenburg
Posters
The Website for Graph Visualization Software References (GVSR) / Bruno Pinaud ; Pascale Kuntz ; Fabien Picarougne
Smoother Transitions Between Breadth-First-Spanning-Tree-Based Drawings / Christopher Homan ; Andrew Pavlo ; Jonathan Schull
Corrections
Fast Node Overlap Removal-Correction / Peter J. Stuckey
Graph Drawing Contest
Graph-Drawing Contest Report / Christian A. Duncan ; Gunnar Klau ; Georg Sander|
Author Index
Invited Talks
The Number of Triangulations on Planar Point Sets / Emo Welzl
The Algorithmic Beauty of Digital Nature / Oliver Deussen
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele
On Advantages of Scheduling Using Genetic Fuzzy Systems / Carsten Franke ; Joachim Lepping ; Uwe Schwiegelshohn
Moldable Parallel Job Scheduling Using Job Efficiency: An Iterative Approach / Gerald Sabin ; Matthew Lang ; P. Sadayappan
Adaptive Job Scheduling Via Predictive Job Resource Allocation / Lawrence Barsanti ; Angela C. Sodan
A Data Locality Aware Online Scheduling Approach for I/O-Intensive Jobs with File Sharing / Gaurav Khanna ; Umit Catalyurek ; Tahsin Kurc ; Joel Saltz
Volunteer Computing on Clusters / Deepti Vyas ; Jaspal Subhlok
Load Balancing: Toward the Infinite Network and Beyond / Javier Bustos-Jimenez ; Denis Caromel ; Jose M. Piquer
Symbiotic Space-Sharing on SDSC's DataStar System / Jonathan Weinberg ; Allan Snavely
Modeling Job Arrivals in a Data-Intensive Grid / Hui Li ; Michael Muskulus ; Lex Wolters
On Grid Performance Evaluation Using Synthetic Workloads / Alexandru Iosup ; Dick H.J. Epema ; Alexander Papaspyrou ; Lars Schley ; Baiyi Song ; Ramin Yahyapour
Author Index
Provably Efficient Two-Level Adaptive Scheduling / Yuxiong He ; Wen-Jing Hsu ; Charles E. Leiserson
Scheduling Dynamically Spawned Processes in MPI-2 / Marcia C. Cera ; Guilherme P. Pezzi ; Mauricio L. Pilla ; Nicolas Maillard ; Philippe O.A. Navaux
David Hutchison, Fran?ois Fages, Mohand-Sa?d Hacid, Takeo Kanade, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, S. Spaccapietra, Juan Trujillo, Ilya Zaihrayeu, SpringerLink (Online service)
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques / Michael Leuschel ; Stephen-John Craig ; Dan Elphick
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs / Gustavo Arroyo ; J. Guadalupe Ramos ; Josep Silva ; German Vidal
Towards Description and Optimization of Abstract Machines in an Extension of Prolog / Jose F. Morales ; Manuel Carro ; Manuel Hermenegildo
Security and Synthesis
Combining Different Proof Techniques for Verifying Information Flow Security / Heiko Mantel ; Henning Sudbrock ; Tina Krausser
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors / Simon Winwood ; Gerwin Klein ; Manuel M.T. Chakravarty
Synthesis of Asynchronous Systems / Sven Schewe ; Bernd Finkbeiner
Debugging and Testing
A Comparative Study of Algorithmic Debugging Strategies
A Program Transformation for Tracing Functional Logic Computations / Bernd Brassel ; Sebastian Fischer ; Frank Huch
Termination and Analysis
Automated Termination Analysis for Logic Programs by Term Rewriting / Peter Schneider-Kamp ; Jurgen Giesl ; Alexander Serebrenik ; Rene Thiemann
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator / Etienne Payet
Polytool: Proving Termination Automatically Based on Polynomial Interpretations / Manh Thang Nguyen ; Danny De Schreye
Grids: A Domain for Analyzing the Distribution of Numerical Values / Roberto Bagnara ; Katy Dobson ; Patricia M. Hill ; Matthew Mundell ; Enea Zaffanella
Author Index
Invited Talks
How to Talk to a Human: The Semantic Web and the Clash of the Titans / Massimo Marchiori
Weakly-Private Secret Sharing Schemes / Amos Beimel ; Matthew Franklin
On Secret Sharing Schemes, Matroids and Polymatroids / Jaume Marti-Farre ; Carles Padro
Secure Linear Algebra Using Linearly Recurrent Sequences / Eike Kiltz ; Payman Mohassel ; Enav Weinreb
Towards Optimal and Efficient Perfectly Secure Message Transmission / Matthias Fitzi ; Juan Garay ; S. Harsha Vardhan
Signatures and Watermarking
Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions / Carmit Hazay ; Jonathan Katz ; Chiu-Yuen Koo
Designated Confirmer Signatures Revisited
From Weak to Strong Watermarking / Nicholas Hopper ; David Molnar ; David Wagner
Private Approximation and Black-Box Reductions
Private Approximation of Clustering and Vertex Cover / Renen Hallak ; Kobbi Nissim
Robuster Combiners for Oblivious Transfer / Remo Meier ; Bartosz Przydatek ; Jurg Wullschleger
One-Way Permutations, Interactive Hashing and Statistically Hiding Commitments
Towards a Separation of Semantic and CCA Security for Public Key Encryption / Yael Gertner ; Tal Malkin ; Steven Myers
Key Establishment
Unifying Classical and Quantum Key Distillation / Matthias Christandl ; Artur Ekert ; Michal Horodecki ; Pawel Horodecki ; Jonathan Oppenheim ; Renato Renner
Intrusion-Resilient Key Exchange in the Bounded Retrieval Model / David Cash ; Yan Zong Ding ; Wenke Lee ; Richard Lipton
(Password) Authenticated Key Establishment: From 2-Party to Group / Michel Abdalla ; Jens-Matthias Bohli ; Maria Isabel Gonzalez Vasco ; Rainer Steinwandt
Encryption II
Multi-authority Attribute Based Encryption / Melissa Chase
Conjunctive, Subset, and Range Queries on Encrypted Data / Dan Boneh ; Brent Waters
How to Shuffle in Public / Ben Adida
Evaluating Branching Programs on Encrypted Data / Yuval Ishai ; Anat Paskin
Author Index
Encryption I
Does Privacy Require True Randomness? / Carl Bosley ; Yevgeniy Dodis
Tackling Adaptive Corruptions in Multicast Encryption Protocols / Saurabh Panjwani
Performance Analysis of Wireless Multihop Data Networks / Nidhi Hegde ; Alexandre Proutiere
On the Shaping Introduced by IEEE 802.11 Nodes in Long-Range Dependent Traffic / David Rincon ; David Remondo ; Cristina Cano
Vehicular Networks
Measurements of IEEE 802.11g-Based Ad-Hoc Networks in Motion / Karin A. Hummel ; Alexander C. Adrowitzer ; Helmut Hlavacs
TrafficNet: A L2 Network Architecture for Road-to-Vehicle Communication / David Fuste-Vilella ; Jose-Miguel Pulido ; Jorge Garcia-Vidal ; Steluta Gheorghiu
WLAN and Sensor Networks Protocols
A Protocol Stack for Cooperative Wireless Networks / Jorge Garcia- Vidal ; Manel Guerrero-Zapata ; Julian Morillo-Pozo ; David Fuste- Vilella
Cross Layer Routing and Medium Access Control with Channel Dependant Forwarding in Wireless Ad-Hoc Networks / Anders Nilsson ; Per Johansson ; Ulf Korner
An Energy-Efficient Low-Latency Multi-sink MAC Protocol for Alarm-Driven Wireless Sensor Networks / Antonio Grilo ; Mario Macedo ; Mario Nunes
QoS and Routing in Ad-Hoc Networks
Adaptive QoS Reservation Scheme for Ad-Hoc Networks / Rafael Paoliello-Guimaraes ; Llorenc Cerda-Alabern
DiffServ in Ad Hoc Networks / Tor Kjetil Moseng ; Oivind Kure
Analytical Evaluation of the Overhead Generated by a Routing Scheme with Subnets for MANETs / Johann Lopez ; Jose M. Barcelo
Heterogeneous Networks
Framework for Resource Allocation in Heterogeneous Wireless Networks Using Game Theory / Mariana Dirani ; Tijani Chahed
On the Performance of Mobile IP in Wireless LAN Environments / Rastin Pries ; Andreas Mader ; Dirk Staehle ; Matthias Wiesen
Network Selection Box: An Implementation of Seamless Communication / Stefan Chevul ; Lennart Isaksson ; Markus Fiedler ; Peter Lindberg ; Roland Waltersson
Resource Management in Cellular Networks
Joint Connection and Packet Level Analysis in W-CDMA Radio Interface / Vilius Benetis ; Larissa Popova ; Villy Baek Iversen
Trunk Reservation in Multi-service Networks with BPP Traffic / Zheng He ; Qi Zhang
Feasible Load Regions for Different RRM Strategies for the Enhanced Uplink in UMTS Networks / Tuo Liu ; Hans Barth
TCP in Wireless
On the Interactions Between TCP Westwood and the AODV Routing Protocol / Rosario G. Garroppo ; Luca Tavanti ; Stefano Giordano ; Stefano Lucetti
Stability and Dynamics of TCP-NCR(DCR) Protocol in Presence of UDP Flows / Tadeusz Czachorski ; Krzysztof Grochla ; Ferhan Pekergin
Mobility Agents
Optimization Models for Application Migration to Support Mobile Thin Clients / Pieter Simoens ; Lien Deboosere ; Davy De Winter ; Filip De Turck ; Bart Dhoedt ; Piet Demeester
Author Index
WLAN Characterization
Performance Analysis of Wireless Multihop Data Networks / Nidhi Hegde ; Alexandre Proutiere
On the Shaping Introduced by IEEE 802.11 Nodes in Long-Range Dependent Traffic / David Rincon ; David Remondo ; Cristina Cano
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
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
Accommodating Streams to Support Active Conceptual Modeling of Learning from Surprises / Subhasish Mazumdar
Invited Paper
Approaches to the Active Conceptual Modelling of Learning / Hannu Kangassalo
Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling / Stefano Spaccapietra ; Christine Parent ; Esteban Zimányi
Postponing Schema Definition: Low Instance-to-Entity Radio (LitER) Modelling / John F. Roddick ; Aaron Ceglar ; Denise de Vries ; Somluck La-Ongsri
Research Issues in Active Conceptual Modeling of Learning: Summary of Panel Discussions in Two Workshops (May 2006) and (November 2006) / Lois Delcambre ; Jacky Akoka ; Arne Sølvberg ; Raymond Liuzzi
Author Index
Overview of Papers in 2006 Active Conceptual Modeling of Learning (ACM-L) Workshop / Peter P. Chen ; Leah Y. Wong
Architecture for Active Conceptual Modeling of Learning / T.C. Ting ; Leah Wong
Understanding the Semantics of Data Provenance to Support Active Conceptual Modeling / Sudha Ram ; Jun Liu
Gary J. Minden, Kenneth L. Calvert, David Hutchison, Takeo Kanade, Marcin Solarski, Miki Yamamoto, International Federation for Information Processing.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
Topology Control and Geographic Routing in Realistic Wireless Networks / Kevin M. Lillis ; Sriram V. Pemmaraju ; Imran A. Pirwani
Routing in Wireless Networks with Position Trees / Edgar Chavez ; Nathalie Mitton ; Hector Tejeda
Statistical Monitoring to Control a Proactive Routing Protocol / Kahkashan Shaukat ; Violet R. Syrotiuk
Topology Control
A Faster Distributed Approximation Scheme for the Connected Dominating Set Problem for Growth-Bounded Graphs / Beat Gfeller ; Elias Vicari
Coordinating Concurrent Transmissions: A Constant-Factor Approximation of Maximum-Weight Independent Set in Local Conflict Graphs / Petteri Kaski ; Aleksi Penttinen ; Jukka Suomela
Information Brokerage Via Location-Free Double Rulings / Stefan Funke ; Imran Rauf
Level Set Estimation Using Uncoordinated Mobile Sensors / Gagan Raj Gupta ; Parmesh Ramanathan
The Impact of Delay in Dominating Set and Neighbor Elimination Based Broadcasting in Ad Hoc Networks / Fabian Garcia-Nocetti ; Francisco Javier Ovalle-Martinez ; Julio Solano-Gonzalez ; Ivan Stojmenovic
Security and Privacy
Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation / Shukor Abd Razak ; Steven Furnell ; Nathan Clarke ; Phillip Brooke
Dependable and Secure Distributed Storage System for Ad Hoc Networks / Rudi Ball ; James Grant ; Jonathan So ; Victoria Spurrett ; Rogerio de Lemos
An Energy and Communication Efficient Group Key in Sensor Networks Using Elliptic Curve Polynomial / Biswajit Panja ; Sanjay Kumar Madria
Protocols
A Cooperative CDMA-Based Multi-channel MAC Protocol for Ad Hoc Networks / Yuhan Moon
FDAR: A Load-Balanced Routing Scheme for Mobile Ad-Hoc Networks / XiaoRan Wang ; Shigeaki Tagashira ; Satoshi Fujita
TOLB: A Traffic-Oblivious Load-Balancing Protocol for Next-Generation Sensornets / Mohamed Aly ; Anandha Gopalan
A Comparative Analysis of Multicast Protocols for Small MANET Groups / Abderrahim Benslimane ; Cedric Ferraris ; Abdelhakim Hafid
ODCP: An On-Demand Clustering Protocol for Directed Diffusion / Arash Nasiri Eghbali ; Hadi Sanjani ; Mehdi Dehghan
Quality of Service and Performance
Quality of Service Support for ODMRP Multicast Routing in Ad Hoc Networks / Amir Darehshoorzadeh ; M. Reza Jahed Motlagh
The Analysis of Fault Tolerance in Triangular Topology Sensor Networks / Diwen Wu ; Dongqing Xie
Performance Modeling of Mobile Sensor Networks / Jerzy Martyna
Electronic-Oriented IP Address Auto-Configuration Protocol for MANET / Jin-Ok Hwang ; Hyo-Beom Lee ; Sung-Gi Min
Author Index
Routing
Local Routing on Tori / Maia Fraser
Topology Control and Geographic Routing in Realistic Wireless Networks / Kevin M. Lillis ; Sriram V. Pemmaraju ; Imran A. Pirwani
Chip Multi-Threading and the SPARC Evolution / David W. Yen
The Multicore Programming Challenge / Barbara Chapman
Advanced Microprocessor Architecture / Session 1：
Replication-Based Partial Dynamic Scheduling on Heterogeneous Network Processors / Zhiyong Yu ; Zhiyi Yang ; Fan Zhang ; Zhiwen Yu ; Tuanqing Zhang
The Optimum Location of Delay Latches Between Dynamic Pipeline Stages / Mahmoud Lotfi Anhar ; Mohammad Ali Jabraeil Jamali
A Novel Fault-Tolerant Parallel Algorithm / Panfeng Wang ; Yunfei Du ; Hongyi Fu ; Haifang Zhou ; Xuejun Yang ; Wenjing Yang
The Design on SEU-Tolerant Information Processing System of the On-Board-Computer / Huang Ying ; Zhang Chun-yuan ; Liu Dong ; Li Yi ; Weng Sheng-xin
Balancing Thread Partition for Efficiently Exploiting Speculative Thread-Level Parallelism / Yaobin Wang ; Hong An ; Bo Liang ; Li Wang ; Ming Cong ; Yongqing Ren
Design and Implementation of a High-speed Reconfigurable Modular Arithmetic Unit / Wei Li ; Zibin Dai ; Tao Chen ; Tao Meng ; Xuan Yang
Virtual Disk Monitor Based on Multi-core EFI / Xizhe Zhang ; Shensheng Zhang ; Zijian Deng
An Optimal Design Method for De-synchronous Circuit Based on Control Graph / Gang Jin ; Lei Wang ; Zhiying Wang ; Kui Dai
Evaluating a Low-Power Dual-Core Architecture / Yijun Liu ; Pinghua Chen ; Guobo Xie ; Guangcong Liu ; Zhenkun Li
Parallel Distributed System Architectures / Session 2：
Reducing Storage Requirements in Accelerating Algorithm of Global BioSequence Alignment on FPGA / Fei Xia ; Yong Dou
Multi-cluster Load Balancing Based on Process Migration / Xiao Ying Wang ; ZiYu Zhu ; ZhiHui Du ; SanLi Li
Property-Preserving Composition of Distributed System Components / K.S. Cheung ; K.O. Chow
A Distributed Scheduling Algorithm in Central-stage Buffered Multi-stage Switching Fabrics / Yuxiang Hu ; Fang Dong ; Julong Lan
Improving Recovery in Weak-Voting Data Replication / Luis H. Garcia-Munoz ; Ruben de Juan-Marin ; J. Enrique Armendariz-Inigo ; Francesc D. Munoz-Escoi
Exploring Data Reusing of Failed Transaction / Shaogang Wang ; Dan Wu ; Xiaodong Yang ; Zhengbin Pang
A Parallel BSP Algorithm for Irregular Dynamic Programming / Malcolm Yoke Hean Low ; Weiguo Liu ; Bertil Schmidt
Context-Aware Middleware Support for Component Based Applications in Pervasive Computing / Di Zheng ; Yan Jia ; Peng Zhou ; Wei-Hong Han
Design of High-Speed String Matching Based on Servos' Array / Wang Jie ; Ji Zhen-zhou ; Hu Ming-zeng
An Efficient Construction of Node Disjoint Paths in OTIS Networks / Weidong Chen ; Wenjun Xiao ; Behrooz Parhami
Pampoo: An Efficient Skip-Trie Based Query Processing Framework for P2P Systems / Li Meifang ; Zhu Hongkai ; Shen Derong ; Nie Tiezheng ; Kou Yue ; Yu Ge
On the Implementation of Virtual Array Using Configuration Plane / Yong-Sheng Yin ; Li Li ; Ming-Lun Gao ; Gao-Ming Du ; Yu-Kun Song
Analysis on Memory-Space-Memory Clos Packet Switching Network / Xiangjie Ma ; Junpeng Mao ; Lian Guan ; Baisheng Zhang
Measurement of High-Speed IP Traffic Behavior Based on Routers
The Design and Implementation of the DVS Based Dynamic Compiler for Power Reduction / Xiang LingXiang ; Huang JiangWei ; Sheng Weihua ; Chen TianZhou
Optimal Routing Algorithm and Diameter in Hexagonal Torus Networks / Zhen Zhang ; Mingxin He
Implementation and Performance Evaluation of an Adaptable Failure Detector in iSCSI / Guang Yang ; Jingli Zhou ; Gang Liu
A Niching Gene Expression Programming Algorithm Based on Parallel Model / Yishen Lin ; Hong Peng ; Jia Wei
Grid Computing / Session 3：
ComNET: A P2P Community Network / Zhentao Sun
Data Grid Model Based on Structured P2P Overlay Network / Wei Song ; Yuelong Zhao ; Wenying Zeng ; Wenfeng Wang
PeerTR: A Peer-to-Peer Terrain Roaming Architecture / Sheng Zheng ; Zhanwu Yu ; Zhongmin Li ; Lu Gao
SDRD: A Novel Approach to Resource Discovery in Grid Environments / Yiduo Mei ; Xiaoshe Dong ; Weiguo Wu ; Shangyuan Guan ; Junyang Li
A Comparative Study of Two Java High Performance Environments for Implementing Parallel Iterative Methods / Jacques M. Bahi ; Raphael Couturier ; David Laiymani ; Kamel Mazouzi
SIGRE - An Autonomic Spatial Information Grid Runtime Environment for Geo-computation / ZhenChun Huang ; GuoQing Li ; Bin Du ; Yi Zeng ; Lei Gu
A Flexible Job Scheduling System for Heterogeneous Grids / Lan Cheng ; Hai Jin ; Li Qi ; Yongcai Tao
n-Cube Model for Cluster Computing and Its Evaluation / Tian Song ; Dongsheng Wang ; Meizhi Hu ; Yibo Xue
Interconnection Networks / Session 4：
An Algorithm to Find Optimal Double-Loop Networks with Non-unit Steps / Xiaoping Dai ; Jianqin Zhou ; Kaihou Wang
Self-adaptive Adjustment on Bandwidth in Application-Layer Multicast / Jianqun Cui ; Yanxiang He ; Libing Wu
Overlay Multicast Routing Algorithm with Delay and Delay Variation Constraints / Longxin Lin ; Jie Zhou ; Zhao Ye
Selfish MAC Layer Misbehavior Detection Model for the IEEE 802.11-Based Wireless Mesh Networks / Hongjian Li ; Ming Xu ; Yi Li
rHALB: A New Load-Balanced Routing Algorithm for k-ary n-cube Networks / Huaxi Gu ; Jie Zhang ; Kun Wang ; Changshan Wang
P2P File Sharing in Wireless Mesh Networks / Luo Huiqiong ; Ding Xuyang ; Lao Hansheng ; Wang Wenmin
General Biswapped Networks and Their Topological Properties / Wenhong Wei
Design a Hierarchical Cache System for Effective Loss Recovery in Reliable Multicast / Zhijun Wang ; Xiaopeng Fan ; Jiannong Cao
A Novel Design of Hidden Web Crawler Using Reinforcement Learning Based Agents / J. Akilandeswari ; N.P. Gopalan
Look-Ahead Adaptive Routing on k-Ary n-Trees / Quanbao Sun ; Liquan Xiao ; Minxuan Zhang
Network Protocols / Session 5：
A Beehive Algorithm Based QoS Unicast Routing Scheme with ABC Supported / Xingwei Wang ; Guang Liang ; Min Huang
An Effective Real-time Rate Control Scheme for Video Codec / Wei Sun ; Haoshan Shi
An Anti-Statistical Analysis LSB Steganography Incorporating Extended Cat-Mapping / Wenxiao Chen ; Jing Cai ; Siwei Li
Geographic Probabilistic Routing Protocol for Wireless Mesh Network / Ning Xiao ; Ling Ding ; Minglu Li ; Minyou Wu
Towards a New Methodology for Estimating Available Bandwidth on Network Paths / Shaohe Lv ; Xiaodong Wang ; Xingming Zhou ; Jianping Yin
Design and Realization of Multi-protocol Communication Model for Network Security Management System / Shouling Dong ; Jiaming Luo
Enhanced and Authenticated Deterministic Packet Marking for IP Traceback / Dan Peng ; Zhicai Shi ; Longming Tao ; Wu Ma
Pervasive and Mobile Computing Architectures / Session 6：
A Designing Method for High-Rate Serial Communication / Gongxuan Zhang ; Ling Wang ; Bin Song
A Comprehensive Efficient Flooding Algorithm Using Directional Antennas for Mobile Ad Hoc Networks / Xianlong Jiao
Multi-robot Task Allocation Using Compound Emotion Algorithm / Wei Yuan ; Bi Zeng
The Security Threats and Corresponding Measures to Distributed Storage Systems / Lanxiang Chen ; Dan Feng ; Liang Ming
Task Scheduling and Load Balancing / Session 7：
Research on Dynamic Load Balancing Algorithms for Parallel Transportation Simulations / Dongliang Zhang ; Changjun Jiang ; Shu Li
Embedded System's Performance Analysis with RTC and QT / Fulong Chen ; Xiaoya Fan
Scheduling Meetings in Distance Learning / Jian Wang ; Changyong Niu ; Ruimin Shen
Domain Level Page Sharing in Xen Virtual Machine Systems / Myeongjae Jeon ; Euiseong Seo ; Junghyun Kim ; Joonwon Lee
Software Engineering / Session 8：
Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization / Zhiguo Zhang ; Yunfei Jiang
Efficient Voice User Interface System Using VoiceXML and ASP.NET 2.0 / Byung-Seok Kang ; Gi-Jong Yoo
Array Modeling in Java Virtual Machine / Wu Weimin ; Li Kailun ; Su Qing
Configuration Modeling Based Software Product Development / Yi-yuan Li ; Jian-wei Yin ; Yin Li ; Jin-xiang Dong
Formal Semantic Meanings of Architecture-Centric Model Mapping / Xiao Yang ; Jinkui Hou ; Jiancheng Wan
Exploiting Thread-Level Parallelism of Irregular LDPC Decoder with Simultaneous Multi-threading Technique / Xing Fang ; Dong Wang ; Shuming Chen
P2P Distributed Cooperative Work Model Based on JXTA Platform / Gao Bao-Qing ; Fu Xiu-Fen ; Xu Su-Xia
EasyPAB: An Extensible IDE Framework for Parallel Applications / Yu Ce ; Sun Jizhou ; Huang Yanyan ; Wu Huabei ; Xu Zhen ; Sun Min
The Implementation of Parallel Genetic Algorithm Based on MATLAB / Chen Guifen ; Wan Baocheng ; Yu Helong
Other Issues
Composing Software Evolution Process Component / Fei Dai ; Tong Li
Asynchronous Spiking Neural P System with Promoters / Zhimin Yuan
Fingerprint Classification Method Based on Analysis of Singularities and Geometric Framework / Taizhe Tan ; Yinwei Zhan ; Lei Ding ; Sun Sheng
Study on Embedded Vehicle Dynamic Location Navigation Supported by Network and Route Availability Model / Zhang Dong ; Qian Depei ; Liu Ailong ; Chen Tao ; Yang Xuewei
Convolution Filter Based Pencil Drawing and Its Implementation on GPU / Dang-en Xie ; Yang Zhao ; Dan Xu ; Xiaochuan Yang
Improved LLE Algorithm for Motion Analysis / Honggui Li ; Xingguo Li
Hybrid GA Based Online Support Vector Machine Model for Short-Term Traffic Flow Forecasting / Haowei Su ; Shu Yu
Composed Fuzzy Rough Set and Its Applications in Fuzzy RSAR / Weigen Qiu ; Zhibin Hu
Author Index
Invited Talks
Scalability for Petaflops systems / Arndt Bode
Chip Multi-Threading and the SPARC Evolution / David W. Yen
ＥＢ
