The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (2003)
Big Island, Hawaii
Jan. 6, 2003 to Jan. 9, 2003
ISBN: 0-7695-1874-5
TABLE OF CONTENTS
Track Introduction

null (PDF)

pp. 272
Computational Issues in Bioinformatics (STCIB)

null (PDF)

pp. 274

Comparative Genome Annotation for Mapping, Prediction and Discovery of Genes (PDF)

J. Michael Salbaum , University of Nebraska Medical Center
Claudia Kappen , University of Nebraska Medical Center
pp. 275a

A Prototype for Multiple Whole Genome Alignment (PDF)

Fangrui Ma , University of Nebraska
Jitender S. Deogun , University of Nebraska
Jingyi Yang , University of Nebraska
Andrew Benson , University of Nebraska
pp. 275b

Integrating Biomolecular Analysis and Visual Programming: Flexibility and Interactivity in the Design of Bioinformatics Tools (PDF)

Daniel Stoffler , The Scripps Research Institute
Ruth Huey , The Scripps Research Institute
Michel F. Sanner , The Scripps Research Institute
Arthur J. Olson , The Scripps Research Institute
Sophie I. Coon , The Scripps Research Institute
pp. 275c

Grid-Layout Visualization Method in the Microarray Data Analysis Interactive Graphics Toolkit (PDF)

Oleg Shats , University of Nebraska Medical Center
Li Xiao , University of Nebraska Medical Center
Simon Sherman , University of Nebraska Medical Center
pp. 276a

Classifications of Neural Dendritic and Synaptic Damage Resulting from HIV-1-associated Dementia: A Multiple Criteria Linear Programming Approach (PDF)

Gang Kou , University of Nebraska at Omaha
Chris Shi , Millard North High School
Yong Shi , University of Nebraska at Omaha
Clancy Williams , University of Nebraska Medical Center
Jialin Zheng , University of Nebraska Medical Center
David Erichsen , University of Nebraska Medical Center
Hui Peng , University of Nebraska Medical Center
pp. 276b
Formal Methods for Engineering Special-Purpose Parallel Systems (STFME)

null (PDF)

pp. 277

Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications (PDF)

John Hawkins , Centre for Applied Formal Methods South Bank University
Ali E. Abdallah , Centre for Applied Formal Methods South Bank University
pp. 278a

Stream Processing Hardware from Functional Language Specifications (PDF)

Alan Mycroft , University of Cambridge
Simon Frankau , University of Cambridge
pp. 278b

Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies (PDF)

Yoshihisa Kojima , University of Tokyo
Thanyapat Sakunkonchak , University of Tokyo
Satoshi Komatsu , University of Tokyo
Hiroshi Saito , University of Tokyo
Masahiro Fujita , University of Tokyo
Kenshu Seto , University of Tokyo
pp. 279a
Peer-to-Peer E-Commerce Systems and Applications (STPTP)

null (PDF)

pp. 281

Java Mobile Agents on Project JXTA Peer-to-Peer Platform (PDF)

Bill Yeager , Sun Microsystems, Inc.
Rita Yu Chen , Sun Microsystems
pp. 282a

Project JXTA-C: Enabling a Web of Things (PDF)

Mike Duigou , Sun Microsystems, Inc.
Eric Pouyoul , Sun Microsystems, Inc.
Bernard Traversat , Sun Microsystems, Inc.
Mohamed Abdelaziz , Sun Microsystems, Inc.
Dave Doolin , Sun Microsystems, Inc.
Jean-Christophe Hugly , Sun Microsystems, Inc.
pp. 282b

Peer-to-Peer Networks for Virtual Home Environments (PDF)

Wolfgang Mueller , Paderborn University
Chris Loeser , Paderborn University
Frank Berger , Siemens SBS
pp. 282c

A Contract and Rights Management Framework Design for Interacting Brokers (PDF)

Uwe Zdun , Vienna University of Economics and Business Administration
Susanne Guth , Vienna University of Economics and Business Administration
Bernd Simon , Vienna University of Economics and Business Administration
pp. 283a
Quality of Service in the Internet (STQSI)

null (PDF)

pp. 284

Managing Multimedia Traffic in IP Integrated over Differentiated Services: SIP dynamic signaling inter-working (PDF)

S. Giordano , University of Pisa
S. Niccolini , University of Pisa
A. Martucci , Alcatel Italia S.p.A.
M. Mancino , CPR - Multimedia and Telematic Application Center (META)
pp. 285a

CRMA: A Cycle-breaking Multicast Routing Algorithm for Supporting QoS over the Internet (PDF)

