Assuring the correctness of configured software descriptions
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Choi, S. C.; Scacchi, W. S.
- 卷第14卷
- 期第7期
- 印刷ISSN0163-5948
- 文件大小953.65KB
- 发表时间1989-11-01
- DOI10.1145/73337.73349
- 页码66-75
One query reducibilities between partial information classesSebastian Bab; Arfst Nickelsen · 2005
Maximum Principles for a Class of Partial Information Risk-Sensitive Optimal ControlsJianhui Huang; Xun Li; Guangchen Wang · 2010
MONTE CARLO DERIVATIVE PRICING WITH PARTIAL INFORMATION IN A CLASS OF DOUBLY STOCHASTIC POISSON PROCESSES WITH MARKSCENTANNI, SILVIA; MINOZZO, MARCO · International Journal of Theoretical and Applied Finance · 2012
Static anti-windup design for a class of Markovian jump systems with partial information on transition ratesWei, Yunliang; Zheng, Wei Xing; Xu, Shengyuan · International Journal of Robust and Nonlinear Control · 2016
Usefulness of graph vertex complexity and class partial information content in explaining gas phase thermal entropy of chemical compoundsRaychaudhury, Chandan; Pal, Debnath · Journal of Mathematical Chemistry · 2020
[Lecture Notes in Control and Information Sciences] Stochastic Systems and Optimization Volume 136 || On a class of semilinear stochastic partial differential equationsZabczyk, Jerzy · 1989
Computational Tools for the Safety Control of a Class of Piecewise Continuous Systems with Imperfect Information on a Partial OrderHafner, Michael R.; Del Vecchio, Domitilla · SIAM Journal on Control and Optimization · 2011
Quantum public key distribution reinventedBennett, Charles H.; Brassard, Gilles · ACM SIGACT News · 1987
Polymorphism, objects and abstract typesO'Hearn, Peter W. · ACM SIGACT News · 1998
Planar 3-colorability is polynomial completeStockmeyer, Larry · ACM SIGACT News · 1973
ACM SIGACT news distributed computing column 5Rajsbaum, Sergio · ACM SIGACT News · 2001
Computational geometry column 55Venkatasubramanian, Suresh · ACM SIGACT News · 2013
A bibliography on minimax treesDiderich, Claude G. · ACM SIGACT News · 1993
Computational geometry column 56Dumitrescu, Adrian; Jiang, Minghui · ACM SIGACT News · 2013
Conjugate codingWiesner, Stephen · ACM SIGACT News · 1983