Table of Contents

• The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case Stories Dines Bjørner. 3-10
• Physical Limits For Computing And CommunicationY. Yamamoto, I. Chuang. 3-14
• Computer Communication for Developing CountriesFarouk Kamoun, Mohamed Ben Sassi. 11-16
• The Virtual FactoryPeter Raulefs. 18-30
• Speech Compression: A Key to Low-Cost Telephony Systems for Developing CountriesGeraldo Lino de Campos. 26-31
• The Theory and Practice of A Formal Method: NewCoReGerard J. Holzmann. 35-44
• Strategies for Exploiting the Global Software Market: Indian ExperienceSubhash C. Bhatnagar. 38-45
• Requirements of the Telecommunication Infrastructure of the Future: Multimedia Communication and ComputingKatrin Braun, Joachim Grollmann. 45-50
• From Data Management To Information ExploitationBruce G. Lindsay. 45-48
• Telesensation - Distributed Interactive Virtual Reality - Overview and ProspectsNobuyoshi Terashima. 49-59
• X.500 Directories - Status and Prospects on the Way to World-Wide Directory SharingPeter F. Pawlita, Mansour Farghaly. 51-56
• On the Way to Competitive Market of Service in Heterogeneous NetworksChristian Mittasch, Klaus Irmscher. 57-62
• Multimedia and Multi-party Desktop Conference System (MERMAID) as Groupware PlatformShiro Sakata. 63-68
• Towards a Viable Computer Industry in Developing Nations: The West Bank CaseAdnan H. Yahya. 65-70
• A Cooperative Support System Based on Multiplicity of TaskKoji Tsukada, Ken-ichi Okada, Yutaka Matsushita. 69-74
• Information Technologies in the Brazilian Service Sector: Diffusion and Impacts on CompetitivenessRenata L. La Rovere. 71-75
• Personal Assistance Systems for Professionals, Illustrated by EISH. G. Grünwald, R. Cullen, M. A. M. Leermakers. 75-79
• Specifying Dynamic Reat-Time Systems in CRPR. K. Shyamasundar. 75-80
• Information Systems for Environmental Decison Making in Developing Countries - Decision Maker Needs and Technology Transfer ChallengesIan K. Crain, Gwynneth M. Martin. 76-81
• ALT-J/E, a Japanese to English Machine Translation System for Communication with TranslationSatoru Ikehara, Satoshi Shirai, Kentaro Ogura, Akio Yokoo, Hiromi Nakaiwa, Tsukasa Kawaoka. 80-85
• The Role of Infrastructure in the Adoption of an Immature Software TechnologyPriscilla J. Fowler, Linda Levine. 81-86
• Hardware Industry In BrazilManoel Luiz, Leão. 82-89
• An Expert System for Diagnosing Faults in a Chocolate FactoryKesheng Wang, Paramsothy Jeyakumar, Dag Kjenstad. 86-91
• Personal Communication is More Than Wireless CommunicationKatrin Braun, Joachim Grollmann, Michael Horn, Manfred Langen, Wolfgang Thulke, Walter Weigel. 89-94
• A Hybrid Simulation-Scheduler-Quality Control System to Assist the Design of Flexible Manufacturing SystemsGeorge L. Kovács, István Mezgár, J. Nacsa, Sándor Kopácsi, D. Gavalcová. 92-95
• Extensions of the Internet Protocol for Wireless CommunicationChr. Kröll, Peter Peinl, J. Pommnitz. 95-100
• An Integrated System Solution in the Diagnostics Industry by Customizing PC-Based Standard SoftwareWolfgang Reh. 96-101
• Professional Development in Software Engineering - A Modular Programme in Hong KongMichael B. Stranks, Jenny Whitworth. 97-102
• The Walkstation Project - A Flexible Platform for Experiments in Mobile Multimedia EnvironmentsFrank Reichert, Y. Ismailov, P. Pruthi, T. Ohsawa. 101-105
• Experience with Participative Application DevelopmentMorten Kyng. 107-114
• The Dynamic Screen - Beyond the Limits of Traditional Graphic User InterfacesPeter Lüders, Rolf Ernst. 109-114
• Domain-Oriented design EnvironmentsGerhard Fischer. 115-122
• Framing the Critical Issues: The ProcessKaren A. Duncan. 117-118
• Faciliation of Technology Generation and Applications: What We Should BuildMark T. Smith. 121-126
• An Adaptive Browsing System Based on Rules for Object-Oriented DatabasesBogdan D. Czejdo, Bill P. Buckles, L. Smith, Christoph F. Eick. 121-126
• Object Database Systems: the ODMG StandardFrançois Bancilhon. 123-130
• Solving System Partitioning Problem using a Massively Parallel Bio-Computing NetworkRay-I Chang, Pei-Yung Hsiao. 129-134
• Including Expert System Capabilities in Object-Oriented Application ManagementRay Fernández Ruperez, Craig Jones, José Ramón Zubizarreta Aizpuru. 131-136
• A Systematic R&D Agenda for Decision Support SystemsC. M. Khoong. 136-141
• Artificial Intelligence for Semantic UnderstandingToshiyuki Iida, Shigeo Shimada, Masakatsu Ohta, Tsukasa Kawaoka. 137-142
• The Reduction Method of Waiting Operands in Dataflow MachineHiroshi Nagase, Kiyoshi Tawa, Masayoshi Kaji, Hiroaki Nakayama, Hiroshi Suzuki, Masaru Kakuma. 141-146
• KSM: An Environment for Knowledge Oriented Design of Applications Using Structured Knowledge ArchitecturesJosé Cuena, Martín Molina. 143-148
• Improving Software Testability by Observability and Controllabliity MeasuresSuresh C. Gupta, Mukul K. Sinha. 147-154
• An Implementation of the PAC Architecture Using Object-Oriented TechniquesFrancisca Losavio, Alfredo Matteo, O. Ordaz, O. Meza, W. Gontier. 149-155
• Indroductory Remarks to Virtual RealityBernd Neumann. 155-158
• Distributed Traffic-Monitoring and Evaluation by Means of a Client-Server ArchitectureGerhard Eschelbeck, Thomas Moser. 156-161
• Adaptive Architecture for Flexible Information SystemsT. Murayama, F. Hattori. 157-162
• Overview of Current Virtual Reality ApplicationsPierre Dupont. 159-162
• Modeling Motion Simulation with DEDSJ. T. F. Camargo, Léo Pini Magalhães, Alberto Barbosa Raposo. 162-167
• Inclusive Symbolic EnvironmentsWilliam Bricken. 163-170
• Maintenance as Challenge or Limitation - Some Experiences from Object-Oriented ProgrammingFranz Lehner, H. Sikora. 168-173
• Decentralized Computing Environment for Agent-Oriented ProgrammingHuai-Min Wang, Pu Wang, Hong Kui Gao. 169-174
• The Execution Model and the Architecture for Real-Time Parallel SystemsYoshinori Yamaguchi, Kenji Toda, Kenji Nishida, Eiichi Takahashi. 177-182
• Animating Autonomous Virtual Humans in Virtual RealityDaniel Thalmann. 177-184
• SWIM Active Memory: Architecture and ApplicationsAbhaya Asthana, Mark Cravatts, Paul Krzyzanowski. 183-188
• The Illusion of Illusion: Constructing Meaning in the Artifical AgeColin Beardon, Suzette Worden, Herbert Burkert. 185-190
• Design Methods for Human-Computer InterfacesGerrit C. van der Veer. 188-195
• Compiler s New Role in Data Cache PrefetchingChi-Hung Chi. 189-194
• How Useful are Virtual Worlds?Ipke Wachsmuth. 191-192
• Designing Multi-Processor Real-Time Systems with a Multi-view ApproachL. Zhang, Jan van Katwijk. 195-200
• Adaptive User InterfacesMarkus A. Thies. 196-202
• Applications of PRAMs in TelecommunicationsReinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul. 203-210
• Cultural Stability and Technological Change: The Case of Information, Communication and Media TechnologyWolfgang Coy. 210-217
• The Design and Analysis of Geometric AlgorithmsLeonidas J. Guibas. 211-212
• The Structure of the Complexity of Computations: A Guided Tour Through Complexity ClassesJuris Hartmanis. 213-220
• Protection of Databases in the International Telecommunications EnvironmentSusan H. Nycum. 219-231
• The Implementation of Geometric AlgorithmsKurt Mehlhorn, Stefan Näher. 223-231
• Controlling Visions and MetaphorsPeter Mambrey, Michael Paetau, August Tepper. 223-228
• Computing is InteractionRobin Milner. 232-233
• TAIS: technology Assessment Information SystemVassilios Laopodis. 235-240
• The Wonders of the Digital Envelope - A Crash Course in Modern CryptographyAvi Wigderson. 235-238
• <Eletronic Trust> and the Role of Law: A European PerspectiveHerbert Burkert. 239-247
• Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter ObjectivesYung-Cheng Chang, Lih-Hsing Hsu. 241-246
• Optimization of Systolic Tree AutomataJozef Gruska, Margherita Napoli, Domenico Parente. 247-252
• Past and Present View on Computer ArchitectureKonrad Zuse. 248-250
• How Much is Safety Worth?Jean-Claude Laprie. 251-253
• SAT-Varible Complexity of Hard Combinatorial ProblemsKazuo Iwama, Shuichi Miyazaki. 253-258
• Why We Should Learn Not To Depend Too Much Upon SoftwareBev Littlewood. 254-261
• An Object-Oriented Conceptal Model for Information SystemsDavid Chenho Kung, Jyhjong Lin, Pei Hsia. 259-264
• Operational Safety Critical Software Methods in RailwaysG. Guiho, F. Mejia. 262-269
• Lamport s Bakery Algorithm Applied to Loosely-coupled SCI PlatformsQiang Li. 265-270
• Data Communications: The First 2500 YearsGerard J. Holzmann. 271-278
• The Use of Elliptic Curves in Smart CardsCh. Marco, Paz Morillo. 271-275
• Design Issues in Randomized Branch and Bound Algorithms: A Study of Graph PartitioningSubhada K. Mishra, Vijay V. Raghavan. 276-281
• A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams and Its Application to Program DevelopmentYouzou Miyadera, Kensei Tsuchida, Takeo Yaku. 282-287
• Certifiable Critical Complex Computing SystemsGérard Le Lann. 287-294
• Linear-Time Algorithms in Memory HierarchiesKenneth W. Regan. 288-293
• Hidden Safety Requirements in Large-Scale SystemsCarl E. Landwehr. 295-302
• A Fault Tolerant Distributed Termination Detection SchemeXinfeng Ye, John A. Keane. 300-305
• Emerging Safety - Sensitive Computerized ApplicationsAlain Costes, H. Ihara, Hermann Kopetz, M. H. Mille. 303-307
• Boolean Manipulation with Free BDDs: An Application in Combinational Logic VerificationJordan Gergov, Christoph Meinel. 309-314
• Should we Invest in Intellectual Elegance or Computer Power?Otthein Herzog. 311-314
• Basic Research and Technology Development: An Outdated DichotomyPeter Bosch. 315-317
• The Calculating Machines Stored in the Palace Museum in Beijing, Their Structure and AlgorithmsKlaus-Dieter Graf, Bai Shangshu, Li Di. 315-323
• Software Engineering in BusinessErnst Denert. 318-325
• A Timed Temporal Logic Framework for Designing Real-Time ApplicationsDan Ionescu. 322-329
• On Basic Concepts of Early Computers in relation to Contemporary Computer ArchitecturesRaúl Rojas. 324-331
• Hardware Design - A Tools ViewUtz G. Baitinger. 326-332
• Can Functional Programming Be Liberated from the Applicative Style?Wolfram Kahl. 330-335
• From AI Technology Research to ApplicationsArmin B. Cremers, Sebastian Thrun, Wolfram Burgard. 333-340
• Computational and Concurrency Aspects of Linear LogicMax I. Kanovich. 336-341
• Restricted Causal InferenceMieczyslaw A. Klopotek. 342-347
• Putting Software Technology to WorkFriedrich W. von Henke. 345-350
• An Axiomatic Approach to Canonical DerivationsHans-Jörg Kreowski. 348-353
• Information Engineering and InnovationDieter Schütt, Konstantin Jacoby, Siegfried Bocionek. 351-358
• Mathematical Description and Specification of SoftwareDavid Lorge Parnas. 354-359
• Temporal Algebraic Specification of an Industrial Information SystemF. Piard, A. Haurat. 360-365
• Seven Claims on Market-Driven Research and Development, Position Paper for the Panel: The Impact of IT Research on IndustryPeter Bosch. 363-364
• E-mail as an Enabling Technology in Brazil: The CNPq/ProTeM-CC ExperienceJosé Palazzo M. de Oliveira, Norberto Hoppen. 366-371
• Public Computer Systems and Areas for Societal InteractionÅke Grönlund. 369-375
• Reengineering Government Through Information Technology: The National Performance ReviewRandy H. Katz. 372-379
• Formal Design of an Abstract Machine for Constraint Logic ProgrammingChristoph Beierle. 377-382
• Workplace Applications: Tools for Motivation and Tools for ControlJohn Karat. 382-387
• Is Application Development Focused on Real Problems?Roland Traunmüller. 391-393
• Logic Programming: The Evolving Algebra ApproachEgon Börger. 391-395
• Shifting Boundaries in Systems Engineering, Policy Analysis and ManagementHenk G. Sol. 394-401
• Towards a Mathematical Specification of the APE100 Architecture: The APESE ModelEgon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig. 396-401
• Impacts of Creating, Implementing and Using Formal LanguagesJoachim Biskup. 402-407
• A Formal Specification of the PVM ArchitectureEgon Börger, Uwe Glässer. 402-409
• Progress and Challenges in the Application of Decision Support Systems to ManagementMichel R. Klein. 408-415
• A Model for Mathematical Analysis of Functional Logic Programs and Their ImplementationsEgon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. 410-415
• The Information Organisation Driving Information TechnologyJulie Cameron. 414-421
• Applying AI for Developemnt of CIM SoftwareVladimír Marík, Jirí Lazanský. 416-423
• Evolving Algebra Model of Programming Language SemanticsPaola Glavan, Dean Rosenzweig. 416-422
• Tightly Knitted Connections: The Politics of NetworkingIna Wagner. 422-429
• Information System Methods - History, Status and ForecastT. William Olle. 424-433
• A Semantics for Hybrid Object-Oriented Prolog SystemsBernd Müller. 428-433
• International Office of the Future: A Teaching and Research FacilityBernard C. Glasson. 430-435
• Object-Oriented System Development: Will the New Approach Solve Old Problems?Gregor Engels, Gerti Kappel. 434-441
• Overcoming Disabilities with Information Technology: An International SurveyDiane Whitehouse. 436-443
• Distributed Computations: Evolving Algebra ApproachDean Rosenzweig. 440-441
• What Has Gone Wrong with Application Development? Who is the Culprit? Panel Position PaperHinrich E. G. Bonin. 442-443
• Factorizing LanguagesMarcella Anselmo, Antonio Restivo. 445-450
• Data Processing Applications in Law - A History of Some Misunderstandings. Panel Position PaperHerbert Fiedler. 447
• Is Application Development Focused on Real Problems? Panel Position PaperAnthony Finkelstein. 448-450
• Graphical User Interfaces for Blind PeopleRul Gunzenhäuser, Gerhard Weber. 450-457
• Chain AutomataOlivier Carton. 451-458
• Is Technology Transfer the Answer?Subhash C. Bhatnagar. 453-455
• The Myths and Illusions of Technology TransferMayuri Odedra. 463-464
• On a Conjecture of BrzozowskiAldo de Luca, Stefano Varricchio. 465-472
• A Periodicity Theorem for TreesDora Giammarresi, Sabrina Mantaci, Filippo Mignosi, Antonio Restivo. 473-478
• Functional Process Improvement Implementation: Public Sector ReengineeringThomas R. Gulledge, Edgar H. Sibley, David H. Hill, Lynne M. Sullivan. 475-480
• Two Lower Bounds on Computational Complexity of Infinite Word GenerationJuraj Hromkovic, Juhani Karhumäki. 479-484
• Technology and Structure in the International Business EnterpriseEdward M. Roche. 481-486
• Public Policy and Information Technology in the Developing World: Difficult Financial OptionsEdward M. Roche, Michael Blaine. 483-488
• On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract)Maryse Pelletier, Jacques Sakarovitch. 485-490
• Automata on Infinite Words (Abstract)Dominique Perrin. 491-492
• Self-Modifying Finite AutomataRoy S. Rubinstein, John N. Shutt. 493-498
• Health Informatics Methodology and the Fragmented Health Care MarketO. Rienhoff. 494-501
• Finite-State Recognizability and Logic: from Words to GraphsWolfgang Thomas. 499-506
• Health Care Reform: A National Case StudyKaren A. Duncan. 502-508
• Scientific Computing on Bulk Synchronous Parallel ArchitecturesRob H. Bisseling, William F. McColl. 509-514
• H-BSP - A General Purpose Parallel Computing EnvironmentThomas Cheatham, Amr F. Fahmy, Dan C. Stefanescu. 515-520
• On the Necessity of Mobile Information Processing in HospitalsR. Werner, Reinhold Haux, Florian Leiner, Alfred Winter. 517-524
• A Calculus of Adaptive Purpose Parallel ComputationPilar de la Torre, Clyde P. Kruskal. 521-526
• Knowledge-Based and 3D Imaging Systems in Medical EducationAndreas Pommert, Martin Riemer, Thomas Schiemann, Ulf Tiede, Karl Heinz Höhne. 525-532
• Parallel Functional Languages Should be StrictGaétan Hains. 527-532
• Medical Requirements for Data ProtectionKlaus Pommerening. 533-540
• Scalable Parallel Computing: A Grand Unified Theory and its Practical DevelopmentWilliam F. McColl. 539-546
• Smart Cards as Communication Tools in Health Information SystemsRolf Engelbrecht, C. Hildebrand, E. Jung, G. Brenner, R. Corcoy, G. Eberhard, C. Gapp, G. Klepser, Alberto de Leiva, M. Massi-Benedetti, R. Mechtler, Klaus Piwernetz, J. Sembritzki, J. Thiery. 541-548
• Efficient Randomized Parallel Algorithm for the Closest Pair Problem in D-dimensionP. Jagan Mohan, V. Kamakoti, C. Pandu Rangan. 547-552
• Reflections on Security of Database and Datatransfer Systems in Health CareJoachim Biskup, Gerrit Bleumer. 549-556
• Techno-crime and Terror against Tomorrow s Organisations: What About Cyberpunks?Urs E. Gattiker, Helen Kelley. 563-570
• The Categorial Data Type Approach to General-Purpose Parallel ComputationDavid B. Skillicorn. 565-570
• Automatic Verification of a Class of Symmetric Parallel ProgramsBoleslaw K. Szymanski, José M. Vidal. 571-576
• Partial Evaluation for Program SpeedupsOlivier Danvy. 579-580
• Cheap Deforestation in Practice: An Optimizer for HaskellAndrew J. Gill, Simon L. Peyton Jones. 581-586
• An Emerging Societal Invariant: The Co-herent Basic Information Systems (IS) FrameNicolae Costake, Mircea Petrescu. 582-587
• Complexity Theory and Monte Carlo Algorithms in Numerical AnalysisStefan Heinrich. 593-594
• Program Speedups in Theory and PracticeNeil D. Jones. 595-602
• Trends in Environmental Information ProcessingFranz Josef Radermacher, Wolf-Fritz Riekert, Bernd Page, Lorenz M. Hilty. 597-604
• Efficient Translation of External Input in a Dynamically Typed LanguageRobert Paige. 603-608
• Parallel Simulation of Air PollutionAchim Sydow. 605-612
• Linear Speed-Up, Information Vicinity, and Finite-State MachinesKenneth W. Regan. 609-614
• Sustainable Cities - Opportunities and Risks of Information TechnologyLorenz M. Hilty, Ulrike Weiland. 613-618
• Boundary and Path Manipulations on Abstract Data Types (Extended Abstract)William L. Scherlis. 615-620
• Education and Computers: Who is in Control?Tom J. van Weert. 619-626
• On Strong Tractability of Multivariate ProblemsGrzegorz W. Wasilkowski, Henryk Wozniakowski. 621-628
• A Learning Environment as a Response to Challenges in Computer and Communications EducationPertti Järvinen. 627-634
• Tendencies in Informatics Education from School to UniversityImmo O. Kerner. 635-638
• Towards a New Dimension in Computer Based Training: Thoughts from the Retail IndustryMarios C. Angelides, Andrew J. Stanley. 639-644
• A Framework Architecture for Reusing Training ServicesArturo Hernández-Domínguez. 645-650
• Toward a New Era-Computerizing the Israeli Educational System: Prospects and ObstaclesDaniel Millin, Jaffa Gev, Sam Kaplan, Ahuva Feinmesser. 672-677
• A New Paradigm for Distance Learning: Interactive Remote InstructionKurt Maly, C. Michael Overstreet. 682-689
• Out of the Ivory Tower: Preparing Researchers for Tomorrows WorldB. N. Cotton, Margaret Ross, Geoff Staples. 690-695
• Involving Industry in the Continuing Improvement of Higher EducationBruce A. Calway, Gerald Murphy. 696-701
• Computer Assistance in Learning Sign LanguageRolf Schulmeister. 702-707
• A Comparison Between Ethical Perspectives of Information Systems Professionals and Information Systems StudentsAndrew B. Morris. 720-727