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- Jitender S. Deogun, Fangrui Ma, Jingyi Yang, Andrew Benson: A Prototype for Multiple Whole Genome Alignment. 275
- 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
- Li Xiao, Oleg Shats, Simon Sherman: Grid-Layout Visualization Method in the Microarray Data Analysis Interactive Graphics Toolkit. 276
- 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
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
- Simon Frankau, Alan Mycroft: Stream Processing Hardware from Functional Language Specifications. 278
- Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima: Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies. 279
- 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
- Steve McKeever, Wayne Luk, Arran Derbyshire: Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. 279
Peer-to-Peer E-Commerce Systems and Applications (STPTP)
- Bernard Traversat, Mohamed Abdelaziz, Dave Doolin, Mike Duigou, Jean-Christophe Hugly, Eric Pouyoul: Project JXTA-C: Enabling a Web of Things. 282
- Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling: Peer-to-Peer Networks for Virtual Home Environments. 282
- Susanne Guth, Bernd Simon, Uwe Zdun: A Contract and Rights Management Framework Design for Interacting Brokers. 283
- Philippe Rupp, Thibault Estier: A Model for a Better Understanding of the Digital Distribution of Music in a Peer-to-Peer Environment. 283
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
- Jian Zhao, Hossam S. Hassanein, Jieyi Wu, Junzhou Luo: CRMA: A Cycle-breaking Multicast Routing Algorithm for Supporting QoS over the Internet. 285
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
- David Kuechler, Vijay K. Vaishnavi, Art Vandenberg: An Architecture to Support Communities of Interest Using Directory Services Capabilities. 287
- Nandish V. Patel: Deferred Systems Software Model for Semantic Information Sharing in Context on the Web. 288
- Vijay Parmar, Hongchi Shi, Su-Shing Chen: XML Access Control for Semantically Related XML Documents. 288
- 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
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
- Thomas Hofer, Wieland Schwinger, Mario Pichler, Gerhard Leonhartsberger, Josef Altmann, Werner Retschitzegger: Context-Awareness on Mobile Devices - the Hydrogen Approach. 292
- Wolf-Tilo Balke, Werner Kießling, Christoph Unbehend: A Situation-aware Mobile Traffic Information System. 292
- Kenton O'Hara, Mark Perry: User Centred Opportunities for Supporting Consumer Behaviour Through Handheld and Ubiquitous Computing. 293
- Thomas D. Dyer, Rajendra V. Boppana: On Routing Web and Multimedia Traffic in Mobile Ad Hoc Networks. 294
- Alexandros Karypidis, Spyros Lalis: Harnessing the potential of mobile personal data repositories. 294
- Pasi Tyrväinen: Estimating Applicability of New Mobile Content Formats to Organizational Use. 295
- Franck Rousseau, Justinian Oprescu, Laurentiu-Sorin Paun, Andrzej Duda: Omnisphere: a Personal Communication Environment. 295
- Fredrik Espinoza, Ola Hamfors: ServiceDesigner: a Tool to Help End-Users Become Individual Service Provider. 296
- Gerald Bieber, Rüdiger Ide: XyberScout: A Platform for the Efficient Construction of Mobile Location Aware Information Systems. 297
- Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar: MOBICHARTS: A Notation to Specify Mobile Computing Applications. 298
Routing in Wireless and Internet Networks (STRWI)
- Yurong Chen, Emin Gün Sirer, Stephen B. Wicker: On Selection of Optimal Transmission Power for Ad hoc Networks. 300
- Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasiewicz: Formalizing Multi-Agent POMDP's in the context of network routing. 301
- Youngki Hwang, Pramod Varshney: An Adaptive QoS Routing Protocol with Dispersity for Ad-hoc Networks. 302
- Petia Todorova, Stephan Olariu, Hoang Nam Nguyen: A Two-Cell-Lookahead Call Admission and Handoff Management Scheme for Multimedia LEO Satellite Networks. 302
- Julien Cartigny, David Simplot: Border Node Retransmission Based Probabilistic Broadcast Protocols in Ad-Hoc Networks. 303
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
- Jianchang Yang, D. Manivannan, Mukesh Singhal: A Fault-Tolerant Dynamic Channel Allocation Scheme for Enhancing QoS in Cellular Networks. 306
- Chunlei Liu, Raj Jain: Approaches of Wireless TCP Enhancement and A New Proposal Based on Congestion Coherence. 307
- Tracy Tung, Abbas Jamalipour: Adaptive Location Management Strategy Combining Distance-Based Update and Sectional Paging Techniques. 307
- Upkar Varshney, Alisha D. Malloy: Multilevel Fault-tolerance for Designing Dependable Wireless Networks. 308
- Yasser L. Morgan, Thomas Kunz: PYLON: An Architectural Framework for Ad-hoc QoS Interconnectivity with Access Domains. 309
- Petia Todorova, Alexander Markhasin: Quality-of-Service-Oriented Media Access Control for Advanced Mobile Multimedia Satellite Systems. 309
Wireless LANs and PANs (STWLP)
- Mark A. Perillo, Wendi Beth Heinzelman: ASP: An Adaptive Energy-Efficient Polling Algorithm for Bluetooth Piconets. 311
- Jelena V. Misic, Vojislav B. Misic: Performance of Bluetooth Bridges in Scatternets With Exhaustive Service Scheduling. 311
- Ting-Yu Lin, Yu-Chee Tseng, Yuan-Ting Lu: An Efficient Link Polling Policy by Pattern Matching for Bluetooth Piconets. 312
- Ting-Yu Lin, Yu-Chee Tseng, Keng-Ming Chang, Chun-Liang Tu: Formation, Routing, and Maintenance Protocols for the BlueRing Scatternet of Bluetooths. 313
- Carla-Fabiana Chiasserini, Marco Ajmone Marsan, Elena Baralis, Paolo Garza: Towards Feasible Topology Formation Algorithms for Bluetooth-based WPANs. 313
- Frank Kargl, Stefan Ribhegge, Stefan Schlott, Michael Weber: Bluetooth-based Ad-Hoc Networks for Voice Transmission. 314
- Jukka Ylitalo, Tony Jokikyyny, Tero Kauppinen, Antti J. Tuominen, Jaakko Laine: Dynamic Network Interface Selection in Multihomed Mobile Hosts. 315
Cluster III: Software Development
Distributed Object and Component-Based Software Systems (STDOC)
- Tom Ritter, Marc Born, Thomas Unterschütz, Torben Weis: A QoS Metamodel and its Realization in a CORBA Component Infrastructure. 318
- Markus Aleksy, Martin Schader, Alexander Schnell: Design and Implementation of a Bridge between CORBA's Notification Service and the Java Message Service. 318
- Chia-Chu Chiang: Development of Reusable Components through the Use of Adapters. 319
- Raymond Klefstad, Sumita Rao, Douglas C. Schmidt: Design and Performance of a Dynamically Configurable, Messaging Protocols Framework for Real-Time CORBA. 320
- Klaus-Peter Löhr: Automatic Mediation between Incompatible Component Interaction Styles. 320
- J. Tan, Arkady B. Zaslavsky, C. A. Ewald, Andy Bond: Domain-Specific Metamodels for Heterogeneous Information Systems. 321
- Boris Roussev: Generating OCL Specifications and Class Diagrams from Use Cases: A Newtonian Approach. 321
Domain-Specific Languages (STDSL)
- M. Sloane: Domain-Specific Languages Minitrack Introduction Jan Heering, Marjan Mernik, Anthony. 323
- João Saraiva, Sérgio Schneider: Embedding Domain Specific Languages in the Attribute Grammar Formalism. 324
- Hayato Kawashima, Katsuhiko Gondow: Experience with ANSI C Markup Language for a Cross-Referencer. 324
- Jeff Gray, Gabor Karsai: An Examination of DSLs for Concisely Representing Model Traversals and Transformations. 325
- David S. Wile: Lessons Learned from Real DSL Experiments. 325
Experimental Software Engineering (STESE)
- Erik Syversen, Bente Anda, Dag I. K. Sjøberg: An Evaluation of Applying Use Cases to Construct Design versus Validate Design. 327
- Manuel A. Serrano, Coral Calero, Mario Piattini: Experimental Validation of Multidimensional Data Models Metrics. 327
- 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
- Timo Jokela: Assessments of Usability Engineering Processes: Experiences from Experiments. 328
- Robert F. Dugan Jr., Ephraim P. Glinert, Edwin H. Rogers: CAMELOT: Technology Focused Testing of CSCW Applications. 328
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
- Samuel T. Redwine Jr.: Dissecting Trust and the Assurance-Violation Dynami. 331
- Rayford B. Vaughn, Ronda R. Henning, Ambareen Siraj: Information Assurance Measures and Metrics - State of Practice and Proposed Taxonomy. 331
- Linda Morales, Ivan Hal Sudborough, Mohamed Eltoweissy, Mohammad Hossain Heydari: Combinatorial Optimization of Multicast Key Management. 332
Secure and Survivable Software Systems (STSSS)
- Axel W. Krings, Paul W. Oman: A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures. 334
- Dirk Ourston, Sara Matzner, William Stump, Bryan Hopkins: Applications of Hidden Markov Models to Detecting Multi-Stage Network Attacks. 334
- Shih-Chien Chou: Information Flow Control among Objects: Taking Foreign Objects into Control. 335
- 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
- Carol Taylor, Jim Alves-Foss: Attack Recognition for System Survivability: A Low-level Approach. 335
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
- Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. 337
- Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. 337
- Stacy J. Prowell: JUMBL: A Tool for Model-Based Statistical Testing. 337
- Donald J. Berndt, John W. Fisher, L. Johnson, J. Pinglikar, Alison Watkins: Breeding Software Test Cases with Genetic Algorithms. 338
- Jeffrey M. Voas: Trusted Software's Holy Grail. 338
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team