COMPSAC B

106 papers

YearTitle / Authors
1996A Colored Petri Net-Based Format Method for the Design of Control Systems.
Mbi Makungu, Richard St-Denis, Michel Barbeau
1996A Component-Based Software Development Model.
Jim Q. Ning
1996A Dynamic Indexing Structure for Searching Time-Series Patterns.
Youngin Kim, Youngbae Park, Jonghoon Chun
1996A Formal Method to Software Integration in Reuse.
William C. Chu, Hongji Yang
1996A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development.
Stephen S. Yau, Jun Wang
1996A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data Model.
Selee Na, Seog Park
1996A History-Based Approach for Early Faulty State Detection.
Pei Hsia, Xiaolin Li, David Chenho Kung
1996A Language for Developing Collaborative Learning Activities on World Wide Web.
Chih-Kai Chang, Gwo-Dong Chen, Baw-Jhiune Liu, Kuo-Liang Ou
1996A Logic Database System with Extended Functionality.
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee
1996A New Signature Scheme for Query Processing in Object-Oriented Database.
Hakgene Shin, Jae-Woo Chang
1996A Popularity-Based Data Allocation Scheme for a VOD Server.
Carl K. Chang, Chiao-Chuan Shih, Pattanasak Mongkolwat, Thinh T. Nguyen
1996A Presentation Scheduling Scheme for Multimedia Databases.
Jisook Park, Sukho Lee, Jaehyuk Cha, Yunmook Nah
1996A Representation Method of Time-Varying Characteristics of Entity on the Basis of Core-Surface Concept.
Taketoshi Ushiama, Toyohide Watanabe
1996A Semantics of the Separation of Interface and Implementation in C++.
Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim
1996A Software Process Management System Considering Workers' Workload.
Atsuo Hazeyama, Seiichi Komiya
1996A Task-Based Approach to Verifying Conceptual Models.
Jonathan Lee, Lein F. Lai, Wei T. Huang
1996A Team-Based Process Improvement Initiative.
Poh Yee Wong
1996A Tool for Debugging OSF DCE Applications.
David J. Taylor, Thomas Kunz, James P. Black
1996Algebraic Software Testing in Vector Spaces of Functions.
Thomas R. Cain, E. K. Park
1996An Experience Report on Architecture Development.
Hanan Lutfiyya, Michael A. Bauer
1996An Object-Oriented Real Time Systems Modeling and Verification Methodology.
David Chenho Kung, Scott R. Oksanen, Jyhjong Lin
1996Applying Composable Security Properties to Assessment of Information Systems.
Qi Shi, Ning Zhang
1996Applying Conventional Testing Techniques for Class Testing.
In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon
1996Attention to Process and People are Key to Technology Adoption.
Michael D. Konrad
1996Autonomous Decentralization of Society Structures and Information.
Yasutsugu Takeda
1996Business Rule Extraction from Legacy Code.
Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun
1996COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea
1996Classification of Weak Correctness Criteria for Real-Time Database Applications.
Kyu-Woong Lee, Seog Park
1996Compilation of Disjunctive Logic Programs Using an Extended WAM.
Dongha Shin, Michael L. Hilton
1996Computer Science Education in the Asia-Pacific Region in the 21st Century.
C. T. Chong
1996Consistency Checking between Data and Process Diagrams Based on Formal Methods.
Syouri Kouno, Han-Myung Chang, Keijiro Araki
1996Consolidation of Query Results in a Multidatabase Environemnt: An Object-Oriented Approach.
Daniel J. Callen, Susan Darling Urban
1996Coordination of Systems with Real-Time Properties in Manifold.
George A. Papadopoulos, Farhad Arbab
1996Data Models for Metrics-Based Project Management Systems.
Raymond A. Paul, C. L. Chee, Tosiyasu L. Kunii, Yoshihisa Shinagawa
1996Decentralized Transaction Management in Multidatabase Systems.
Buhyun Hwang, Sang Hyuk Son
1996Design-Level Cohesion Measures: Derivation, Comparison, and Applications .
Byung-Kyoo Kang, James M. Bieman
1996Designing Software Architectures as Knowledge Specializations.
Mehmet Aksit
1996Detection of Infeasible Paths Using Presburger Arithmetic.
Kuniaki Naoi, Naohisa Takahashi
1996Dynamic Network Management for Firmware Controlled Network Topology.
L. K. Nahar, Sourav Bhattacharya
1996Emerging Software Engineering Education.
Masao J. Matsumoto
1996Emerging Technologies for Network Software Development: Past, Present and Future.
Takashi Arano, Mikio Aoyama
1996Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations.
Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun
1996Extending OODB with Behavioral Temporal Management Capability.
Gwo-Dong Chen, Yeong-Hsen Lee, Chen-Chung Liu
1996Extending Statecharts with Duration.
Karl R. P. H. Leung, Daniel Kim Chung Chan
1996Extending Z with State Transition Constraints.
Kenji Taguchi, Keijiro Araki
1996Extracting Parallelism in Nested Loops.
W. B. Song, D. S. Park, B. S. Kim, Y.-H. Kong
1996Handling Multimedia Data for Mobile Computers.
Charles E. Perkins
1996Hardware/Software Partitioning for Telecommunications Systems.
Frédéric Rousseau, J. M. Bergé, Michel Israël
1996Heuristics for Computing Attribute Values of C++ Program Complexity Metrics.
Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang
1996Hierarchical Program Diagram Editor Based on Attributed Graph Grammar.
Yoshihiro Adachi, Koushi Anzai, Kensei Tsuchida, Takeo Yaku
1996High Assurance Systems Engineering - Position Paper.
Kenneth D. Shere
1996High Assurance Systems Engineering.
Arif Ghafoor
1996Hypermedia Conference Proceedings.
Kilnam Chon
1996Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.
Chia-Chu Chiang, Joseph E. Urban
1996Information Technology and GII Visions.
Jung Uck Seo
1996Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects.
Yun Jiang, Masayoshi Aritsugi, Akifumi Makinouchi
1996Integrating Through User Interface: A Flexible Integration Framework for Third-Party Software.
Yimin Bao, Ellis Horowitz
1996Integration Issues in Information System Reengineering.
William Wei Song
1996Integration of a Relational Database with Multimedia Data.
Soon Myoung Chung, Pyeong S. Mah, Jun-Guk Kim
1996Internet Multimedia Application Techologies Current Practice and Future.
Shin Miyakawa
1996Is OO Working as It Promised?
Sahng-Mann Han
1996Is Software Process Re-Engineering and Improvement the "Silver Bullet" of the 1990s or a Constructive Approach to Meet Pre-Defigned Business Targets?
Annie Kuntzmann-Combelles
1996Mapping Petri Nets to Parallel Programs in CC++.
Weili Yao, Xudong He
1996Marriage of Wired and Wireless Networks to Build Tomorrows Internet.
Sandeepan Sanyal, Sourav Bhattacharya
1996Measuring the Structural Complexity of OPS5 Rule-Based Programs.
Albert Mo Kim Cheng
1996Mobile-IP, Ad-Hoc Networking, and Nomadicity.
Charles E. Perkins
1996Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams.
Mauricio J. V. Silva, C. Robert Carlson
1996Multimedia Over the Internet.
R. Radhakrishna Pillai
1996Multimedia on the Internet.
Pallavi Shah
1996Multimedia on the Internet: Emerging Technolgoy.
Yahya Y. Al-Salqan
1996Multimedia on the Internet: Emerging Technology.
Jerry Smith
1996Network Management System Development Using an Application Framework.
Tomohiro Fujisaki
1996OO is NOT the Silver Bullet.
J. Barrie Thompson
1996OOHS: an Object-Oriented Hypermedia System.
Hyunki Kim, Hakgene Shin, Jae-Woo Chang
1996Object-Oriented Framework for Metrics Guided Risk Management.
Raymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor
1996On Integrating Existing Bibliographic Databases and Structured Databases.
Ying Lu, Ee-Peng Lim
1996Optimal Linear Hashing Files for Orthogonal Range Retrieval.
C. Y. Chen, Chin-Chen Chang, Richard C. T. Lee, D. C. Lin
1996Opusdei-Integrated Environment for Software Development and Maintenance.
Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura
1996Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century.
Joseph E. Urban
1996Performance Evaluation of the OLVP (Online Video Processing) System.
Frédéric Andrès, Keigo Ihara, Jihad Boulos, Kinji Ono, Yasuhiko Yasuda
1996Process Model Reuse to Promote Organizational Learning in Software Development.
Ernst Ellmer, Dieter Merkl, Gerald Quirchmayr, A Min Tjoa
1996Program Partitioning Optimizations in an HPF Prototype Compiler.
Makoto Sato, Takashi Hirooka, Kiyomi Wada, Fujio Yamamoto
1996Real-Time Simulation Techniques Based on the RTO.k Object Modeling.
K. H. Kim, Cuong Nguyen, Chan-Mo Park
1996Recovery Technique Based on Fuzzy Checkpoint in a Client/Server DataBase System.
Eui-In Choi, Hae-Chull Lim
1996Revolutionizing Software Development.
Robert L. Martin
1996SESAME: A Scalable and ExtenSible Architecture for Multimedia Entertainment.
Yen-Jen Lee, David Hung-Chang Du, Wei-hsiu Ma
1996SOPView: A Visual Query and Object Browsing Environment for SOP OODBMS.
Seong-Woo Chang, Sukho Lee, Hyoung-Joo Kim
1996Scheduling Algorithms for N-Version Programming Scheme.
Osama Ahmed Abulnaja, Seyed H. Hosseini, K. Vairavan
1996Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software Systems.
Mikio Aoyama
1996Slicing Functional Components from Data-Intensive Business Programs.
Hee Beng Kuan Tan, Tok Wang Ling
1996Software Cost Option Strategy Tool (S-COST).
Barry W. Boehm, Hoh In
1996Software Education in the 21st Century.
Roland T. Chin
1996Software Industries in Asia.
C. L. Chee
1996Software Industry in Taiwan.
Jyh-Sheng Ke
1996Software Process Re-engineering and Improvment.
Mikio Aoyama
1996Static Slicing of Concurrent Object-Oriented Programs.
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1996The Design and Verification of Services Feature Interaction Manager on AIN Using Z Schema.
Myeongho Kang, Taekyoung Kwon, Changyong Yang, JooSeok Song
1996The Role of Architecture in the Development of Software Systems.
Maarten Boasson
1996The Trends of Software Technology and Applications.
Carl K. Chang, K. H. Kim, Annie Kuntzmann-Combelles, Iwao Toda
1996Use Case Driven Structured Analysis.
Misbah Mirza, Seung Hoon Cha, Jae-Il Jung, KiJong Lee, Cheong Youn
1996VGUIDE: 4GL Application Platform for Large Distributed Information.
Shuichiro Yamamoto, Ryuji Kawasaki, Mitsuo Nagaoka
1996VIRON: An Annotation-Based Video Information Retrieval System.
Ki-Wook Kim, Ki-Byoung Kim, Hyoung-Joo Kim
1996Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets.
Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan
1996Which Network Will Win?
Arif Ghafoor
1996Would Internet Meet Global Acceptance?
Shigeki Goto
1996Would Internet Meet Global Expectation?
Tin Wee Tan