Jian Zhao , Queen?s University
Junzhou Luo , Southeast University
Jieyi Wu , Southeast University
Hossam Hassanein , Queen?s University
pp. 285b
Web-Based Information Sharing: Technologies, Strategies and Approaches (STWIS)

null (PDF)

pp. 286

An Architecture to Support Communities of Interest Using Directory Services Capabilities (PDF)

David Kuechler , Georgia State University
Art Vandenberg , Georgia State University
Vijay Vaishnavi , Georgia State University
pp. 287b

XML Access Control for Semantically Related XML Documents (PDF)

Su-Shing Chen , University of Florida
Hongchi Shi , University of Missouri-Columbia
Vijay Parmar , University of Missouri-Columbia
pp. 288b

Heritage and the Role of Data Management Systems: A Prototype Model for New Zealand (PDF)

S. J. Holdaway , University of Auckland
J. Kleine , University of Auckland
D. C. Whitehead , University of Auckland
H. D. Bader , University of Auckland
L. A. Gardner , University of Auckland
R. Gibbs , Geometria
pp. 288c
Mobile Distributed Information Systems (STMDI)

null (PDF)

pp. 290

Ambient computing applications: an experience with the SPREAD approach. (PDF)

Michel Banâtre , Campus Universitaire de Beaulieu
Paul Couderc , Campus Universitaire de Beaulieu
pp. 291

Context-Awareness on Mobile Devices - the Hydrogen Approach (PDF)

Josef Altmann , Software Competence Center Hagenberg
Werner Retschitzegger , Johannes Kepler University Linz
Thomas Hofer , Software Competence Center Hagenberg
Mario Pichler , Software Competence Center Hagenberg
Gerhard Leonhartsberger , Software Competence Center Hagenberg
Wieland Schwinger , Software Competence Center Hagenberg
pp. 292a

A Situation-aware Mobile Traffic Information System (PDF)

W. Kießling , University of Augsburg
C. Unbehend , University of Augsburg
W.-T. Balke , University of Augsburg
pp. 292b

On Routing Web and Multimedia Traffic in Mobile Ad Hoc Networks (PDF)

Thomas D. Dyer , The Univ. of Texas at San Antonio
Rajendra V. Boppana , The Univ. of Texas at San Antonio
pp. 294a

Applying Multiple Query Optimization in Mobile Databases (PDF)

Rajeswari Malladi , Microsoft, Inc.
Karen C. Davis , University of Cincinnati
pp. 294b

Harnessing the potential of mobile personal data repositories (PDF)

Alexandros Karypidis , Foundation for Research &Technology Hellas and University of Thessaly
Spyros Lalis , Foundation for Research &Technology Hellas and University of Thessaly
pp. 294c

Omnisphere: a Personal Communication Environment (PDF)

Laurentiu-Sorin Paun , LSR-IMAG Laboratory
Andrzej Duda , LSR-IMAG Laboratory
Franck Rousseau , LSR-IMAG Laboratory
Justinian Oprescu , LSR-IMAG Laboratory
pp. 295b

ServiceDesigner: a Tool to Help End-Users Become Individual Service Providers (PDF)

Fredrik Espinoza , Swedish Institute of Computer Science
Ola Hamfors , Swedish Institute of Computer Science
pp. 296a

XyberScout: A Platform for the Efficient Construction of Mobile Location Aware Information Systems (PDF)

Gerald Bieber , Fraunhofer-Institute for Computer Graphics Rostock
Rüdiger Ide , Fraunhofer-Institute for Computer Graphics Rostock
pp. 297a

Location Privacy in the Alipes Platform (PDF)

James Nord , Lule? University of Technology
Peter Parnes , Lule? University of Technology
Kåre Synnes , Lule? University of Technology
pp. 297b

MOBICHARTS: A Notation to Specify Mobile Computing Applications (PDF)

Satyajit Acharya , University of Hyderabad
R.K. Shyamasundar , Tata Institute of Fundamental Research
Hrushikesha Mohanty , University of Hyderabad
pp. 298
Routing in Wireless and Internet Networks (STRWI)

null (PDF)

pp. 299

Increasing Packet Delivery Ratio in DSR by Link Prediction (PDF)

Liang Qin , Carleton University
Thomas Kunz , Carleton University
pp. 300a

Quality of Service Routing in Ad-Hoc Networks Using OLSR (PDF)

Thomas Kunz , Carleton University
Ying Ge , Communications Research Centre
Louise Lamont , Communications Research Centre
pp. 300b

Formalizing Multi-Agent POMDP?s in the context of network routing (PDF)

Piotr Gmytrasiewicz , University of Illinois at Chicago
Bharaneedharan Rathnasabapathy , University of Illinois at Chicago
pp. 301a

Distributed Energy-conserving Routing Protocols (PDF)

