scientific article

zbMath0825.68256MaRDI QIDQ3999188

No author found.

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68M99)

Related Items

Verifying persistent security properties, Minimal distortion morphs generated by time-dependent vector fields, Mediating secure information flow policies, Constructing a quasi-uniform function space, Online graph exploration on trees, unicyclic graphs and cactus graphs, Current trends in geometric modeling and selected computational applications, The category-theoretic solution of recursive metric-space equations, On the use of MTBDDs for performability analysis and verification of stochastic systems., A note on the emptiness problem for alternating finite-memory automata, Facial geometry parameterisation based on partial differential equations, A logical approach to multilevel security of probabilistic systems, Locally linear reconstruction for instance-based learning, Controlling file access with types, Persistent Stochastic Non-Interference, Characterising FS domains by means of power domains, Constructing quadratic birational maps via their complex rational representation, A conservative look at operational semantics with variable binding, A new logic for electronic commerce protocols, A comparison of three authentication properties., Towards invariant face recognition, Grid-distortion on nonrectangular grids, Clouds over a public key cryptosystem based on Lyndon words, Computational Probabilistic Non-interference, An energy-minimization framework for monotonic cubic spline interpolation