COMPSAC B

63 papers

YearTitle / Authors
1992A cost model for software conversion based on program characteristics and a converter effect.
A. Kanai, T. Furuyama, M. Takahashi
1992A distributed cooperative CASE environment for communications software.
Mikio Aoyama, Masami Nakamura, Shinya Kawajiri, Kousuke Takahashi, Takanori Hashizume, Takashi Komuro
1992A framework of a logic-based transformation system.
Jeffrey J. P. Tsai, Ray-Yuan Sheu, Bing Li
1992A metalanguage based on a theory of specification.
Karl B. Zerangue, Joseph E. Urban
1992A neural network for fast inferencing on a fuzzy knowledge base.
K. S. Kumar, M. Sparancia, A. Unnikrishnan
1992A partitioning approach for object-oriented software development for parallel processing systems.
Stephen S. Yau, Doo-Hwan Bae, Gilda Pour
1992A signature efficient solution for remote file comparison.
Samantha Edirisooriya, Geetani Edirisooriya
1992A software engineering perspective to the design of a user interface framework.
Hans-Werner Six, Josef Voss
1992A software engineering, visualization methodology for parallel processing systems.
James Arthur Kohl, Thomas L. Casavant
1992A software re-engineering process model.
Eric J. Byrne, David A. Gustafson
1992A transparent monitoring tool for shared-memory multiprocessors.
David F. Robinson, Betty H. C. Cheng, Richard J. Enbody
1992A view of the GDMO interface definition language.
Robert A. Fraley
1992Agents to guide operators with recognition of time series.
Hiromitsu Shimakawa, Yuzuru Sugitani, Kouji Kikkawa, Taketoshi Watanabe
1992An object-oriented toolkit for constructing specification editors.
Robert H. Bourdeau, Betty H. C. Cheng
1992Application of a neural network to human tasting.
Akira Suganuma, Masato Kataoka, Keijiro Araki
1992Are formal methods useful for software development?
Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis
1992Building information system requirements using generic structures.
Georges Grosz
1992Commercialization of the Internet.
Ittai Hershman
1992Development of a multimedia document management system for cooperative work environment.
Sugao Sumiya, Takashi Saito
1992Distributed EZ [string processing language].
Alvaro E. Campos, David R. Hanson
1992Dynamic load balancing algorithms in loosely-coupled real-time systems.
Ting-Yu Cheng, Jen-Yao Chung, Kwei-Jay Lin
1992Enforcement of integrity constraints against transactions with transition axioms.
Sang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee
1992Experimental evaluation of certification trails using abstract data type validation.
Dwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson
1992FM
Jing-Shiang Tseng, Chung-Ta King
1992Fault tolerant process planning and control.
Rumi M. Dubash, I-Ling Yen, Farokh B. Bastani
1992Fault-tolerant concurrent branch and bound algorithms derived from program verification.
Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin
1992H-PCTE-a high performance object management system for system development environments.
Udo Kelter
1992Highly available atomic objects.
T. P. Ng
1992How the use of the STePS method can improve software quality and aid project management.
J. Barrie Thompson, Helen M. Edwards
1992IDA-intrusion detection alert.
Karen L. Petersen
1992Industrial strength software engineering training programs.
Joseph E. Urban, R. Frye, A. Miller, A. G. Rao
1992Integrating object and relational technologies.
Scott Danforth
1992Intelligent vs. unintelligent programming systems for novices.
Haider Ali Ramadhan
1992Metawidgets: towards a theory of multimodal interface design.
Meera Blattner, Ephraim P. Glinert, Joaquim A. Jorge, Gary R. Ormsby
1992Multilanguage programming: an automatic-type-mapping approach.
Arturo J. Sanchez-Ruiz, Ephraim P. Glinert
1992ORL: an object retrieval language interface to an object algebra.
Susan Darling Urban, Chiung-hsun Chen Lai, Sanjay Saxena
1992Object modelling for open network management.
Colin Ashford
1992On the nature of bias and defects in the software specification process.
Pablo A. Straub, Marvin V. Zelkowitz
1992Organizing software repositories modeling requirements and implementation experiences.
Thomas Rose, Matthias Jarke, John Mylopoulos
1992Panel on management of emerging software technologies.
Vijay K. Vaishnavi, David Abbott, Tom A. Cooper, King Walling
1992Performance evaluation of dynamic supporting algorithms.
Ping Hu, Steve R. Wilbur
1992Program derivation in PowerEpsilon.
Ming-Yuan Zhu, Cheng-Wei Wang
1992Reuse engineering: software construction from reusable components.
Harald C. Gall, René Klösch
1992SAD kernels: a software tool to evaluate synchronization behavior of multiprocessors.
Arun K. Nanda, Lionel M. Ni
1992SimUI: graphical user interface evaluation using playback.
Nobuko Kishi
1992Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, USA, 21-25 September, 1992
1992Software diversity metrics and measurements.
Michael R. Lyu, Jia-Hong Chen, Algirdas Avizienis
1992Software fault-tolerance in functional programming.
R. Govindarajan
1992Stack simulation for set-associative V/R-type caches.
C. Eric Wu, Yarsun Hsu, Yew-Huey Liu
1992Strategies for machine instruction transformation in an expert system.
Man L. Li, Willis K. King
1992Structured analysis using hierarchical predicate transition nets.
Xudong He, C.-H. Yang
1992Support tool and strategy for type error correction with polymorphic types.
Hiroshi Maruyama, Masaki Matsuyama, Keijiro Araki
1992Testing expert systems using conventional techniques.
Wei-Tek Tsai, Shekhar H. Kirani, Imran A. Zualkernan
1992The ORDIT approach to requirements identification.
John E. Dobson, Andrew J. C. Blyth, J. S. Chudge, Ros Strens
1992The area-wide real-time traffic control system (ARTC): a distributed computing system.
Junguk L. Kim, Jyh-Charn Liu, Prabaharan I. Swarnam, Taesoon Park, Ying Hao, Thomas Urbanik
1992The identification and use of properties and relationships between properties of the software development.
Rui Gustavo Crespo
1992The management of uncertainty in software development.
Luqi, Daniel E. Cooke
1992The use of formal methods in parallel operating systems.
John A. Keane, Walter Hussak
1992Traceability between requirements and design: a transformational approach.
Jürgen Börstler, Thorsten Janning
1992Two-way coloring approaches for method dispatching in object-oriented programming systems.
Shih-Kun Huang, Deng-Jyi Chen
1992VATPA: a simulation environment for message-passing concurrent systems.
Hui Liu, Maung T. Nyeu, David Y. Y. Yun, Woei Lin
1992WARASA: an enhanced C++ for concurrent programming on shared memory multiprocessor computers.
Yun Jiang, Akifumi Makinouchi
1992What does a public data Internet do?
Robert D. Collet