The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (2000)
Maui, Hawaii
Jan. 4, 2000 to Jan. 7, 2000
ISSN: 1530-1605
ISBN: 0-7695-0493-0
TABLE OF CONTENTS
Software Technology Track
Compilers and Tools for Embedded Systems

Compilers and Tools for Embedded Systems (PDF)

Ramesh V Peri , Panasonic AVC Research Labs
Srinivas Doddapaneni , Lucent Technologies
pp. 8002

Reverse Compilation for Digital Signal Processors: A Working Example (PDF)

Tim Womack , Royal Holloway, University of London
Adrian Johnstone , Royal Holloway, University of London
Elizabeth Scott , Royal Holloway, University of London
pp. 8003

A Re-Configurable Processor for Petri Net Simulation (PDF)

Sonny Tham , University of Western Australia
John Morris , University of Western Australia
Gary A Bundell , University of Western Australia
pp. 8006

The Production Cell: An Exercise in the Formal Verification of a UML Model (PDF)

Johan Lilius , Turku Centre for Computer Science
Ivan Porres Paltor , Turku Centre for Computer Science
pp. 8007
Distributed Systems Testing

Distributed Systems Testing (PDF)

Paddy Nixon , Trinity College
Anna Liu , Advanced Distributed Software Architecture and Technologies Group
pp. 8008

A Method of Verification in Design (PDF)

W. Hussak , University of Loughborough
J.A Keane , UMIST
pp. 8009

Mutation Testing Applied to Estelle Specifications (PDF)

Simone do Rocio Senger de Souza , Universidade Estadual de Ponta Grossa
Wanderley Lopes de Souza , Universidade Federal de S?o Carlos-UFSCar
Sandra Camargo Pinto Ferraz Fabbri , Universidade Federal de S?o Carlos-UFSCar
José Carlos Maldonado , Universidade de S?o Paulo
pp. 8011

ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems (PDF)

Ana Maria Ambrosio , National Institute for Space Research
Eliane Martins , State University of Campinas
Selma B. Sabião , State University of Campinas
pp. 8012
Evolution of Business to Business Electronic Commerce

Domain Ontology Management Environment (PDF)

Paul O'Brien , BT Advanced Communications Research Center
Zhan Cui , BT Advanced Communications Research Center
pp. 8015

A Replicable Web-Based Negotiation Server For E-Commerce (PDF)

Stanley Y.W. Su , University of Florida at Gainesville
Joachim Hammer , University of Florida at Gainesville
Chunbo Huang , University of Florida at Gainesville
pp. 8016
Mobile Computing and Wireless Networks

Energy-Efficient Communication Protocol for Wireless Microsensor Networks (PDF)

Hari Balakrishnan , Massachusetts Institute of Technology
Wendi Rabiner Heinzelman , Massachusetts Institute of Technology
Anantha Chandrakasan , Massachusetts Institute of Technology
pp. 8020

Route Maintenance in a Wireless Mobile Ad Hoc Network (PDF)

Yu-Chee Tseng , National Central University
Sze-Yao Ni , National Central University
Shih-Lin Wu , National Central University
Jang-Ping Sheu , National Central University
pp. 8021

A Novel Routing Algorithm for Ad Hoc Networks (PDF)

Antonio A.F. Loureiro , Federal University of Minas Gerais
Daniel Câmara , Federal University of Minas Gerais
pp. 8022

A Multicasting Scheme Using Multiple MCSs for Reducing End-to-End Path Delay in ATM Networks (PDF)

Tae-young Byun , Kyungpook National University
Ki-jun Han , Kyungpook National University
pp. 8023

Fixed Cell Assignment for Forward Link in Broadband Wireless Networks (PDF)

Jae D. Lim , University of Alabama at Tuscaloosa
Harold P. Stern , University of Alabama at Tuscaloosa
pp. 8024

Design and Performance Evaluation of an Asymptotically Optimal Backoff Algorithm for IEEE 802.11 Wireless LANs (PDF)

L. Bononi , University of Bologna
E. Gregori , Italian National Research Council
M. Conti , Italian National Research Council
pp. 8025

Quality of Service for Rapidly Deployable Radio Networks (PDF)

Joseph B. Evans , University of Kansas
Saravanan Radhakrishnan , University of Kansas
Victor S. Frost , University of Kansas
pp. 8027

A Generic Approach to Satisfy Adaptability Needs in Mobile Environments (PDF)

