A model-object based expert system for real-time intelligent control of chemical processes (Englisch)
- Neue Suche nach: Basila, M.R. jun.
- Neue Suche nach: Stefanek, G.
- Neue Suche nach: Cinar, A.
- Neue Suche nach: Basila, M.R. jun.
- Neue Suche nach: Stefanek, G.
- Neue Suche nach: Cinar, A.
In:
Proceedings. Fourteenth Annual International Computer Software and Applications Conference
;
652-657
;
1990
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:A model-object based expert system for real-time intelligent control of chemical processes
-
Weitere Titelangaben:Ein Modell-Objekt-basiertes Expertensystem für die intelligente Steuerung chemischer Prozesse im Echtzeitbetrieb
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE Comput. Soc. Press
-
Erscheinungsort:Los Alamitos
-
Erscheinungsdatum:1990
-
Format / Umfang:6 Seiten, 9 Quellen
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 0_1
-
Proceedings. Fourteenth Annual International Computer Software and Applications Conference (Cat. No.90CH2923-1)| 1990
- 1
-
Methods of comparing test data adequacy criteriaWeiss, S.N. et al. | 1990
- 7
-
Predictability measures for software reliability modelsMalaiya, Y.K. / Karunanithi, N. / Verma, P. et al. | 1990
- 13
-
The hyper-geometric distribution software reliability growth model (HGDM): precise formulation and applicabilityJacoby, R. / Tohma, Y. et al. | 1990
- 20
-
Performance analysis of the make and load building algorithmsHac, A. et al. | 1990
- 26
-
Applying knowledge-based technology: trends and directions (Panel Session)Papazoglou, M.P. / Blum, B.I. / Bourbakis, N.G. / Dollas, A. / Hughes, J.G. / Knudsen, E. / Sellis, T. et al. | 1990
- 33
-
Parallel processing in the 1990's: the promise and the pitfalls (Panel Session)Cavano, J.P. / Duncan, R. et al. | 1990
- 43
-
An application of object-oriented design for communication control systemsKajihara, K. / Yamazaki, S. / Yamashita, T. / Ito, M. et al. | 1990
- 52
-
An approach to introduce the reflection to C++Chen Ping / Cai Xiyao / Jin Yimin et al. | 1990
- 57
-
DEMOM-A description based media object data modelHoltkamp, B. / Lum, V.Y. / Rowe, N.C. et al. | 1990
- 64
-
Panel: the model and metrics for software quality evaluation report of the Japanese National Working GroupAzuma, M. / Komiyama, T. / Miyake, T. / Sakurai, S. / Yamada, A. / Yonezawa, T. et al. | 1990
- 70
-
A process modeling language for large process control systemsMing-Jie Chen / Chyan-Goei Chung et al. | 1990
- 76
-
Specification of a rapid prototyping capability for the automated patent systemJordan, K.A. / Zawilski, A.J. et al. | 1990
- 82
-
An object oriented approach to automating patient medical recordsDimitroff, D.C. / Chang, I.F. et al. | 1990
- 88
-
Cognitive building blocks of a database expert systemHarris, D.L. et al. | 1990
- 92
-
Mathematical transformation of Petri-nets for development of parallel/distributed programsPapelis, Y.E. / Casavant, T.L. et al. | 1990
- 99
-
A software approach to multiprocessor address trace generationAzimi, M. / Erickson, C. et al. | 1990
- 106
-
An implementation of software tools for replay and partial replay of Concurrent-C programsLee, J. / Kuo Hua Wang / Ching-Roung Chou et al. | 1990
- 112
-
Distributed software testing with specificationChang, C.K. / Song, C.C. / Wang, R.F. et al. | 1990
- 118
-
Dynamic query range for multikey searchingSun, X.H. / Kamel, N.N. et al. | 1990
- 124
-
A symmetrical approach to granting and revoking access rights in database management systemsGoldberg, D.A. / Orooji, A. et al. | 1990
- 132
-
Performance of multiversion concurrency control algorithms in maintaining temporal consistencySong, X. / Liu, J.W.S. et al. | 1990
- 140
-
Designing a dynamic integrity constraint checker with nonmonotonic logicRamanna, S. / Peters, J.F. / Unger, E.A. / Glander, K.W. et al. | 1990
- 146
-
ICICLE: Intelligent code inspection in a C language environmentSembugamoorthy, V. / Brothers, L. et al. | 1990
- 155
-
Rule base inspection using algorithmic approach for data-access oriented knowledge-based systemsFang-Yie Leu / Chien-Chiao Yang et al. | 1990
- 161
-
An integrated expert system framework for software quality assuranceYau, S.S. / Wang, Y.W. / Huang, J.G. / Lee, J.E. et al. | 1990
- 167
-
A proposed parallel software testing paradigmWalker, J.L. et al. | 1990
- 173
-
AuditPro-integrating knowledge-based technology with diagramming tools for auditorsTan Sian Lip / Chan Huang Seng et al. | 1990
- 184
-
An expert system to convert knowledge-based geological engineering systems into FortranCress, J.J. / Wilkerson, R.W. et al. | 1990
- 190
-
Neural network application to container number recognitionLui, H.C. / Lee, C.M. / Fang Gao et al. | 1990
- 196
-
High performance massively parallel abstract data type componentsYen, I.L. / Bastani, F. / Al-Marzooq, T. / Leiss, E. et al. | 1990
- 202
-
Application-level software self-balancingChung-Ta King / Tzong-Huei Shiau / Chin-Piao Chan et al. | 1990
- 208
-
Management of heterogeneous parallelism on shared memory multiprocessorsTayyab, A.B. / Kuhl, J.G. et al. | 1990
- 214
-
Processing the transitive-closure logic rules on shared-nothing multiprocessor systemsQadah, G.Z. et al. | 1990
- 221
-
The conceptual design of OSEA: an object-oriented semantic data modelTan, P.L. / Dillon, T.S. et al. | 1990
- 231
-
A graphical interface for an object-oriented query languageLam, H. / Chen, H.M. / Ty, F.S. / Qiu, J. / Su, S.Y.W. et al. | 1990
- 238
-
A bi-level object-oriented data model for GIS applicationsChoi, A. / Luk, W.S. et al. | 1990
- 245
-
Supporting queries in the O-Raid object-oriented database systemMullen, J.G. / Srinivasan, J. / Dewan, P. / Bhargava, B. et al. | 1990
- 252
-
The software engineering of extensible database systemsBatory, D.S. et al. | 1990
- 253
-
Software productivity metrics-new initiatives in making it work (panel)Marselos, N.L. / Park, R.E. / Gaffney, J.E. jun. et al. | 1990
- 255
-
FormPlus: a form authoring toolkitFan, T.J. / Machlin, R.S. / Wang, C.P. / Chang, I.F. et al. | 1990
- 261
-
Temporal predicate transition nets and their applicationsHe, X. et al. | 1990
- 267
-
On transforming Petri net model to Moore machineChang, C.K. / Huang, H. et al. | 1990
- 273
-
Distributed communication software specification based on the action superposition mechanismHayashi, K. / Nishizono, T. / Takenaka, T. et al. | 1990
- 282
-
Concurrent transaction execution in multidatabase systemsBarker, K. / Ozsu, M.T. et al. | 1990
- 289
-
A hybrid approach to mutual exclusion for distributed systemsChang, Y.I. / Singhal, M. / Liu, M.T. et al. | 1990
- 295
-
Twin-page storage management for rapid transaction-undo recoveryWu, K.L. / Fuchs, W.K. et al. | 1990
- 301
-
Case studies in software reuseIncorvaia, A.J. / Davis, A.M. / Fairley, R.E. et al. | 1990
- 307
-
Modeling of software reusable component approach and its case studyMatsumura, K. / Yamashiro, A. / Tanaka, T. / Takahashi, I. et al. | 1990
- 314
-
A program transformation approach to automating software re-engineeringBurson, S. / Kotik, G.B. / Markosian, L.Z. et al. | 1990
- 323
-
Productivity improvement with evolutionary developmentMayrhauser, A. von / Hirsh, B. et al. | 1990
- 330
-
Distributed concurrent development of software systems: an object-oriented process modelAoyama, M. et al. | 1990
- 338
-
Using the software process model to analyze a software projectRanft, I.S. / Gustafson, D.A. et al. | 1990
- 347
-
A new plane-sweep algorithm based on spatial data structure for overlapped rectangles in 2-D planePei-Yung Hsiao / Chia-Chun Tsai et al. | 1990
- 353
-
A new 3D-border algorithm by neighbor findingShi-Nine Yang / Tsong-Wuu Lin et al. | 1990
- 359
-
A semi-adaptive DCT compression method that uses minimal spaceNerheim, R. et al. | 1990
- 363
-
A gridless multilayer channel routerYazdani, R. / Zargham, M.R. et al. | 1990
- 369
-
Semantic and structural query reformulation for efficient manipulation of very large knowledge basesLee, S. / Shin, D. et al. | 1990
- 375
-
Benchmarking two types of restricted transitive closure algorithmsToptsis, A.A. / Yu, C.T. / Nelson, P.C. et al. | 1990
- 382
-
Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approachChang, P. et al. | 1990
- 391
-
Compiling linear recursive Prolog programs with list structure into procedural languageNam, Y.K. / Henschen, L.J. et al. | 1990
- 399
-
The status and future of interface technologyWalter, S.M. / Neal, J.G. / Montgomery, C.A. / Tyler, S.W. et al. | 1990
- 403
-
Measuring software size by distinct linesLubinsky, D.J. et al. | 1990
- 408
-
The lines of code metric as a predictor of program faults: a critical analysisKhoshgoftaar, T.M. / Munson, J.C. et al. | 1990
- 414
-
Extending software complexity metrics to concurrent programsPaoli, F. de / Morasca, S. et al. | 1990
- 420
-
Commercial applications of knowledge based systems: initiatives in the electric power industrySpina, J. / Meyer, W. / Scherer, J. / Wood, R.M. et al. | 1990
- 424
-
The analysis of infeasible concurrent paths of concurrent Ada programsRen-Dar Yang / Chyan-Goei Chung et al. | 1990
- 430
-
An Ada interface for massively parallel systemsPark, E.K. / Anderson, P.B. / Dardy, H.D. et al. | 1990
- 436
-
Distributed management of replicated and partitioned files under DRAGON SLAYERWedde, H.F. / Korel, B. / Brown, W.G. / Chen, S. et al. | 1990
- 442
-
An efficient model of dynamic task scheduling for distributed systemsGhafoor, A. / Ahmad, I. et al. | 1990
- 448
-
Forms interfaces and their view supportability propertiesCarlson, C.R. / Seung, H. / Ji, W. et al. | 1990
- 453
-
A graphical knowledge level approach for user-database interactionTan, K.P. / Chan, H.C. / Siau, K.L. et al. | 1990
- 459
-
Intelligent database retrieval by visual reasoningChang, S.K. / Deng, Y. et al. | 1990
- 465
-
Hybrid relations for database schema evolutionTakahashi, J. et al. | 1990
- 471
-
VIPEG: a generator of environments for software maintenanceKhorshid, W. / Rajlich, V. et al. | 1990
- 477
-
A tool specification language for software maintenanceLiu, S.S. / Johmann, K.R. et al. | 1990
- 483
-
FOREST: a systematic testing environment based on standardized formal description techniquesKatsuyama, K. / Nakakawaji, T. / Sato, F. / Mizuno, T. et al. | 1990
- 491
-
A methodology for formal specification and implementation of Ada packagesMadhav, N. / Mann, W. et al. | 1990
- 498
-
Major technical issues in medical informatics computer technology systems and applicationsChang, I.F. et al. | 1990
- 501
-
Integration-a multi-faceted challenge (hospital systems)Cheng, W.T. et al. | 1990
- 505
-
Modeling execution time of multi-stage N-version fault-tolerant softwareVouk, M.A. / Paradkar, A.M. / McAllister, D.F. et al. | 1990
- 512
-
On real-time software testing and debuggingTsai, J.J.P. / Fang, K.Y. / Bi, Y.D. et al. | 1990
- 519
-
A unified hardware/software fault detection experiment in a 5ESS systemHwang, K.W. / Kapauan, A.A. / Toy, W.N. et al. | 1990
- 524
-
Rollback recovery in real-time systems with dynamic constraintsUpadhyaya, S.J. et al. | 1990
- 530
-
VIPS: a visual debugger for list structuresShimomura, T. / Isoda, S. et al. | 1990
- 538
-
Expert workstation for information systems developmentCabot, W. / Knafl, G. et al. | 1990
- 547
-
Design and implementation of programming environments in the Visual Programmers WorkbenchRubin, R.V. / Walker, J. II / Golin, E. et al. | 1990
- 555
-
PPK: a method for recording and analyzing software design processesNakajima, T. / Tamura, N. / Uehara, K. et al. | 1990
- 564
-
Condition-based software testing strategiesTai, K.C. et al. | 1990
- 570
-
Path expression in data flow program testingLaski, J. et al. | 1990
- 577
-
A testing methodology frameworkCollofello, J. / Fisher, T. / Rees, M. et al. | 1990
- 587
-
Heuristic algorithms for path determination in a semantic networkSu, S.Y.W. / Puranik, S. / Lam, H. et al. | 1990
- 593
-
Redundancy detection in logic programs is undecidableZhou, Z. / Wah, B.W. et al. | 1990
- 599
-
Intelligent query mechanism for expert systemsShao, W.Z. / Soon, H.S. et al. | 1990
- 605
-
MCFS: a multiple criteria reasoning fuzzy expert systems building toolKamel, A. / Nazif, A. / El-Dessouki, O. / Kamel, N. et al. | 1990
- 611
-
Industrial experience in automating software re-engineeringMarkosian, L.Z. / Driscoll, T. / Hunter-Duvar, R. / Hartman, J. / Kozaczynski, W. / Ning, J.Q. et al. | 1990
- 617
-
Architecture and functionality of a specification environment for distributed softwareKramer, B. / Schmidt, H.W. et al. | 1990
- 623
-
An inversion capability for the PRESTIGE workbench: some basic issuesRatcliff, B. et al. | 1990
- 629
-
A set and mapping-based detection and solution method for structure clash between program input and output dataHashimoto, M. / Okamoto, K. et al. | 1990
- 639
-
A Petri net-based distributed debuggerLiu, A.C. / Engberts, A. et al. | 1990
- 647
-
Panel: transferring object-oriented technology into a corporationHutz, S. / Joos, R. / Rogers, J.B. / Yakemovic, K.C.B. et al. | 1990
- 652
-
A model-object based expert system for real-time intelligent control of chemical processesBasila, M.R. jun. / Stefanek, G. / Cinar, A. et al. | 1990
- 658
-
Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacksChen, J.N. / Chen, P. et al. | 1990
- 665
-
A connectionist approach to multiple-view based 3-D object recognitionLin, W.C. / Liao, F.Y. / Tsao, C.K. / Lingutla, T. et al. | 1990
- 671
-
Knowledge-driven distributed information systemsPapazoglou, M.P. et al. | 1990
- 680
-
Real-time scheduling of multiple segment tasksHo, K. / Rice, J.H. / Srivastava, J. et al. | 1990
- 687
-
Executing jobs with deadline constraints in a privately owned workstation environmentMutka, M.W. et al. | 1990
- 693
-
Implementing real-time systems using performance polymorphismKenny, K.B. / Lin, K.J. et al. | 1990
- 699
-
Methods for distributed join processing using a voice-data protocolScott, K. / Perrizo, W. et al. | 1990
- 705
-
Transformation technique of algebraic specificationLiqun Jin / Jiahua Qian et al. | 1990
- 711
-
EASE: an embedded algebraic specification environmentJianhua Qian / Yong Zheng / Liqun Jin / Jinhua Zhang et al. | 1990
- 717
-
Introducing formality into the software development process: experience with a software project courseNicholl, R.A. et al. | 1990
- 727
-
Modeling and enacting software processes: an analysisLonchamp, J. / Benali, K. / Godart, C. / Derniame, J.C. et al. | 1990