๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Toward a formal language for unsharp properties

โœ Scribed by Roberto Giuntini; Heinz Greuling

Publisher
Springer US
Year
1989
Tongue
English
Weight
807 KB
Volume
19
Category
Article
ISSN
0015-9018

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

ConSpec โ€” A formal language for policy s
ConSpec โ€” A formal language for policy specification
โœ Irem Aktug; Katsiaryna Naliuka ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 716 KB

The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle,

A formal language approach for a 3D curv
A formal language approach for a 3D curve representation
โœ E. Bribiesca; C. Velarde ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 799 KB

A tbrmal language approach for representing three-dimensional (3D) curves is presented. Based on the chMn code for representing 3D carves defined in [1], we propose an approach for mapping 3D curves into strings. This mapping allows us to have a unique curve descriptor, which is invariant under tran