36. HICSS 2003: Big Island, Hawaii, USA

Cluster I: Emerging Fields

Computational Issues in Bioinformatics (STCIB)

• Claudia Kappen, J. Michael Salbaum:
  Comparative Genome Annotation for Mapping, Prediction and Discovery of Genes. 275
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jitender S. Deogun, Fangrui Ma, Jingyi Yang, Andrew Benson:
  A Prototype for Multiple Whole Genome Alignment. 275
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Daniel Stoffler, Sophie I. Coon, Ruth Huey, Arthur J. Olson, Michel F. Sanner:
  Integrating Biomolecular Analysis and Visual Programming: Flexibility and Interactivity in the Design of Bioinformatics Tools. 275
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Li Xiao, Oleg Shats, Simon Sherman:
  Grid-Layout Visualization Method in the Microarray Data Analysis Interactive Graphics Toolkit. 276
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jialin Zheng, David Erichsen, Clancy Williams, Hui Peng, Gang Kou, Chris Shi, Yong Shi:
  Classifications of Neural Dendritic and Synaptic Damage Resulting from HIV-1-associated Dementia: A Multiple Criteria Linear Programming Approach. 276
  Electronic Edition (IEEE Computer Society DL) BibTeX

Formal Methods for Engineering Special-Purpose Parallel Systems (STFME)

• Ali E. Abdallah, John Hawkins:
  Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. 278
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Simon Frankau, Alan Mycroft:
  Stream Processing Hardware from Functional Language Specifications. 278
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima:
  Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies. 279
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Sirianni:
  An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. 279
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Steve McKeever, Wayne Luk, Arran Derbyshire:
  Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. 279
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tim Todman, Wayne Luk:
  Combining Imperative and Declarative Hardware Descriptions. 280
  Electronic Edition (IEEE Computer Society DL) BibTeX

Peer-to-Peer E-Commerce Systems and Applications (STPTP)

• Rita Yu Chen, Bill Yeager:
  Java Mobile Agents on Project JXTA Peer-to-Peer Platform. 282
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Bernard Traversat, Mohamed Abdelaziz, Dave Doolin, Mike Duigou, Jean-Christophe Hugly, Eric Pouyoul:
  Project JXTA-C: Enabling a Web of Things. 282
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling:
  Peer-to-Peer Networks for Virtual Home Environments. 282
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Susanne Guth, Bernd Simon, Uwe Zdun:
  A Contract and Rights Management Framework Design for Interacting Brokers. 283
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Philippe Rupp, Thibault Estier:
  A Model for a Better Understanding of the Digital Distribution of Music in a Peer-to-Peer Environment. 283
  Electronic Edition (IEEE Computer Society DL) BibTeX

Quality of Service in the Internet (STQSI)

• Stefano Giordano, M. Mancino, A. Martucci, Saverio Niccolini:
  Managing Multimedia Traffic in IP Integrated over Differentiated Services: SIP dynamic signaling inter-working. 285
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jian Zhao, Hossam S. Hassanein, Jieyi Wu, Junzhou Luo:
  CRMA: A Cycle-breaking Multicast Routing Algorithm for Supporting QoS over the Internet. 285
  Electronic Edition (IEEE Computer Society DL) BibTeX

Web-Based Information Sharing: Technologies, Strategies and Approaches (STWIS)

• Allen Moulton, Stuart E. Madnick, Michael Siegel:
  Semantic Interoperability in the Fixed Income Securities Industry: A Knowledge Representation Architecture for Dynamic Integration of Web-Based Information. 287
  Electronic Edition (IEEE Computer Society DL) BibTeX
• David Kuechler, Vijay K. Vaishnavi, Art Vandenberg:
  An Architecture to Support Communities of Interest Using Directory Services Capabilities. 287
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Nandish V. Patel:
  Deferred Systems Software Model for Semantic Information Sharing in Context on the Web. 288
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Vijay Parmar, Hongchi Shi, Su-Shing Chen:
  XML Access Control for Semantically Related XML Documents. 288
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Lesley A. Gardner, S. J. Holdaway, D. C. Whitehead, J. Kleine, H. D. Bader, R. Gibbs:
  Heritage and the Role of Data Management Systems: A Prototype Model for New Zealand. 288
  Electronic Edition (IEEE Computer Society DL) BibTeX

Cluster II: Mobile Computing and Wireless Networks

Mobile Distributed Information Systems (STMDI)

