Publication:3999188
From MaRDI portal
zbMath0825.68256MaRDI QIDQ3999188
No author found.
Publication date: 23 January 1993
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68M99: Computer system organization
Related Items
Characterising FS domains by means of power domains, Locally linear reconstruction for instance-based learning, A conservative look at operational semantics with variable binding, Current trends in geometric modeling and selected computational applications, On the use of MTBDDs for performability analysis and verification of stochastic systems., Grid-distortion on nonrectangular grids, Clouds over a public key cryptosystem based on Lyndon words, An energy-minimization framework for monotonic cubic spline interpolation, A new logic for electronic commerce protocols, A comparison of three authentication properties., Towards invariant face recognition, Verifying persistent security properties, Constructing a quasi-uniform function space, Mediating secure information flow policies