About: Formalism for the Systems With Roles

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formalism for the Systems With Roles Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	In this paper we preset a mathematical formalism for the so called systmes with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic alegebraic structure, called "lattice with inheritance" and use it to describe the system with roles and to deal with so called message dispatch problem. In this paper we preset a mathematical formalism for the so called systmes with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic alegebraic structure, called "lattice with inheritance" and use it to describe the system with roles and to deal with so called message dispatch problem. (en)
Title	Formalism for the Systems With Roles Formalism for the Systems With Roles (en)
skos:prefLabel	Formalism for the Systems With Roles Formalism for the Systems With Roles (en)
skos:notation	RIV/00216305:26230/05:PU56560!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/05/0723), Z(MSM0021630503)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Hruška, Tomáš Burger, Tomáš
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	521939
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/05:PU56560
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	inheritance, roles (en)
http://linked.open.../riv/klicoveSlovo	roles inheritance
http://linked.open...ontrolniKodProRIV	[879E85DC481F]
http://linked.open...v/mistoKonaniAkce	Arlington, Virginia
http://linked.open...i/riv/mistoVydani	Menlo Park, California
http://linked.open...i/riv/nazevZdroje	papers from the AAAI Fall Symposium
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	A Framework for Formal Specifications and Prototyping of Information System's Network Applications
http://linked.open...UplatneniVysledku	2005
http://linked.open...iv/tvurceVysledku	Hruška, Tomáš Burger, Tomáš
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2005-11-04 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Nové trendy v mikroelektronických systémech a nanotechnologiích (MIKROSYN)
number of pages	5 (xsd:int)
http://purl.org/ne...btex#hasPublisher	American Association for Artificial Intelligence
https://schema.org/isbn	978-1-57735-254-9
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Formalism for the Systems With Roles

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software