The SCEAS System
Navigation Menu

Conferences in DBLP

International Computer Software and Applications Conference (COMPSAC) (compsac)
1995 (conf/compsac/1995)

  1. William E. Howden, G. M. Shi
    Temporal Event Analysis and Program Understanding. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:4-11 [Conf]
  2. Linda B. Sherrell, Doris L. Carver
    FunZ Designs A Bridge between Z Specifications and Haskell Implementations. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:12-17 [Conf]
  3. Paul C. Grabow, L. Liu
    Automatic Generation of C++ Code from an ESCRO2 Specification. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:18-25 [Conf]
  4. Hing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan
    A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:26-31 [Conf]
  5. S. M. Yuen, K. P. Lam
    A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:32-39 [Conf]
  6. Kunhuang Huarng, Dick B. Simmons
    Knowledge Reuse through the Application of the Object Knowledge Canonical Form. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:40-49 [Conf]
  7. Xudong He
    A method for analyzing properties of hierarchical predicate transition nets. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:50-55 [Conf]
  8. Ming-Yuan Zhu, Xiao-Bai Mo
    Mechanical synthesis of a unification algorithm in PowerEpsilon. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:56-61 [Conf]
  9. Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan
    Expressing JSD in Z. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:62-69 [Conf]
  10. Masayoshi Aritsugi, Akifumi Makinouchi
    Design and Implementation of Multiple Type Objects in a Persistent Programming Language. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:70-76 [Conf]
  11. Chung-Horng Lung, Joseph E. Urban
    An Expanded View of Domain Modeling for Software Analogy. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:77-82 [Conf]
  12. Boris Stilman
    Dynamic Hierarchy for Multiagent Air Combat. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:83-89 [Conf]

  13. A Technology Forecast. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:90-90 [Conf]
  14. K. A. Gibson
    Improving software process to implement a wireless mobile network. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:91-92 [Conf]
  15. Carl Murphy
    Software Technology in the 21st Century: A Technology Forecast (Panel) Parallel Software Engineering - Goals 2000. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:93-95 [Conf]
  16. Ruqian Lu, Zhi Jin, Ronglin Wan
    Requirement Specification in Pseudo-Natural Language in PROMIS. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:96-101 [Conf]
  17. Martina Schollmeyer, Bruce M. McMillin
    Checking Program Proofs Made Eas. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:102-107 [Conf]
  18. Xiaoping Jia
    An approach to animating Z specifications. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:108-121 [Conf]
  19. Eun Gyung Kim
    A Study on Developing a Distributed Problem Solving System. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:122-127 [Conf]
  20. Jongpil Yoon
    Using Constraints for Distributed Query Processing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:128-133 [Conf]
  21. Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim
    Management of Flexible Transactions Using Semantics in Multidatabase Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:134-143 [Conf]
  22. Jae Soo Yoo, Myoung-Ho Kim, Yoon-Joon Lee, Byoung Mo Im
    Performance Evaluation of Dynamic Signature File Methods. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:144-149 [Conf]
  23. Sangdon Lee, Sukho Lee
    Applying Dynamic Buffer Allocation to Predictive Load Control. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:150-155 [Conf]
  24. Yao-Jen Chang, Benjamin W. Wah
    Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:156-161 [Conf]
  25. Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang
    A Simple Tree Pattern Matching Algorithm for Code Generator. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:162-169 [Conf]
  26. Margaret E. Myers
    Department of Defense Information Technology Initiatives. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:170-171 [Conf]
  27. David J. Russomanno
    The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:172-177 [Conf]
  28. Christian Stary
    User Interface Design: The WHO, the WHAT, and the HOW Revisited. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:178-183 [Conf]
  29. David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur
    LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:184-191 [Conf]
  30. Pen-Nan Lee, Lawrence Miller, Ping-Chuan Tai, Yiwei Chen
    Object Oriented Design for a Distributed Priority Queue. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:192-198 [Conf]
  31. Hyun C. Kim, V. S. S. Nair
    Application layer software fault tolerance for distributed object-oriented systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:199-204 [Conf]
  32. Shelly S. Stubbs, Doris L. Carver
    IPCC++: A C++ Extension for InterProcess Communication with Objects. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:205-211 [Conf]
  33. Yvan Cazabon, Michael Bauer
    A Policy Independent Metric for Process Selection in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:212-217 [Conf]
  34. I-Ling Yen, Ing-Ray Chen
    Quality Assessment for Multiple Server Cooperating Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:218-223 [Conf]
  35. Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
    Improving Software Quality through a Novel Testing Strategy. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:224-231 [Conf]
  36. Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen
    Object state testing for object-oriented programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:232-238 [Conf]
  37. David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen
    A Test Strategy for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:239-244 [Conf]
  38. Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho
    Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:245-255 [Conf]
  39. Giorgio Bruno, Rakesh Agarwal
    Architectural Framework for Developing Concurrent Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:256-261 [Conf]
  40. Carl K. Chang, Bashir Haswarey, Pattanasak Mongkolwat
    Creating A Distributed Environment Using Object-Oriented Technology. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:262-267 [Conf]
  41. J. Roger Mitchell, Vijay K. Garg
    Deriving distributed algorithms from a general predicate detector. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:268-277 [Conf]
  42. Chao-Tsun Chang, Chung-Shyan Liu
    A Hybrid Approach to Object Library Classification and Retireval. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:278-283 [Conf]
  43. T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe
    Reverse Engineering from COBOL to Narrative Specification. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:284-289 [Conf]
  44. William C. Chu, Hongji Yang
    Component Reuse Through Reverse Engineering and Semantic Interface Analysis. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:290-297 [Conf]
  45. Uffe Kock Wiil
    HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:298-305 [Conf]
  46. Hsing Mei
    Scheduling dependent real-time multimedia tasks on distributed systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:306-317 [Conf]
  47. John D. Tvedt, James S. Collofello
    Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics Modeling. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:318-325 [Conf]
  48. Onur Demirörs, Dennis J. Frailey
    A horizontal approach for software process improvement. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:326- [Conf]
  49. Jin Ho Jung, Hyun Seung Yang
    The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:334-338 [Conf]
  50. Alfred R. Watkins, Edward Omiecinski
    Storing Continuous Media Objects Using Parallelism With Merging. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:339-345 [Conf]
  51. Taeck-Geun Kwon, Sukho Lee
    FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:346-355 [Conf]
  52. Weiyi Meng, Aqueo Kamada, Yuhsi Chang
    Transformation of Relational Schemas to Object-Oriented Schemas. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:356-361 [Conf]
  53. P. K. C. Pun, Hilary J. Kahn
    A Multiparadigm Programming Approach for Developing Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:362-369 [Conf]
  54. Stephen S. Yau, Doo-Hwan Bae, Jun Wang
    An Architecture-Independent Software Development Approach for Parallel Processing Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:370-375 [Conf]
  55. Mark E. Cavender, Xiaodong Zhang
    Software Support for Asynchronous Computing Across Networks. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:376-382 [Conf]
  56. Chi-Chung Hui, Mounir Hamdi, Ishfaq Ahmad
    A software platform for solving PDEs on distributed systems: implementation issues and performance prediction. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:383-389 [Conf]

  57. Software Fault Tolerance: Has it Arrived Yet? [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:390- [Conf]
  58. Farokh B. Bastani
    (Position Paper) Fault-Tolerant Software. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:391- [Conf]
  59. Joanne Bechta Dugan, K. H. Kim
    (Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:392- [Conf]

  60. (Position Paper) Software Fault Tolerance at the Operating System Level. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:393-395 [Conf]
  61. Qi Shi, Ning Zhang
    A General Approach to Evaluation of Secure Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:396-401 [Conf]
  62. I-Lung Kao, Randy Chow
    Enforcing complex security policies for commercial applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:402-408 [Conf]
  63. Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott
    A Framework for Designing Safe Software Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:409-415 [Conf]
  64. Paul Yiu Chung Wong, Siu Chi Hsu
    Designing Chinese Typeface Using Components. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:416-421 [Conf]
  65. Fu-Fu Shen, Whei-Yee Lin, Chea-Yean Wong, Chien-Wei Cheng, Hsien-Sheng Chen
    Information Mediation System Design Strategy among Telecommunication Related Information Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:422-429 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002