Formalism for the Systems with Roles

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55740" target="_blank" >RIV/00216305:26230/05:PU55740 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Formalism for the Systems with Roles
Original language description
The article describes the vision of the systems with roles. It defines the simple formalism of them based on the lattice theory and formulate the message-dispatch problem within the systems with roles.
Czech name
Formalismus pro systémy s rolemi
Czech description
Článek popisuje představu tzv. systému s rolemi. Definuje pro ně jednoduchý formalismus, založený na teorii svazů a formuluje v něm problém distribuce zpráv.

Project
<a href="/en/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: A Framework for Formal Specifications and Prototyping of Information System's Network Applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of 8th International Conference ISIM'05 Information
ISBN
80-86840-09-3
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
227-234
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Hradec nad Moravicí
Event date
Apr 19, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)