HICSS-36
SOFTWARE TECHNOLOGY TRACK
Chair: Hesham El-Rewini
Southern Methodist University
Department of Computer Science and Engineering
P. O. Box 750122
Dallas TX 75275-0122
Phone: (214) 768-3038 Fax:
(214) 768-3085
Email:
rewini@engr.smu.edu
Cluster I: Emerging Fields
Computational
Issues in Bioinformatics
http://www.ist.unomaha.edu/bioinformatics-hicss36/Bioinformatics.html
Hesham H. Ali
Professor of Computer Science
Associate Dean for Academic Affairs
College of Information Science and Technology
University of Nebraska at Omaha
Omaha, NE 68182
Voice: (402) 554-3623
Fax: (402) 5540-3284
E-mail: hesham@unomaha.edu
Formal
Methods for Engineering Special-Purpose Parallel Systems
The design and application of special-purpose parallel systems have witnessed a rapid industrial growth in recent years and have become a key technology for the new information age. Recent technological advances in Field-Programmable Gate Arrays (FPGAs) and Hardware Compilation techniques allow parallel programs to be turned into application-specific circuits rather than machine code running on a standard processor.These applications can be implemented by programmers systematically applying parallel programming principles and techniques rather than thinking about hardware design and structures.
This minitrack focuses on the use of Formal Methods for engineering special-purpose parallel systems. Formal methods provide a foundation for the systematic construction of complex parallel systems and are increasingly used throughout the software/hardware engineering process. The emphasis is on the practical use of formal frameworks, methodologies, abstraction techniques and support tools for engineering correct and efficient parallel systems.
We invite papers describing unpublished research and practical experience in the broad fields of formal methods and parallel programming. Industrial reports and position papers are particularly encouraged.
Topics of interest include, but are not limited to:
*
Parallel Programming: models, methods, techniques and applications
* Specification, design, implementation
and verification of special-purpose parallel systems
* Custom and reconfigurable
computing
* Methods and algorithms for
systolic architectures, FPGAs, synchronous and asynchronous systems
* Hardware/software co-design,
hardware compilation techniques, real-time and embedded systems
* Comparison and applications
of functional, relational, state-based and process algebra approaches
* Formal development methods,
prototyping, program refinement and transformational programming
* Model checking, testing based
on formal methods, formal verification and validation
* Combining formal methods with
industrial engineering practice
* Integration of tool support
with formal methods
* Case studies and industrial
applications
Ali
E. Abdallah
School of Computing, Information Systems and Mathematics.
South Bank University
Southwark Campus
103 Borough Road
London, SE1 0AA
England
Email: A.Abdallah@sbu.ac.uk
Wayne
Luk
Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ
England
Email: wl@doc.ic.ac.uk
Peer-2-Peer
E-Commerce Systems and Applications
The purpose of this minitrack is to provide a forum for researchers and practitioners to discuss software technology issues related to the emerging peer-2-peer paradigm. We envisage an interdisciplinary forum which brings together participants with technology background and practitioners from both the industry and the open source community to discuss and evaluate the technology aspect as well as the interplay between technological capabilities and new emerging forms of commercial electronic interaction. Examples of such systems are found in B2B ecommerce (e.g. electronic marketplaces, mySAP, etc.) and C2C ecommerce (e.g. information exchange communities such as Napster, Gnutella, etc.), community efforts and P2P platforms such as Project JXTA and related technology, and systems for digital rights management and trust management.
Topics related to the paradigm of peer-2-peer e-commerce include, but are not limited to, the following:
- security and payment mechanisms
- mobile objects (Agents)
- semantic transformation and discovery
- rights languages for electronic goods and services
- digital rights management (DRM)
- trust management
- P2P system architectures
- community platforms
- self organizing information systems
- auction, negotiation and bidding mechanisms
- multi-agent systems
- electronic marketplaces
- support for virtual enterprises
- real time management information systems
- digital asset management and trading
Karl Aberer
Dept. of Communication Systems
EPF Lausanne
Ecublens, 1015
Lausanne
Switzerland
Tel: +41 (21) 693 4679
Fax: +41 (21) 693 8115
E-mail: karl.aberer@epfl.ch
University of Geneva - CUI
24 rue General-Dufour
CH-1211 Geneva
Switzerland
Tel: +41 (22) 705 7661
Fax: +41 (22) 705 7780
E-mail: Jean-Henry.Morin@cui.unige.ch
The University of Illinois at Chicago
College of Business Administration (M/C 294)
601 South Morgan
Chicago, IL 60607
Tel: 1-312-996-0771
Fax: 1-312-413-0385
E-mail: aris@uic.edu
Quality
of Service in the Internet
A large number of network applications, differing in requirements and traffic characteristics have been introduced in the past few years.As such, the Internet is now moving from being a best-effort service provider, to a provider of guaranteed service qualities.This requires the development of new protocols, both inside subnetworks, and on end-to-end levels.Such protocols should deal with issues as service differentiation, pricing, congestion control, routing, resource reservation, service provisioning, etc. The Internet Engineering Task Force (IETF) has been a leader in this regard. A new and lightweight service paradigm, namely, the Differentiated Services (DiffServ) approach has been proposed by IETF and active research is underway to define architectures and strategies for QoS within the Internet. Several issues still need to be worked on, such as end-to-end guarantees, actual protocol mechanisms and implementation, classification and marking, the service level agreement and the service guarantees.
The topics include, but are not limited to:
Ahmed E. Kamal
Department of Electrical & Comp. Eng.
Iowa State University
Ames, Iowa 50011-3060
Telephone: (515) 294-3580
Fax: (515) 294-8432
http://www.ee.iastate.edu/~kamal
kamal@iastate.edu
Osama Aboul-Magd
Nortel Networks
P.O. Box 3511, Station "C"
Ottawa, ON K1Y - 4H7
Canada
Tel: 613-763-5827
Fax: 613-763-2697
E-mail: osama@nortelnetworks.com
Web-based
Information Sharing: Technologies, Strategies, and Approaches
Islands of information have plagued both private enterprise and governmental agencies. Data and information sharing across distributed enterprises in both the public and private sectors present both technical and political challenges such as security, data ownership, architecture, and management of volatile information requirements. Indeed, the 9-11 disaster has under scored the need for better, more effective, and highly secure methods for information sharing. This mini-track will bring together leading researchers to present and discuss the issues related to Web based information sharing such as security, effective applications development methodologies, models and frameworks.
Deepack Khazanchi
Department of Information Systems and Quantitative Analysis
PKI 177D
College of Information Science and Technology
University of Nebraska at Omaha
1110 South 67th Street
Omaha, NE68182-0392
Tel: 402-554-2029
Fax: 402-554-3400
khazanchi@unomaha.edu
Peter Wolcott
Department of Information Systems and Quantitative Analysis
PKI 177E
College of Information Science and Technology
University of Nebraska at Omaha
1110 South 67th Street
Omaha, NE68182-0392
Tel: 402-554-3158
Fax: 402-554-3400
Peter_Wolcott@unomaha.edu
Cluster
II: Mobile Computing
and Wireless Networks
Mobile
Distributed InformationSystems
In today's mobile society, access to relevant information and to context-specific services "anytime, anywhere" is becoming increasingly important. Mobile users are often particularly interested in information about and services in their immediate vicinity, thus Mobile Distributed Information Systems must address location-dependent distribution of and access to services and information from mobile devices. The user's topological and geographical location becomes relevant for the semantics of communication, and such communication has to remain seamless even in foreign environments, with little or no need for manual reconfiguration. Frequently, in addition to his location, the user's current situation determines his information and service requirements. With mobile devices becoming more and more powerful, mobile users themselves may offer information and services to peers in an ad-hoc manner. Consequently, the long-established distinction between clients and servers is blurred, which calls for an extension of the architecture paradigm towards peer and/or alternating roles.
This Minitrack will address current topics in the field of Mobile Distributed Information Systems, such as:
Andreas Meissner (primary contact)
Fraunhofer IPSI
Dolivostrasse 15
64293 Darmstadt
Tel: +49-6151-869-826
Fax: +49-6151-869-847
Andreas.Meissner@ipsi.fraunhofer.de
Wolfgang Schönfeld
Fraunhofer IPSI
Dolivostrasse 15
64293 Darmstadt
Wolfgang.Schoenfeld@ipsi.fraunhofer.de
Lars Wolf
IBR ( Institute of Operating Systems and Computer Networks)
Technical University Braunschweig
MuehlenpfordstraBe23
38106 Braunschweig
Germany
Tel +49(531) 391-3283
Fax: +49 (531) 391-5936
Email: wolf@ibr.cs.tu-bs.de
URL: http://www.ibr.cs.tu-bs.de/
Routing
in Wireless and Internet Networks
The efficiency of message routing is critical to the performance of computer and communication networks. The routing process involves moving data between the various hosts of a given network. When such a process involves more than one source and/or one destination, it is commonly referred to as a collective communication process.
The complexity of routing is further complicated by host mobility in wireless networks (cellular, satellite and/or ad-hoc). It is clear that the conventional routing algorithms are not suitable in networks whose topology is dynamic, especially when real-time traffic has to be supported.
The goal of minitrack is to put together some of recent results on fault-tolerant routing in networks. Researchers and practitioners working in this area have an opportunity to discuss and expression their views on the current trends, challenges, and state-of-art solutions to design routing protocol in wireless and Internet Networks.
Main topics covered in the minitrack include:
Ivan Stojmenovic
SITE
University of Ottawa
Ottawa, Ontario K1N 6N5
Canada
stojmenovic@rogers.com
Jie Wu
Department. of Computer Science and Engineering
Florida Atlantic University
Boca Raton, FL 33431
Tel: 561-297-3491
Fax: 561-297-2800
jie@cse.fau.edu
Quality
Of Service In Mobile And Wireless Networks
The minitrack focuses on fundamental challenges and issues arising in the process of Quality of Service (QoS) provisioning in mobile and wireless networks, including cellular, ad-hoc, satellite, and IP-based networks.Our principle goal is to bring together leading researchers in this booming field of research in order to identify the fundamental challenges and future perspectives of this important area. Indeed, it has been noticed that wireless communications and mobile computing are redefining computing as a discipline. The impact is expected to be profound and lasting, ranging from educational, to medical, to military, to industrial, and to societal.
Topics may include but not limited to:
Petia Todorova
FhG FOKUS
Kaiserin-Augusta-Allee 31
D-10589 Berlin
Germany
todorova@fokus.fhg.de
The minitrack will concentrate on completed or ongoing research in the area of wireless local area networking and wireless personal area networking (excluding manufacturing). Areas of interest include but are not limited to research in:
Sajal K. Das
Center for Research in Wireless Mobility and Networking (CreWMaN)
Department of Computer Science and Engineering (
CSE@UTA )
The University of Texas at Arlington
249b Nedderman Hall
Box 19015
416 Yates Street
Arlington, TX 76019-0015
Tel: 817-272-7405
Fax: 817-272-3784
das@cse.uta.edu
Gergely V. Záruba
Center for Research in Wireless Mobility and Networking (CreWMaN)
Department of Computer Science and Engineering (
CSE@UTA )
The University of Texas at Arlington
305 Nedderman Hall
Box 19015
416 Yates Street
Arlington, TX76019-0015
Tel: 817-272-3602
zaruba@cse.uta.edu
Center for Research in Wireless Mobility and Networking (CreWMaN)
Department of Computer Science and Engineering (
CSE@UTA )
The University of Texas at Arlington
249D Nedderman Hall
Box 19015
416 Yates Street
Arlington, TX76019-0015
Tel: 817-272-7406
basu@cse.uta.edu
Cluster III:Software Development
Distributed
Object and Component-based Software Systems
http://www.cis.uab.edu/info/faculty/bryant/hicss36
This Minitrack is based on the experience reports of researchers and practitioners actively involved in the development of distributed object and component-based software systems.
It covers a wide range of topics applicable to different software engineering problems in this area. It focuses on practical issues of design and implementation of distributed object and component software as an element of software engineering practice.
It should be of interest to anyone concerned with:
a) Object Models for Distributed Computing
b) Design Patterns for Distributed Systems
c) Middleware and its Mapping for Distributed Systems
d) Object Quality, Reliability and Assurance
e) Distributed Systems Integration
f) Component-based Software
g) Programming Languages and Environments for Distributed Object and
Component Systems
Barrett R. Bryant
127 Campbell Hall
1300 University Boulevard
Department of Computer and Information Sciences
The University of Alabama at Birmingham
Birmingham, AL35294
Tel: 205-934-2213
Fax: 205-934-5473
Bryant@cis.uab.edu
Rajeev R. Raje
Department of Computer and Information Science
Indiana University/Purdue University - Indianapolis
723 W. Michigan Street, SL 280H
Indianapolis, IN 46202-5132
Telephone: 317-274-5174
Fax: 317-274-9742
rraje@cs.iupui.edu
This Minitrack will be based on the experience reports of researchers and practitioners actively involved in the development of domain-specific languages.This minitrack brings together practitioners who are using and developing domain-specific languages, with researchers who are investigating implementation techniques. Topics of interest include but are not limited to: design of DSLs for specific domains, empirical studies of using DSLs in real projects, descriptions and analysis of methods for implementing DSLs.
It should be of interest to anyone concerned with:
- concepts and paradigms of programming languages;
- programmming language design and implementation;
- use of domain-specific languages to solve different software
engineering problems.
Marjan Mernik
Faculty of Electrical Engineering and Computer Science
University of Maribor
Smetanova 17
2000 Maribor
Slovenia
Tel: +386 62 220 7455
Fax: +386 62 211 178
marjan.mernik@uni-mb.si
Jan Heering
Department of Software Engineering, CWI
Kruislaan 413
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Tel: (+31) 20 592
9333
Fax: (+31) 20 592
419
jan.heering@cwi.nl
Anthony Sloane
Department of Computing
School of MPCE
Macquarie University
NSW 2109
Australia
Tel: +61-2-9850-9582
Fax: +61-2-9850-9551
asloane@comp.mq.edu.au
Experimental
Software Engineering
The minitrack on "experimental software engineering" invites researchers to submit papers on the following topics of interest: Designing, conducting and evaluating experimental software engineering research; learning through experimentation; experimental studies on state-of-the-art software engineering methods, tools and processes including both the managerial and technical activities of software engineering.
Thus, the topics that the Minitrack addresses are:
* Designing,
conducting and evaluating experimental software engineering research
* Learning through experimentation
* Experimental studies on state-of-the-art
software engineering methods, tools and processes including both the managerial
and technical activities of software engineering
Karlheinz Kautz
Department of Informatics
Copenhagen Business School
Howitzvej 60, 3
DK-2000 Frederiksberg
Denmark
Tel: +45 3815 2400
Fax: +45 3815 2401
karl.kautz@cbs.dk
Pekka
Abrahamsson
VTT Electronics
P.O.Box 1100
FIN-90571 Oulu
Finland
Tel: +358 8 5512160
Fax: +358 8 5512320
pekka.abrahamsson@vtt.fi
Mobile
Software Agents and their Use in Industrial Applications
Mobile software agents have emerged as a promising paradigm for computing at both the conceptual and implementation levels. While some will argue that the paradigm is not entirely "new", it is nonetheless more flexible and dynamic than the client-server model. In the mobile agent model the program moves to the data, and advantages over client-server computing, in which computation occurs across a network, are realized. Additionally, the asynchronous nature of the paradigm allows users to migrate or log out while agents continue to work remotely on the user's behalf. This flexible paradigm is well suited to many applications ranging from electronic commerce to telecommunications and therefore its exploration and exploitation are paramount to both academia and industry.
The potential complexity of mobile agent operation requires that mechanisms exist on several levels to coordinate its activities. For this purpose research and development on various forms of mobile agents are growing in a staggering fashion. Agent-based applications and services such as network management, e-commerce, information, gathering on Internet, mobile communications and most recently active networking are becoming increasingly popular and will largely contribute to the development and to the success of mobile agent technology.
This mini track examines the current state of agent technology in regard to its application for trials and commercial solutions. Therefore papers addressing the following topics are solicited:
Mobile Agent-based applications for the Internet (e.g. information retrieval)
Mobile Agent-based applications for E/M-Commerce
Volker Roth
Fraunhofer Institute for Computer Graphics
Fraunhoferstr.5
64283 Darmstadt, Germany
Email: vroth@igd.fhg.de or roth@icir.org
Thomas
Magedanz
IKV++ Technologies AG
Bernburger Str. 24-25
D-10963 Berlin
Germany
Mobile: +49 171 172 70 70
magedanz@ikv.de
Ahmed
Karmouch
School of Information Technology & Engineering (SITE)
Faculty of Engineering
University of Ottawa
Ottawa, Ontario K1N 6N5
Canada
Tel: (613) 562-5800 ext. 6203
Fax: (613) 562-5175
Karmouch@site.uottawa.ca
Cluster IV:Trustworthy Computing
Frameworks
and Methods for the Study and
Analysis of Trust in Information Systems
http://www.cs.jmu.edu/users/prietorx/HICSS36/Minitrack14/CFP.html
The goal of this minitrack is to generate research interest in the core concepts of trusted computing: fundamental issues about trust and how trust can be specified, designed and programmed into information systems.There is an urgent need for an ability to specify and unambiguously define the characteristics that make computer systems trustworthy.
Topic can include:
Ruben Prieto-Diaz
Commonwealth Information Security Center
James Madison University
701 Carrier Dr., MSC 4103
Harrisonburg VA22807
Tel: 540-568-1665
Fax: 540-568-2745
prietodiaz@Cisat.jmu.edu
Secure
and Survivable Software Systems
The focus of the proposed minitack is issues of security
and survivability in large, non-trivial, software systems, with an emphasis
on the Recovery and Adaptation aspects of Ellison’s survivability model.
Papers on Resistance and Recognition that address the need or capacity
for safety critical software systems to “fail-safe” and “fail-secure” are
also desired.Submissions will be
sought from researchers in the area of system survivability, software dependability,
computer and network security, fault-tolerance and intrusion tolerance,
and economic or statistical modeling of secure/survivable systems.
Topics include, but are not limited to:
Axel W.
Krings
Associate Professor of Computer Science
Department of Computer Science
University of Idaho
Moscow ID 83844-1010
Tel: 208-885-4078
Fax: 208-885-9052
krings@cs.uidaho.edu
Paul
W. Oman
Senior Research Engineer
Schweitzer Engineering Laboratories
2350 NE Hopkins Court
Pullman WA99163-5603
Tel: 509-338-4035 (direct), 509-332-1890 (SEL)
Fax: 509-334-4935;
paulom@selinc.com
Testing
and Certification of Trustworthy Systems
The Testing and Certification for Trustworthy Systems minitrack focuses on research and applications that will drive widespread use of rigorous testing and certification technologies, particularly for large-scale systems that exhibit severe consequences of failure. Topics include new testing and certification techniques, scale-up to large systems, complexity reduction in testing, testing of trustworthiness properties such as reliability, security, and survivability, verification techniques for certification, development of engineering practices and tools, and case studies.
Alan
R. Hevner
Salomon Brothers/HRCP Chair of Distributed Technology
Information Systems and Decision Sciences
College of Business Administration
University of South Florida
4202 East Fowler Ave., CIS1040
Tampa FL33620
Tel: (813) 974-6753
Fax:(813) 974-6749
ahevner@coba.usf.edu
Richard C. Linger
Software Engineering Institute
Carnegie Mellon University
4500 5th Avenue
Pittsburgh PA 15213
Tel: 301-926-4858
Fax: 412-268-5758
rlinger@sei.cmu.edu
Gwendolyn H. Walton
School of Electrical Engineering & Computer Science
University of Central Florida
Computer Engineering, ENGR407
4000 Central Florida Boulevard
Orlando FL 32816-2450
Tel: 407-823-3276 (office)
Fax: 407-823-5835
gwalton@mail.ucf.edu