• Paul Couderc, Michel Banâtre:
  Ambient computing applications: an experience with the SPREAD approach. 291
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Thomas Hofer, Wieland Schwinger, Mario Pichler, Gerhard Leonhartsberger, Josef Altmann, Werner Retschitzegger:
  Context-Awareness on Mobile Devices - the Hydrogen Approach. 292
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Wolf-Tilo Balke, Werner Kießling, Christoph Unbehend:
  A Situation-aware Mobile Traffic Information System. 292
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Kenton O'Hara, Mark Perry:
  User Centred Opportunities for Supporting Consumer Behaviour Through Handheld and Ubiquitous Computing. 293
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Yang Wang, Thomas Kunz:
  A Dynamic Assignment Problem in a Mobile System with Limited Bandwidth. 293
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Thomas D. Dyer, Rajendra V. Boppana:
  On Routing Web and Multimedia Traffic in Mobile Ad Hoc Networks. 294
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rajeswari Malladi, Karen C. Davis:
  Applying Multiple Query Optimization in Mobile Databases. 294
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Alexandros Karypidis, Spyros Lalis:
  Harnessing the potential of mobile personal data repositories. 294
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Pasi Tyrväinen:
  Estimating Applicability of New Mobile Content Formats to Organizational Use. 295
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Franck Rousseau, Justinian Oprescu, Laurentiu-Sorin Paun, Andrzej Duda:
  Omnisphere: a Personal Communication Environment. 295
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Fredrik Espinoza, Ola Hamfors:
  ServiceDesigner: a Tool to Help End-Users Become Individual Service Provider. 296
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Roger M. Whitaker, Steve Hurley:
  Evolution of Planning for Wireless Communication Systems. 296
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Gerald Bieber, Rüdiger Ide:
  XyberScout: A Platform for the Efficient Construction of Mobile Location Aware Information Systems. 297
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Kåre Synnes, James Nord, Peter Parnes:
  Location Privacy in the Alipes Platform. 297
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar:
  MOBICHARTS: A Notation to Specify Mobile Computing Applications. 298
  Electronic Edition (IEEE Computer Society DL) BibTeX

Routing in Wireless and Internet Networks (STRWI)

• Liang Qin, Thomas Kunz:
  Increasing Packet Delivery Ratio in DSR by Link Prediction. 300
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ying Ge, Thomas Kunz, Louise Lamont:
  Quality of Service Routing in Ad-Hoc Networks Using OLSR. 300
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Yurong Chen, Emin Gün Sirer, Stephen B. Wicker:
  On Selection of Optimal Transmission Power for Ad hoc Networks. 300
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasiewicz:
  Formalizing Multi-Agent POMDP's in the context of network routing. 301
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Qun Li, Javed A. Aslam, Daniela Rus:
  Distributed Energy-conserving Routing Protocols. 301
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Youngki Hwang, Pramod Varshney:
  An Adaptive QoS Routing Protocol with Dispersity for Ad-hoc Networks. 302
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Petia Todorova, Stephan Olariu, Hoang Nam Nguyen:
  A Two-Cell-Lookahead Call Admission and Handoff Management Scheme for Multimedia LEO Satellite Networks. 302
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Julien Cartigny, David Simplot:
  Border Node Retransmission Based Probabilistic Broadcast Protocols in Ad-Hoc Networks. 303
  Electronic Edition (IEEE Computer Society DL) BibTeX

Quality of Service in Mobile and Wireless Network (STQSM)

• Giuseppe Anastasi, Marco Conti, Enrico Gregori, Andrea Passarella:
  Balancing Energy Saving and QoS in the Mobile Internet: An Application-Independent Approach. 305
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Wei Lou, Jie Wu:
  On Reducing Broadcast Redundancy in Ad Hoc Wireless Networks. 305
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jianchang Yang, D. Manivannan, Mukesh Singhal:
  A Fault-Tolerant Dynamic Channel Allocation Scheme for Enhancing QoS in Cellular Networks. 306
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Daji Qiao, Kang G. Shin:
  UMAV: A Simple Enhancement to the IEEE 802.11 DCF. 306
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chunlei Liu, Raj Jain:
  Approaches of Wireless TCP Enhancement and A New Proposal Based on Congestion Coherence. 307
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tracy Tung, Abbas Jamalipour:
  Adaptive Location Management Strategy Combining Distance-Based Update and Sectional Paging Techniques. 307
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tracy Tung, Abbas Jamalipour:
  A Kalman-Filter Based Paging Strategy for Cellular Networks. 308
  Electronic Edition (IEEE Computer Society DL) BibTeX
