Possibilities for Formal Models of Smart Environments
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62690094%3A18450%2F10%3A00003004" target="_blank" >RIV/62690094:18450/10:00003004 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Possibilities for Formal Models of Smart Environments
Original language description
This paper is devoted to a recently running project description with a purpose to get some necessary feedback from the AmI community as to the project ambitions. The project intends to study possibilities of several formal approaches towards modeling intelligent environments based on principles of ambient intelligence. The main goal is in contributing towards theoretical foundations of ambient intelligence via modeling of intelligent environments functionality using three basic approaches: multi-agent systems of various kind, algebraic methods, and grammar systems and colonies, namely eco-grammar systems.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
AE - Management, administration and clerical work
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP403%2F10%2F1310" target="_blank" >GAP403/10/1310: SMEW - Smart Environments at Workplaces</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Data networks, communications, computers (DNCOCO´10)
ISBN
978-960-474-245-5
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
World scientific and engineering academy and society
Place of publication
Athens
Event location
Faro, Portugal
Event date
Jan 1, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—