Daniela Rus , Dartmouth College
Qun Li , Dartmouth College
Javed Aslam , Dartmouth College
pp. 301b
Quality of Service in Mobile and Wireless Network (STQSM)

null (PDF)

pp. 304

On Reducing Broadcast Redundancy in Ad Hoc Wireless Networks (PDF)

Wei Lou , Florida Atlantic University
Jie Wu , Florida Atlantic University
pp. 305b

UMAV:A Simple Enhancement to the IEEE 802.11 DCF (PDF)

Daji Qiao , The University of Michigan
Kang G. Shin , The University of Michigan
pp. 306b

A Kalman-Filter Based Paging Strategy for Cellular Networks (PDF)

Tracy Tung , University of Sydney
Abbas Jamalipour , University of Sydney
pp. 308a

Benchmarking Mobile Network QoS (PDF)

M. Abu El-Ata , Swisscom AG
J. C. Francis , Swisscom AG
pp. 308b

Maintaining Hando .QoS in TD-CDMA Networks (PDF)

Tat-Kwan Tang , Hong Kong University of Science and Technology
Vojislav B. Misic , Hong Kong University of Science and Technology
Jelena Misic , Hong Kong University of Science and Technology
pp. 309a
Wireless LANs and PANs (STWLP)

null (PDF)

pp. 310

An Efficient Link Polling Policy by Pattern Matching for Bluetooth Piconets (PDF)

Yu-Chee Tseng , National Chiao-Tung University
Ting-Yu Lin , National Chiao-Tung University
Yuan-Ting Lu , National Central University
pp. 312a

Scatternet Formation of Bluetooth Ad Hoc Networks (PDF)

Bin Zhen , Samsung Advanced Institute of Technology
Yongsuk Kim , Samsung Advanced Institute of Technology
Jonghun Park , Samsung Advanced Institute of Technology
pp. 312b

Formation, Routing, and Maintenance Protocols for the BlueRing Scatternet of Bluetooths (PDF)

Ting-Yu Lin , National Chiao-Tung University
Keng-Ming Chang , National Central University
Chun-Liang Tu , Industrial Technology Research Institute
Yu-Chee Tseng , National Chiao-Tung University
pp. 313a

Towards Feasible Topology Formation Algorithms for Bluetooth-based WPANs (PDF)

Elena Baralis , Politecnico di Torino
Marco Ajmone Marsan , Politecnico di Torino
Paolo Garza , Politecnico di Torino
Carla F. Chiasserini , Politecnico di Torino
pp. 313b

Bluetooth-based Ad-Hoc Networks for Voice Transmission (PDF)

Frank Kargl , University of Ulm
Michael Weber , University of Ulm
Stefan Schlott , University of Ulm
Stefan Ribhegge , University of Ulm
pp. 314a

Secure Connections in Bluetooth Scatternets (PDF)

D. Manivannan , University of Kentucky
Karl E. Persson , University of Kentucky
pp. 314b
Distributed Object and Component-Based Software Systems (STDOC)

Distributed Object and Component-Based Software Systems (PDF)

Barrett R. Bryant , University of Alabama at Birmingham
Rajeev R. Raje , Indiana University Purdue University Indianapolis
pp. 317

A QoS Metamodel and its Realization in a CORBA Component Infrastructure (PDF)

Thomas Unterschütz , T-Systems Nova
Torben Weis , Technical University of Berlin
Marc Born , Fraunhofer FOKUS
Tom Ritter , Fraunhofer FOKUS
pp. 318a

Development of Reusable Components through the Use of Adapters (PDF)

Chia-Chu Chiang , University of Arkansas at Little Rock
pp. 319a

GriT: A CORBA-Based GRID Middleware Architecture (PDF)

Balachandran Natarajan , Vanderbilt University
Aniruddha S. Gokhale , Vanderbilt University
pp. 319b

Design and Performance of a Dynamically Configurable, Messaging Protocols Framework for Real-Time CORBA (PDF)

Sumita Rao , University of California at Irvine
Raymond Klefstad , University of California at Irvine
Douglas C. Schmidt , University of California at Irvine
pp. 320a

Domain-Specific Metamodels for Heterogeneous Information Systems (PDF)

J. Tan , Monash University
C. A. Ewald , Department of the Premier and Cabinet, Queensland
A. Zaslavsky , Monash University
A. Bond , Distributed Systems Technology Centre
pp. 321a

Modeling Web Applications Using Java and XML Related Technologies (PDF)

Sam Chung , University of Washington Tacoma
Yun-Sik Lee , Hoseo University
pp. 322
Domain-Specific Languages (STDSL)

Domain-Specific Languages Minitrack Introduction (PDF)