• J. C. Francis, M. Abu El-Ata:
  Benchmarking Mobile Network QoS. 308
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Upkar Varshney, Alisha D. Malloy:
  Multilevel Fault-tolerance for Designing Dependable Wireless Networks. 308
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jelena V. Misic, Yat Kwan Tang, Vojislav B. Misic:
  Maintaining Hando .QoS in TD-CDMA Networks. 309
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Yasser L. Morgan, Thomas Kunz:
  PYLON: An Architectural Framework for Ad-hoc QoS Interconnectivity with Access Domains. 309
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Petia Todorova, Alexander Markhasin:
  Quality-of-Service-Oriented Media Access Control for Advanced Mobile Multimedia Satellite Systems. 309
  Electronic Edition (IEEE Computer Society DL) BibTeX

Wireless LANs and PANs (STWLP)

• Mark A. Perillo, Wendi Beth Heinzelman:
  ASP: An Adaptive Energy-Efficient Polling Algorithm for Bluetooth Piconets. 311
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jelena V. Misic, Vojislav B. Misic:
  Performance of Bluetooth Bridges in Scatternets With Exhaustive Service Scheduling. 311
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ting-Yu Lin, Yu-Chee Tseng, Yuan-Ting Lu:
  An Efficient Link Polling Policy by Pattern Matching for Bluetooth Piconets. 312
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Bin Zhen, Jonghun Park, Yongsuk Kim:
  Scatternet Formation of Bluetooth Ad Hoc Networks. 312
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ting-Yu Lin, Yu-Chee Tseng, Keng-Ming Chang, Chun-Liang Tu:
  Formation, Routing, and Maintenance Protocols for the BlueRing Scatternet of Bluetooths. 313
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Carla-Fabiana Chiasserini, Marco Ajmone Marsan, Elena Baralis, Paolo Garza:
  Towards Feasible Topology Formation Algorithms for Bluetooth-based WPANs. 313
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Frank Kargl, Stefan Ribhegge, Stefan Schlott, Michael Weber:
  Bluetooth-based Ad-Hoc Networks for Voice Transmission. 314
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Karl E. Persson, D. Manivannan:
  Secure Connections in Bluetooth Scatternets. 314
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jukka Ylitalo, Tony Jokikyyny, Tero Kauppinen, Antti J. Tuominen, Jaakko Laine:
  Dynamic Network Interface Selection in Multihomed Mobile Hosts. 315
  Electronic Edition (IEEE Computer Society DL) BibTeX

Cluster III: Software Development

Distributed Object and Component-Based Software Systems (STDOC)

• Barrett R. Bryant, Rajeev R. Raje:
  Distributed Object and Component-Based Software Systems. 317
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tom Ritter, Marc Born, Thomas Unterschütz, Torben Weis:
  A QoS Metamodel and its Realization in a CORBA Component Infrastructure. 318
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Markus Aleksy, Martin Schader, Alexander Schnell:
  Design and Implementation of a Bridge between CORBA's Notification Service and the Java Message Service. 318
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chia-Chu Chiang:
  Development of Reusable Components through the Use of Adapters. 319
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Aniruddha S. Gokhale, Balachandran Natarajan:
  GriT: A CORBA-Based GRID Middleware Architecture. 319
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Raymond Klefstad, Sumita Rao, Douglas C. Schmidt:
  Design and Performance of a Dynamically Configurable, Messaging Protocols Framework for Real-Time CORBA. 320
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Klaus-Peter Löhr:
  Automatic Mediation between Incompatible Component Interaction Styles. 320
  Electronic Edition (IEEE Computer Society DL) BibTeX
• J. Tan, Arkady B. Zaslavsky, C. A. Ewald, Andy Bond:
  Domain-Specific Metamodels for Heterogeneous Information Systems. 321
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Boris Roussev:
  Generating OCL Specifications and Class Diagrams from Use Cases: A Newtonian Approach. 321
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Sam Chung, Yun Sik Lee:
  Modeling Web Applications Using Java and XML Related Technologies. 322
  Electronic Edition (IEEE Computer Society DL) BibTeX

Domain-Specific Languages (STDSL)

• M. Sloane:
  Domain-Specific Languages Minitrack Introduction Jan Heering, Marjan Mernik, Anthony. 323
  Electronic Edition (IEEE Computer Society DL) BibTeX
