Table of Contents

• A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software SystemsMary Shaw, Paul C. Clements. 6-13 [doi]
• Classifying Architectural Elements as a Foundation for Mechanism MatchingRick Kazman, Paul C. Clements, Leonard J. Bass, Gregory D. Abowd. 14-17 [doi]
• The Architectural Style of Component ProgrammingHarald Gall, Mehdi Jazayeri, René Klösch, Georg Trausmuth. 18 [doi]
• A temporal behavioral object model for object-oriented databasesJian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu. 28-31 [doi]
• Object-Oriented Evolutionary Database Design for Software Metrics DataRaymond A. Paul, Tosiyasu L. Kunii, Yoshihisa Shinagawa, Arif Ghafoor. 32-37 [doi]
• On the Complexity of the Minimum and Maximum Global Snapshot ProblemsLoon-Been Chen, I-Chen Wu. 38 [doi]
• Research directions in collaborative applicationsPrasun Dewan. 44-45 [doi]
• Distributed Object Technologies for Collaborative ComputingRichard P. Sinn. 46 [doi]
• Object-based nonlinear undo modelChunbo Zhou, Atsumi Imamiya. 50-55 [doi]
• Architecture and reengineeringNorman R. Howes. 56-59 [doi]
• Translating hierarchical predicate transition nets to CC++ program skeletonsXudong He, Weili Yao. 60-65 [doi]
• Replication of multimedia data using master-slave architectureSohail Sheikh, Raj Ganesan. 66 [doi]
• The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed WorkloadsJoo-Yong Kim, Sang Hyuk Son, Kern Koh. 72-75 [doi]
• On the Effect of Recovery Block Scheme on System PerformanceO. A. Abulnaja, Seyed H. Hosseini, K. Vairavan. 76-81 [doi]
• Efficient Method for kr->r and r->kr Arrary RedistributionYeh-Ching Chung, Ching-Hsien Hsu. 82-87 [doi]
• Event Filtering Framework: Key Criteria and Design Trade-offsEhab S. Al-Shaer. 88 [doi]
• Internet interactive authoring, teach and learning-a breakthrough for educationIfay F. Chang. 97 [doi]
• SOPView+: an object browser which supports navigating database by changing base objectSung-Woo Chang, Hyoung-Joo Kim. 100-103 [doi]
• Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modelingAmir A. Khwaja. 104-108 [doi]
• Task.o object modeling approach for robot workcell programmingGyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae. 109-114 [doi]
• A fault tolerant object transaction service in CORBADeron Liang, Win-Tsung Lo, Yu-Ming Kao, Shyan-Ming Yuan, Yue-Shan Chang. 115-120 [doi]
• Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systemsK. H. Kim, Chittur Subbaraman. 121 [doi]
• A New Performance Analysis Model of the Local Switching SystemTien-Chen Ho, Shang-Juh Kao. 130-136 [doi]
• Performance characterization of forwarding strategies in personal communication networksIng-Ray Chen, Tsong-Min Chen, Chiang Lee. 137-142 [doi]
• Improving I/O response times via prefetching and storage system reorganizationChye-Lin Chee, Hongjun Lu, Hong Tang, C. V. Ramamoorthy. 143-148 [doi]
• Faster Simulation of Timed Petri Nets Via Distributed SimulationDevendra Kumar, Amit Kohli, Venkatasubramaniam Narayanswamy. 149-152 [doi]
• Implementation and performance assessment of multilevel data structuresI-Ling Yen, K. Karun. 153 [doi]
• Empirical experiences in analyzing software architecture sensitivityChung-Horng Lung. 164-165 [doi]
• Performance engineering for software architecturesConnie U. Smith. 166 [doi]
• Issues in software component technology: position statementMehdi Jazayeri. 171-172 [doi]
• Trends in software technologyWei-Tek Tsai. 173 [doi]
• Model-integrated system development: models, architecture, and processGabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore. 176-181 [doi]
• Model-Based Architecture for the IntranetHirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanaya, Takao Ookubo, Sanya Uehara. 182-187 [doi]
• Abstraction, concurrency, and communal computing in SequenceLDaniel E. Cooke. 188-191 [doi]
• Partial instantiation theorem proving for distributed resource locationKeith Vanderveen, C. V. Ramamoorthy. 192 [doi]
• A Schema Intergration Architecture for Multidatabase SystemsGuoren Wang, Ge Yu, Bin Zhang, Huaiyuan Zheng. 200-203 [doi]
• Composition can be Faster than JoinYao-Nan Lien, Chih-Lin Hu. 204-209 [doi]
• Using a Hierarchical Thesaurus for Classifying and Searching Software LibrariesHsian-Chou Liao, Ming-Feng Chen, Feng-Jian Wang, Jian-Cheng Dai. 210-216 [doi]
• EH* - Extendible Hashing in a Distributed EnvironmentVictoria Hilford, Farokh B. Bastani, Bojan Cukic. 217 [doi]
• Compunication: From Concept to PracticeWen Gao. 224 [doi]
• A Parallelizing Compiler by Object Oriented DesignYoichi Omori, Kazuki Joe, Akira Fukuda. 228-231 [doi]
• High-order Object Model Based Software AnalysisXiaoqing Frank Liu, Hungwen Lin. 228-231 [doi]
• Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design DocumentsTatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun-Mi Kim. 232-239 [doi]
• A Pragmatic Approach to Formalizing Object-Oriented Modeling and DevelopmentXiaoping Jia. 240-245 [doi]
• Management of Object Oriented Development based on Ranked Use CasesAkira K. Onoma, Mutsumi Komuro, Hiroshi Suganuma, Akefumi Kumeta, Tsutomu Syomura. 246-251 [doi]
• Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design DocumentsTatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun-Mi Kim. 252 [doi]
• On the concurrent behaviour of SCR specificationsHyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon. 258-263 [doi]
• A formal approach to software components classification and retrievalChao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang. 264-269 [doi]
• Trends and developments in CASE and structured methods: a European perspectiveColin J. Hardy, Helen M. Edwards, J. Barrie Thompson. 270-273 [doi]
• Distributed and Concurrent Development Environment via Sharing Design InformationKiyoh Nakamura, Yoshinobu Fujii, Yukio Kiyokane, Masami Nakamura, Katsuhiko Hinenoya, Yeo Hua Peck, Siow Choon-Lian. 274 [doi]
• Year 2000 Problem: A Paper Tiger or A Real Tiger ?282-282 [doi]
• Year 2000 Compliance: A Discussion on Compliance CertificationRobert A. Martin. 283-284 [doi]
• Re-engineering solutions for Y2K challengeTakashi Sano. 285-286 [doi]
• Application of data-centered approach to Year 2000 problemWei-Tek Tsai. 287 [doi]
• Optimal Scheduling for Normal and Interactive Operations in Parallel Video ServersMin-You Wu, Wei Shu, Karthikeyan Samuthiram. 290-295 [doi]
• Active Gateway: A Facility for Video Conferencing Traffic ControlShunge Li, Bharat K. Bhargava. 296-301 [doi]
• A Multimedia Information System for Document Authoring, Indexing and PresentationZhaohui Kevin Li, Young Francis Day, Husni Fahmi, Arif Ghafoor. 302-311 [doi]
• On QOS Mapping in Multimedia NetworksJean-François Huard, Aurel A. Lazar. 312 [doi]
• Structured Document Framework for Design Patterns Based on SGMLMika Ohtsuki, Jun ichi Segawa, Norihiko Yoshida, Akifumi Makinouchi. 320-323 [doi]
• Autonomous Decentralized Software Structure for Integration of Information and Control SystemsTakeiki Aizono, Katsumi Kawano, Hiroshi Wataya, Kinji Mori. 324-331 [doi]
• The use of industrial-strength formal methodsJonathan P. Bowen, Michael G. Hinchey. 332-337 [doi]
• Compiling process algebraic specifications into timed automataCarl K. Chang, Yi-Te Tseng, Ugo Buy. 338-343 [doi]
• Patterns in the analysis, design and implementation of frameworksEyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack. 344 [doi]
• Farming Methodology for TMN Platform Independent Class Repository DesignSoo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik. 352-351 [doi]
• An optimization of disjunctive queries: union-pushdownJae-young Chang, Sang-goo Lee. 356-361 [doi]
• DRDB: a distributed real-time database server for high-assurance time-critical applicationsSang Hyuk Son, Robert C. Beckinger, David A. Baker. 362-367 [doi]
• Concurrent access to point dataVincent Ng, Tiko Kameda. 368 [doi]
• Design and Implementation of a Real-time Multimedia Presentation System using RTPSridevi Palacharla, Ahmed Karmouch, Samy A. Mahmoud. 376-381 [doi]
• Multi-pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area NetworkSheng-Yih Wang, Bharat K. Bhargava. 382-387 [doi]
• Storage System and the Multimedia ChallengesRamzi R. Yehia, Imadeldin O. Mahgoub. 388 [doi]
• Scalable Templates for Specification ReuseChia-Chu Chiang, Joseph E. Urban. 396-401 [doi]
• Cross-Platform Software Reuse by Functional Integration ApproachJim-Min Lin. 402-408 [doi]
• Formal Methods for the Re-Engineering of Computing Systems: A ComparisonXiaodong Liu, Hongji Yang, Hussein Zedan. 409 [doi]
• he San Francisco project: an object-oriented framework approach to building business applicationsKathy Bohrer, Verlyn M. Johnson, Anders Nilsson, Bradley Rubin. 416 [doi]
• A Method for Structural Compatibility in Software Reuse Using Requirements SpecifcationKasilingam Periyasamy, J. Chidambaram. 426-433 [doi]
• Statistical Algorithms and Software for GenomicsThomas S. Anantharaman, Bud Mishra. 434-437 [doi]
• A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules ReasoningStephen J. H. Yang, William C. Chu, Jonathan Lee, Wei T. Huang. 438-443 [doi]
• Techniques for addressing the Year 2000 transitionChungti Liang, Brad Phelps, Jack Tan. 444 [doi]
• Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and OperationsSatoshi Kumagai, Shuzo Kishima, Kiyoshi Itoh. 450-453 [doi]
• Agile Software Process modelMikio Aoyama. 454-459 [doi]
• Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed SoftwareC. Sashidhar, Sol M. Shatz. 460-466 [doi]
• Process Modelling to Support the Unified Modelling LanguageKann-Jang Yang, Rob Pooley. 467 [doi]
• An Overview of the Internet File SystemHerman Chung-Hwa Rao, Ming-Feng Chen, Feng-Jian Wang. 474-477 [doi]
• Implementation Considerations for Mobile IPYuh-Rong Leu, Chun-Lai Cheng. 478-481 [doi]
• Two-level Web agent for limited accessibilityPing-Jer Yeh, Shyan-Ming Yuan, Winston Lo. 482-485 [doi]
• An adaptive mobile wireless handoverRobert N. Smith, Balan Mahesh, Sharada Bindiganavale. 486 [doi]
• Software Asset Management and Domain EngineeringSatish Subramanian. 494-495 [doi]
• Software Reuse: On Critical Issues of Hinagata-based Software DevelopmentMasao J. Matsumoto. 496 [doi]
• Systems testing and statistical test data coverageWilliam E. Howden. 500-504 [doi]
• Building Software Recovery Assertions from a Fault Injection-based Propagation AnalysisJeffrey M. Voas. 505-510 [doi]
• Natural Optimization Algorithms for Optimal Regression TestingNashat Mansour, Khaled Fakih. 511-514 [doi]
• Failure and Fault Analysis for Software DebuggingRichard A. DeMillo, Hsin Pan, Eugene H. Spafford. 515-521 [doi]
• Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space ApplicationW. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini. 522 [doi]
• Workflow-oriented prototyping for the development of interactive softwareChristian Stary, Nikolas Vidakis, Stefan Mohacsi, Markus Nagelholz. 530-535 [doi]
• A graphical environment for change detection in structured documentsGeorge Jyh-Shian Chang, Girish Patel, Liam Relihan, Jason Tsong-Li Wang. 536-541 [doi]
• A Study on the Requirements Review Process in Software Development: Problems and SolutionsSiew Hock Ow, Mashkuri Yaacob. 542-547 [doi]
• KAPSEL - Programming within BoundariesRaimund K. Ege. 548-551 [doi]
• Feature-oriented software structuringJürgen K. Müller. 552 [doi]
• Communication Middleware and Software for QoS Control in Distributed Real-Time EnvironmentsSpecifically, we consider the following innovative research componentsChao-Ju Hou, Ching-Chih Han, Yao-Min Chen. 558-564 [doi]
• Estimating the size of an Estelle specification for a communication protocolSun-Jen Huang, Richard Lai. 565-568 [doi]
• A content-based search engine on medical images for telemedicineDavid Wai-Lok Cheung, Chi-Hung Lee, Vincent T. Y. Ng. 569-572 [doi]
• A framework for application adaptation in mobile computing environmentsVaduvur Bharghavan, Vijay Gupta. 573-579 [doi]
• Strategies for implementing distributed query algorithms over high-speed, bandwidth-on-demand, wide area networksWilliam Perrizo, Zhili Zhang, Stephen Krebsbach. 580 [doi]
• Social Issues in the Collection and Use of Software Metric Data Position Paper: Metrics: Promise vs. ImplementationJanet M. Drake. 586-587 [doi]
• Army software metrics trainingFred M. Hall. 588-588 [doi]
• Software measurement in the U.S. ArmyDon Scott Lucero. 589-590 [doi]
• The Internal Revenue Service function point analysis program: a briefCharles B. Tichenor. 591 [doi]
• Developing an Integrated Testing Environment Using the World Wide Web TechnologyJerry Gao, Cris Chen, Yasufumi Toyoshima, David K. Leung. 594-601 [doi]
• Test Order for Inter-Class Integration Testing of Object-Oriented SoftwareKuo-Chung Tai, Fonda J. Daniels. 602-607 [doi]
• Two test data selection strategies towards testing of Boolean specificationsTsong Yueh Chen, Man Fai Lau. 608-611 [doi]
• Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systemsViral Shah, Sourav Bhattacharya. 612-615 [doi]
• Regression Containment through Source Change IsolationBrian Ness, Viet Ngo. 616 [doi]
• Visual software requirements definition environmentAtsushi Ohnishi, Norihiro Tokuda. 624-629 [doi]
• Program understanding needs during corrective maintenance of large scale softwareAnneliese Amschler Andrews, A. Marie Vans. 630-637 [doi]
• Efficient implementation strategies for the DRB approach in fault-tolerant hypercubesTrevor Williams, Jack Tan, Chungti Liang. 638-641 [doi]
• Formal semantics of some functional constructs of the software requirements definition language NDRDLLijun Dong, Jiafu Xu. 642-645 [doi]
• Towards a formalization of UML class structures in ZMalcolm Shroff, Robert B. France. 646 [doi]
• IAuth: An authentication system for Internet applicationsSuan-Suan Chew, Kok-Leong Ng, Chye-Lin Chee. 654-659 [doi]
• Java Communication Interfaces for Control SystemsZhaoxia Huang, Shengxi Zhou, Shengru Tu. 660-663 [doi]
• Defining the software process for intranet distributionJames R. Bindas. 664-667 [doi]
• A Semiformal Correctness Proof of a Network Broadcast AlgorithmDevendra Kumar, S. Sitharama Iyengar. 668 [doi]
• Can a software project be like Einstein?Tsuneo Yamaura. 675 [doi]
• A parallel hash-based join algorithm for a networked cluster of multiprocessor nodesYun Jiang, Akifumi Makinouchi. 678 [doi]