M.T. Segarra , Universit? de Beaulieu
F. André , Universit? de Beaulieu
pp. 8028

Mobile Agents and Java Mobile Agents Toolkits (PDF)

Damir Horvat , ComNet
Veljko Milutinovic , University of Belgrade
Dragana Cvetkovic , University of Belgrade
pp. 8029

Architecture of the Mobile Environment for Intelligent Genetic Search and Proxy Caching (PDF)

Damir Horvat , ComNet
Dejan Petkovic , University of Belgrade
Veljko Milutinovic , University of Belgrade
Dragana Cvetkovic , University of Belgrade
Milja Pe?ic , University of Belgrade
pp. 8030

Deployment of Mobile Agents in the Mobile Telephone Network Management (PDF)

Vesna Hassler , Technical University of Vienna
Wolfgang Lugmayr , Technical University of Vienna
Igor Brusic , Technical University of Vienna
pp. 8031
Multi-Agent Systems, Internet and Applications

Mini-track on Multi-Agent Systems, Internet & Applications Software Technology Track (PDF)

Tim Finin , University of Maryland at Baltimore County
Anupam Joshi , University of Maryland at Baltimore County
Yannis Labrou , University of Maryland at Baltimore County
Yun Peng , University of Maryland at Baltimore County
pp. 8032

Agent-Driven Online Business in Virtual Communities (PDF)

Stefan Pitsch , Fraunhofer Institut Arbeitswirtschaft und Organisation
Arndt Kraft , Universit?t Stuttgart
Michael Vetter , Universit?t Stuttgart
pp. 8033

Evaluating the FIPA Standards and Its Role in Achieving Cooperation in Multi-Agent Systems (PDF)

P. Charlton , Imperial College of Science Technology and Medicine
R. Cattoni , Centro per la Ricerca Scientifica e Tecnologica
A. Potrich , Centro per la Ricerca Scientifica e Tecnologica
E. Mamdani , Imperial College of Science Technology and Medicine
pp. 8034

A Multi-Agent Architecture for Cooperative Query Answering (PDF)

Michael Barg , University of Sydney
Raymond K. Wong , University of Sydney
pp. 8035

Place Oriented Virtual Private Networks (PDF)

Ingo Busse , German National Research Center for Information Technology
Stamatis Karnouskos , German National Research Center for Information Technology
Stefan Covaci , German National Research Center for Information Technology
pp. 8036

Concurrent Web-Programming in CLP(WEB) (PDF)

Enrico Pontelli , New Mexico State University
pp. 8037

Concurrent Web-Programming in CLP(WEB) (PDF)

Enrico Pontelli , New Mexico State University
pp. 8038
New Trends in Multimedia Systems

New Trends in Multimedia Systems (PDF)

Ibrahim Kamel , Panasonic Technologies Incorporated
Sarit Mukherjee , Panasonic Technologies Incorporated
pp. 8039

Ordered End-to-End Multicast for Distributed Multimedia Systems (PDF)

H.-Peter Dommel , Santa Clara University
J. J. Garcia-Luna-Aceves , University of California at Santa Cruz
pp. 8041

A CORBA Framework for Managing Real-Time Distributed Multimedia Applications (PDF)

L. E. Moser , University of California at Santa Barbara
P. M. Melliar-Smith , University of California at Santa Barbara
V. Kalogeraki , University of California at Santa Barbara
pp. 8042

Data Placement Techniques for Serpentine Tapes (PDF)

Cyrus Shahabi , University of Southern California
Ali Esmail Dashti , Kuwait University
pp. 8043

VideoMAP: A Generic Framework for Video Management and Application Processing (PDF)

Qing Li , City University of Hong Kong
Rynson W.H. Lau , City University of Hong Kong
Antonio Si , Sun Microsystems Incorporated
pp. 8044

MASAA: A Case Study in Building a Distributed Integrated Media Database (PDF)

Mohammad R. Kolahdouzan , University of Southern California
Roger Zimmermann , University of Southern California
Cyrus Shahabi , University of Southern California
pp. 8045
Software Component Engineering: Meta-Framework and Technologies

Software Component Engineering: Meta-Framework and Technologies (PDF)

Andy Bond , University of Queensland
Allen Parrish , DSTC Pty Ltd
Brandon Dixon , University of Alabama at Tuscaloosa
David Cordes , University of Queensland
pp. 8046

Classification Framework for Business Components (PDF)

