All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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