31st Hawaii International Conference on
System Sciences31st Hawaii International Conference on
System Sciences
| Preface | xii |
| Introduction | xiii |
| Referees | xiv |
| Agents: Mobility and Communication | 2 |
| D.S. Milojicic, D. Musliner, and W. Schroeder-Preikschat | |
| Managing Large Scale Computational Markets | 4 |
| A. Andersson and F. Ygge | |
| Coordination Based on Obligation | 14 |
| M. Barbuceanu, T. Gray, and S. Mankovski | |
| Mobile Intelligent Agents for the Management of the Information Infrastructure | 24 |
| S. Covaci, T. Zhang, and I. Busse | |
| Integrating Java-Based Mobile Agents into Web Servers under Security Concerns | 34 |
| S. Fuenfrocken | |
| Security and Reliability in Concordia | 44 |
| T. Walsh, N. Paciorek, and D. Wong | |
| Communication and Tracking Infrastructure of a Mobile Agent System | 54 |
| J. Desbiens, M. Lavoie, and F. Renaud | |
| Using IP Multicast to Improve Communication in Large Scale Mobile Agent Systems | 64 |
| J. Hartroth and M. Hofmann | |
| Mobile Agents for Adaptive Routing | 74 |
| G. Di Caro and M. Dorigo |
| Effects of Parallelism Degree on Run-Time Parallelization of Loops | 86 |
| C. Xu | |
| Mapping of Parallel Tasks to Multiprocessors with Duplication | 96 |
| G.-L. Park, B. Shirazi, and J. Marquis | |
| An Automated Method for Software Controlled Cache Prefetching | 106 |
| D.F. Zucker, R.B. Lee, and M.J. Flynn | |
| Decreasing Process Memory Requirements by Overlapping Program Portions | 115 |
| R.L. Bowman, E.J. Ratliff, and D.B. Whalley |
| Computational Steering | 126 |
| E. Kraemer and J. Vetter | |
| CUMULVS: Extending a Generic Steering and Visualization Middleware for Application Fault-Tolerance | 127 |
| P.M. Papadopoulos, J.A. Kohl, and B.D. Semeraro | |
| Balancing Consistency and Lag in Transaction-Based Computational Steering | 137 |
| E. Kraemer, D. Hart, and G.-C. Roman | |
| An Integrated Problem Solving Environment: The SCIRun Computational Steering System | 147 |
| S.G. Parker, M. Miller, C.D. Hansen, and C.R. Johnson | |
| Tuning Parallel Programs with Computational Steering and Controlled Execution | 157 |
| M. Oberhuber, S. Rathmayer, and A. Bode |
| Introduction to the Configware Minitrack: Hardware and Software Come Closer | 168 |
| R.W. Hartenstein | |
| Automatic Parallelism Exploitation for FPL-Based Accelerators | 169 |
| J. Becker and K. Schmidt | |
| Solving Satisfiability Problems Using Logic Synthesis and Reconfigurable Hardware | 179 |
| T. Suyama, M. Yokoo, and H. Sawada | |
| Rapid Prototyping of Dataflow Programs on Hardware/Software Architectures | 187 |
| M. Eisenring, J. Teich, and L. Thiele | |
| An Object-Oriented Layered Approach to Interfaces for Hardware/Software Codesign of Embedded Systems | 197 |
| W.B. Gardner and M. Serra | |
| A Comparison of High Level Synthesis and Register Transfer Level Design Techniques for Custom Computing Machines | 207 |
| A. Postula, D. Abramson, Z. Fang, and P. Logothetis |
| Incorporating Input/Output Operations in Linda | 216 |
| R. Menezes and A. Wood | |
| LINDA for Case Base Retrieval: A Case for Extending the Functionality of LINDA and Its Abstract Machine 226 | |
| D.K.G. Campbell, A.M. Wood, H.R. Osborne, and D.G. Bridge | |
| Towards Logic Programming Based Coordination in Virtual Worlds | 236 |
| P. Tarau, V. Dahl, and K. De Bosschere | |
| Towards Generative Software Composition | 245 |
| T. Holvoet and T. Kielmann | |
| Proving Trust in Systems of Second-Order Processes | 255 |
| M. Dam | |
| From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes | 265 |
| D. Sands and M. Weichert | |
| Characterizing Coordination Architectures According to Their Non-Functional Execution Properties | 275 |
| V. Issarny, C. Bidan, and T. Saridakis |
| Using Metadata to Query Passive Data Sources | 286 |
| P. Martin, W. Powley, and A. Weston | |
| Data Mining for the Enterprise | 295 |
| C. Kleissner | |
| Entity Matching in Heterogeneous Databases: A Distance-Based Decision Model | 305 |
| D. Dey, S. Sarkar, and P. De | |
| Concurrency Control of Large Unstructured Data | 314 |
| G. Attaluri, J. Slonim, and P. Larson | |
| Introducing Contracting in Distributed Transactional Workflows | 324 |
| E.M. Verharen and M.P. Papazoglou | |
| Conceptual Design of Data Warehouses from E/R Schemes | 334 |
| M. Golfarelli, D. Maio, and S. Rizzi | |
| WAG: Web-At-a-Glance | 344 |
| T. Catarci, S.-K. Chang, D. Nardi, G. Santucci, and M. Lenzerini | |
| EDI through a Distributed Information Systems Approach | 354 |
| N.R. Adam, I. Adiwijaya, V. Atluri, and Y. Yesha |
| Providing Easier Access to Remote Objects in Client-Server Systems | 366 |
| J. Aldrich, J. Dooley, S. Mandelsohn, and A. Rifkin | |
| Principles for Optimizing CORBA Internet Inter-ORB Protocol Performance | 376 |
| A. Gokhale and D.C. Schmidt | |
| Dynamic Analysis of Distributed Object-Oriented Applications | 386 |
| R. Weinreich and W. Kurschl | |
| Client-Server Architectures for Distributed Learning Environments: A Proposal | 395 |
| F. Arcelli, M. De Santo, and A. Chianese | |
| Towards Compositional Verification of SDL Systems | 404 |
| H. Fleischhack and B. Grahlmann | |
| Computation of Bounds and Performance Guarantees for Client-Server Systems Using a Queueing Network Model | 415 |
| S. Majumdar and A. Hubbard |
| The TASTE-Model and the EPM-System: Conceptual Designs for Exploitation and Exploration of Aggregated Emission Inventory Information in Environmental Monitoring | 428 |
| M.P. Misseyer, E.R.K. Spoor, and H.J. Scholten | |
| An Object-Oriented Framework for Water Resource Planning | 441 |
| K. Alfredsen and B. Saether | |
| TEMSIS - A Transnational System for Public Information and Environmental Decision Support | 451 |
| R. Denzer, G. Schimak, R. Güttler, and P. Houy |
| High-Speed Networks: Introduction to Minitrack | 458 |
| E. Kranakis and D. Krizanc | |
| Multicommodity Flow and Circuit Switching | 459 |
| T. Leighton, S. Rao, and A. Srinivasan | |
| Hybrid Tree: A Scalable Optoelectronic Interconnection Network for Parallel Computing | 466 |
| E. John, F. Hudson, and L.K. John | |
| IMSS: IP Multicast Shortcut Service | 475 |
| T. Anker, D. Breitgand, D. Dolev, and Z. Levy | |
| Traffic Characterization for QoS Provisioning in High-Speed Networks | 485 |
| T. Taralp, M. Devetsikiotis, and I. Lambadaris |
| Shared Memory vs. Message Passing: The COMOPS Benchmark Experiment | 494 |
| Y. Luo | |
| Predicting Cost/Performance Trade-Offs for Whitney: A Commodity Computing Cluster | 504 |
| J.C. Becker, B. Nitzberg, and R.F. Van Der Wijngaart | |
| Conventional Benchmarks as a Sample of the Performance Spectrum | 514 |
| J.L. Gustafson and R. Todi | |
| Evaluating the Scalability of Distributed Systems | 524 |
| P. Jogalekar and M. Woodside | |
| Visualization for Performance Tuning of DVSM Applications | 532 |
| M. Brorsson and M. Kral | |
| Performance of Distributed Memory Methods in Multiprocessing Clusters | 542 |
| P.E. Crandall and J. Leichtl | |
| Statistical Analysis of Message Passing Programs to Guide Computer Design | 544 |
| W.E. Cohen and B.A. Mahafzah | |
| Using High-Level Performance Prediction in Compiling for Distributed Systems | 554 |
| A.J.C. van Gemund | |
| Performance Surface Prediction for WAN-Based Clusters | 564 |
| M.J. Clement, G.M. Judd, J.L. Peterson, B.S. Morse, and J.K. Flanagan |
| High Performance Distributed Objects Using Distributed Shared Memory and Remote Method Invocation | 574 |
| B.D. Fleisch and R.L. Hyde | |
| MAGNET: A Virtual Shared Tuplespace Resource Manager | 579 |
| P. Kostkova and T. Wilkinson | |
| Xunify - A Performance Debugger for a Distributed Shared Memory System | 587 |
| J.E. Lumpp, Jr., K. Sivakumar, C. Diaz, and J.N. Griffioen | |
| Automatic Scheduling for Cache Only Memory Architectures Extended Abstract | 597 |
| R. Moore, B. Klauer, and K. Waldschmidt | |
| Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects | 599 |
| H. Pagnia and O. Theel |
| Web Computing in Theory and Practice: An Introduction to the Minitrack | 602 |
| N.B. _erbedzija | |
| Formal Development of Java Based Web Parallel Applications | 604 |
| G. Di Marzo Serugendo and N. Guelfi | |
| Customized Remote Execution of Web Agents | 614 |
| T. Saridakis, V. Issarny, and C. Bidan | |
| A Plugin-Based Privacy Scheme for World Wide Web File Distribution | 621 |
| M. Jenkin and P. Dymond | |
| Integrated Scientific Computing in Global Networks | 628 |
| L. Perrochon and R. Müller | |
| Software Migration of Telecommunication Network Management Systems to the Web Using CORBA and Java | 637 |
| A. Logenthiran, R. Pratiwadi, D. Logenthiran, A. Porebski, and D.W. Thomas | |
| Group Interaction in Web-Based Multimedia Market Places | 645 |
| P. Manhart, K. Schmidt, and H. Ziegler | |
| The JOTSA Animation Environment | 655 |
| S. Robbins |
| On the Problem of Tracking Mobile Users in Wireless Communications Networks | 666 |
| M.C. Pinotti and L. Wilson | |
| Firewalls for Security in Wireless Networks | 672 |
| U. Murthy, O. Bukhres, W. Winn, and E. Vanderdez | |
| Design and Implementation of Network CryptoGate - IP-Layer Security and Mobility Support | 681 |
| Y. Tsuda, M. Ishiyama, A. Fukumoto, and A. Inoue | |
| Wireless Installations for School Internet Access | 691 |
| T.A. Devine and G. Anderson | |
| A Study on the Design of Large-Scale Mobile Recording and Tracking Systems | 701 |
| A. Lim and K. Mok |
| Introduction to the Minitrack on Workflow Systems | 712 |
| G. Kotsis and C. Strauss | |
| Flexible Modeling and Execution of Workflow Activities | 713 |
| M. Weske | |
| Optimistic Distributed Execution of Business Process Models | 723 |
| A. Ferscha | |
| A Transactional Activity Model for Organizing Open-Ended Cooperative Activities | 733 |
| L. Liu and C. Pu | |
| Valmont: A Language for Workflow Programming | 744 |
| D.K.C. Chan and K.R.P.H. Leung | |
| A Learning Component for Workflow Management Systems | 754 |
| M. Berger, E. Ellmer, and D. Merkl | |
| "Soft" Trigger Modeling: A Technique for Incorporating Intentionality into Workflow Specifications | 764 |
| W.L. Kuechler, Jr., V. Vaishnavi, and C. Patterson | |
| Towards Security Semantics in Workflow Management | 766 |
| G. Herrmann and G. Pernul |
| Effectiveness of Producer-Initiated Communication | 770 |
| G.T. Byrd and M.J. Flynn | |
| Memory Latency and Thread Migration Challenges for Distributed Shared Memory Systems | 772 |
| K.M. Kavi and W.E. Cohen | |
| Run-Time Adaptive Cache Management | 774 |
| T.L. Johnson, D.A. Connors, and W.-M.W. Hwu | |
| Analysis of Sharing Overhead in Shared Memory Multiprocessors | 776 |
| P. Foglia, R. Giorgi, and C.A. Prete | |
| Software Prefetching for Software Pipelined Loops | 778 |
| F.J. Sánchez and A. González | |
| Lazy Prefetching | 780 |
| A. Milenkovic and V. Milutinovic | |
| An Approach to Characterization of Parallel Applications for DSM Systems | 782 |
| D. Marinov, D. Magdic, A. Milenkovic, J. Protic, I. Tartalja, and V. Milutinovic | |
| SARA: A Multi-Agent System for Collaborative Command and Control | 784 |
| K.S. Nelson, R.R. Penner, and N.H. Soken |
| Load Balancing in a Heterogeneous Computing Environment | 796 |
| S. Gopal and S. Vajapeyam | |
| Author Index | 805 |