Klement J. Fellner , Otto-von-Guericke-University at Magdeburg
Klaus Turowski , Otto-von-Guericke-University at Magdeburg
pp. 8047

Role Modeling for Component Design (PDF)

Liping Zhao , Royal Melbourne Institute of Technology
Elizabeth Kendall , Royal Melbourne Institute of Technology
pp. 8048

Views: A Framework for Feature-Based Development and Distribution of OO Applications (PDF)

Joumana Dargham , Universit? du Qu?bec ? Montr?al
Ali Mili , Institute for Software Research
Hafedh Mili , Universit? du Qu?bec ? Montr?al
pp. 8049

Putting the Parts Together ? Concepts, Description Techniques, and Development Process for Componentware (PDF)

Klaus Bergner , Technische Universit?t M?nchen
Marc Sihling , Technische Universit?t M?nchen
Andreas Rausch , Technische Universit?t M?nchen
Alexander Vilbig , Technische Universit?t M?nchen
pp. 8050

Contract-Based Component System Design (PDF)

Holger Giese , Westf?lische Wilhelms-Universit?
pp. 8051
Software Engineering Tools

Software Engineering Tools (PDF)

Jonathan Gray , University of Wollongong
pp. 8053

Working with Patterns and Code (PDF)

Steven P. Reiss , Brown University
pp. 8054

Selecting a Model Interchange Format: The SPOOL Case Study (PDF)

Guy St-Denis , Universit? de Montr?al
Rudolf K. Keller , Universit? de Montr?al
Reinhard Schauer , Universit? de Montr?al
pp. 8055

Lessons Learnt in the Use of a Collaborative Design Environment (PDF)

Jari A. Lehto , Nokia Research Center
Pentti Marttiin , Nokia Research Center
pp. 8056

Transforming Information Models to Support the Generation of Efficient Implementations (PDF)

Nigel A. Whitaker , University of Manchester
Alan R. Williams , University of Manchester
Hilary J. Kahn , University of Manchester
Nick P. Filer , University of Manchester
Denis J. Reilly , University of Manchester
pp. 8057

GraMMi: Using a Standard Repository Management System to Build a Generic Graphical Modeling Tool (PDF)

Gabriele Höfling , Bavarian Research Center for Knowledge-Based Systems
Markus Blaschka , Bavarian Research Center for Knowledge-Based Systems
Carsten Sapia , Bavarian Research Center for Knowledge-Based Systems
pp. 8058

Compiler/Interpreter Generator System LISA (PDF)

Marjan Mernik , University of Maribor
Viljem ?umer , University of Maribor
Enis Avdicau?evic , University of Maribor
Mitja Lenic , University of Maribor
pp. 8059
Trading of Intangible Goods

Trading Digital Intangible Goods: The Rules of the Game (PDF)

Dimitri Konstantas , Univestity of Geneva
Jean-Henry Morin , Univestity of Geneva
pp. 8061

Intellectual Properties as Intangible Goods (PDF)

Matthias Günter , Swiss Federal Institute of Intellectual Property
Michael Gisler , Swiss Federal Institute of Intellectual Property
pp. 8062

The Impact of Trading Digital Products on Retail Information Systems (PDF)

Redmer Luxem , Westf?lische Wilhelms-Universit?t M?nster
pp. 8063

Dynamic Pricing in a Reputation Brokered Agent Mediated Knowledge Marketplace (PDF)

Alexandros Moukas , Massachusetts Institute of Technology
Giorgos Zacharia , Massachusetts Institute of Technology
Petros Boufounos , Massachusetts Institute of Technology
Pattie Maes , Massachusetts Institute of Technology
pp. 8064

Internet Trading of Intangible Goods Based on the Execution of Workflows (PDF)

Benito Tomas Giordani , Universidade Estadual de Campinas
Manuel de Jesus Mendes , Universidade Estadual de Campinas and Pontif?cia Universidade Cat?lica de Campinas
Jose Soto Mejia , Universidad Tecnologica de Pereira and Universidade Estadual de Campinas
pp. 8065

Seamless Object Authentication in Different Security Policy Domains (PDF)

Ryoichi Sasaki , Hitachi,Ltd. Systems Development Laboratory
Satoru Tezuka , Hitachi,Ltd. Systems Development Laboratory
Masanori Kataoka , Hitachi,Ltd. Systems Development Laboratory
pp. 8066
80 ms
(Ver 3.1 (10032016))