• João Saraiva, Sérgio Schneider:
  Embedding Domain Specific Languages in the Attribute Grammar Formalism. 324
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Adam Granicz, Jason Hickey:
  Phobos: A Front-End Approach to Extensible Compilers. 324
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Hayato Kawashima, Katsuhiko Gondow:
  Experience with ANSI C Markup Language for a Cross-Referencer. 324
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jeff Gray, Gabor Karsai:
  An Examination of DSLs for Concisely Representing Model Traversals and Transformations. 325
  Electronic Edition (IEEE Computer Society DL) BibTeX
• David S. Wile:
  Lessons Learned from Real DSL Experiments. 325
  Electronic Edition (IEEE Computer Society DL) BibTeX

Experimental Software Engineering (STESE)

• Karlheinz Kautz, Pekka Abrahamsson:
  Experimental Software Engineering (STESE). 326
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Erik Syversen, Bente Anda, Dag I. K. Sjøberg:
  An Evaluation of Applying Use Cases to Construct Design versus Validate Design. 327
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Manuel A. Serrano, Coral Calero, Mario Piattini:
  Experimental Validation of Multidimensional Data Models Metrics. 327
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Liping Liu, Elizabeth E. Grandon:
  How Performance and Self-Efficacy Influence the Ease of Use of Object-Orientation: The Moderating Effect of Prior Training. 327
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Timo Jokela:
  Assessments of Usability Engineering Processes: Experiences from Experiments. 328
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Anna Börjesson, Lars Mathiassen:
  Making SPI Happen: The IDEAL Distribution of Effort. 328
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Robert F. Dugan Jr., Ephraim P. Glinert, Edwin H. Rogers:
  CAMELOT: Technology Focused Testing of CSCW Applications. 328
  Electronic Edition (IEEE Computer Society DL) BibTeX

Cluster IV: Trustworthy Computing

Frameworks and Methods for the Study and Analysis of Trust in Information Systems(STFMS)

• Rubén Prieto Díaz:
  Framework and Methods for the Study and Analysis of Trust in Information Systems Minitrack Introduction. 330
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Kari Chopra, William A. Wallace:
  Trust in Electronic Environments. 331
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Samuel T. Redwine Jr.:
  Dissecting Trust and the Assurance-Violation Dynami. 331
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rayford B. Vaughn, Ronda R. Henning, Ambareen Siraj:
  Information Assurance Measures and Metrics - State of Practice and Proposed Taxonomy. 331
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Mason McDaniel, Mohammad Hossain Heydari:
  Content Based File Type Detection Algorithms. 332
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Linda Morales, Ivan Hal Sudborough, Mohamed Eltoweissy, Mohammad Hossain Heydari:
  Combinatorial Optimization of Multicast Key Management. 332
  Electronic Edition (IEEE Computer Society DL) BibTeX

Secure and Survivable Software Systems (STSSS)

• Axel W. Krings, Paul W. Oman:
  Secure and Survivable Software Systems Minitrack Introduction. 333
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Axel W. Krings, Paul W. Oman:
  A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures. 334
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Dirk Ourston, Sara Matzner, William Stump, Bryan Hopkins:
  Applications of Hidden Markov Models to Detecting Multi-Stage Network Attacks. 334
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Shih-Chien Chou:
  Information Flow Control among Objects: Taking Foreign Objects into Control. 335
  Electronic Edition (IEEE Computer Society DL) BibTeX
• James C. Reynolds, James E. Just, Larry A. Clough, Ryan Maglich:
  On-Line Intrusion Detection and Attack Prevention Using Diversity, Generate-and-Test, and Generalization. 335
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Carol Taylor, Jim Alves-Foss:
  Attack Recognition for System Survivability: A Low-level Approach. 335
  Electronic Edition (IEEE Computer Society DL) BibTeX

Testing and Certification of Trustworthy Systems (STTCT)

• Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton:
  Testing and Certification of Trustworthy Systems Introduction to Minitrack. 336
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle:
  Certification Support for Automatically Generated Programs. 337
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday:
  Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. 337
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Stacy J. Prowell:
  JUMBL: A Tool for Model-Based Statistical Testing. 337
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Donald J. Berndt, John W. Fisher, L. Johnson, J. Pinglikar, Alison Watkins:
  Breeding Software Test Cases with Genetic Algorithms. 338
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jeffrey M. Voas:
  Trusted Software's Holy Grail. 338
  Electronic Edition (IEEE Computer Society DL) BibTeX