Marjan Mernik , University of Maribor
Anthony M. Sloane , Macquarie University
pp. 323

Embedding Domain Specific Languages in the Attribute Grammar Formalism (PDF)

Sérgio Schneider , Universidade Federal de Uberlândia
João Saraiva , Universidade do Minho
pp. 324a

Phobos: A Front-End Approach to Extensible Compilers (PDF)

Jason Hickey , California Institute of Technology
Adam Granicz , California Institute of Technology
pp. 324b

Experience with ANSI C Markup Language for a Cross-Referencer (PDF)

Hayato Kawashima , Japan Advanced Institute of Science and Technology
Katsuhiko Gondow , Japan Advanced Institute of Science and Technology
pp. 324c

An Examination of DSLs for Concisely Representing Model Traversals and Transformations (PDF)

Gábor Karsai , Vanderbilt University
Jeff Gray , University of Alabama at Birmingham
pp. 325a
Experimental Software Engineering (STESE)

An Evaluation of Applying Use Cases to Construct Design versus Validate Design (PDF)

Dag I. K. Sjøberg , Simula Research Laboratory
Bente Anda , Simula Research Laboratory
Erik Syversen , University of Oslo
pp. 327a

Experimental Validation of Multidimensional Data Models Metrics (PDF)

Mario Piattini , University of Castilla — La Mancha
Coral Calero , University of Castilla — La Mancha
Manuel Serrano , University of Castilla — La Mancha
pp. 327b

CAMELOT: Technology Focused Testing of CSCW Applications (PDF)

Edwin H. Rogers , Rensselaer Polytechnic Institute
Ephraim P. Glinert , Rensselaer Polytechnic Institute
Robert F. Dugan Jr. , Stonehill College
pp. 328c
Frameworks and Methods for the Study and Analysis of Trust in Information Systems(STFMS)

Trust in Electronic Environments (PDF)

William A. Wallace , Rensselaer Polytechnic Institute
Kari Chopra , Aptima, Inc.
pp. 331a

Information Assurance Measures and Metrics — State of Practice and Proposed Taxonomy (PDF)

Ambareen Siraj , Mississippi State University
Ronda Henning , Harris Corporation
Rayford B. Vaughn, Jr. , Mississippi State University
pp. 331c

Content Based File Type Detection Algorithms (PDF)

Mason McDaniel , James Madison University
M. Hossain Heydari , James Madison University
pp. 332a

Combinatorial Optimization of Multicast Key Management (PDF)

Linda Morales , Texas A&M University-Commerce
I. Hal Sudborough , University of Texas at Dallas
Mohamed Eltoweissy , James Madison University
M. Hossain Heydari , James Madison University
pp. 332b
Secure and Survivable Software Systems (STSSS)

Secure and Survivable Software Systems Minitrack Introduction (PDF)

Paul Oman , University of Idaho
Axel W. Krings , University of Idaho
pp. 333

Applications of Hidden Markov Models to Detecting Multi-Stage Network Attacks (PDF)

Dirk Ourston , University of Texas at Austin
Sara Matzner , University of Texas at Austin
William Stump , University of Texas at Austin
Bryan Hopkins , University of Texas at Austin
pp. 334b

On-Line Intrusion Detection and Attack Prevention Using Diversity, Generate-and-Test, and Generalization (PDF)

James Just , Teknowledge Corporation
Ryan Maglich , Teknowledge Corporation
Larry Clough , Teknowledge Corporation
James C. Reynolds , Teknowledge Corporation
pp. 335b

Attack Recognition for System Survivability: A Low-level Approach (PDF)

Jim Alves-Foss , University of California at Davis
Carol Taylor , University of Idaho
pp. 335c
Testing and Certification of Trustworthy Systems (STTCT)

Testing and Certification of Trustworthy Systems Introduction to Minitrack (PDF)

Gwendolyn Walton , University of Central Florida
Alan R. Hevner , University of South Florida
Richard C. Linger , Carnegie Mellon University
pp. 336

Certification Support for Automatically Generated Programs (PDF)

Mike Whalen , University of Minnesota
Johann Schumann , RIACS/NASA Ames
Bernd Fischer , RIACS/NASA Ames
Jon Whittle , QSS/NASA Ames
pp. 337a

Breeding Software Test Cases with Genetic Algorithms (PDF)

J. Fisher , University of South Florida
J. Pinglikar , University of South Florida
L. Johnson , IBM Global Services
A. Watkins , University of South Florida
D. Berndt , University of South Florida
pp. 338a

Trusted Software?s Holy Grail (PDF)

Jeffrey Voas , Cigital, Inc.
pp. 338b
106 ms
(Ver 3.1 (10032016))