18 research outputs found

    Verifying security protocols for sensor networks using algebraic specification techniques

    No full text

    Algebraic specifications for OMA REL licenses

    No full text

    Artificial Intelligence, Big Data Analytics, and Smart Cities

    No full text
    Modern urban life is seeing an increasing rate of adoption of artificial intelligence and smart solutions; however, citizens are still struggling to keep up the pace, and the rate at which they acquire skills and knowledge around artificial intelligence and data analysis in smart cities is lagging behind. This paper is an attempt to determine which digital skills are necessary when dealing with smart cities. This article is structured as follows: we first refer to the two basic and fundamental branches of artificial intelligence and continue with applications that exist in these branches regarding smart environments. The research contribution of this article is important since it is one of the few in the international literature dealing with all branches of AI and big data (e.g., machine learning and rule-based applications) in smart cities. The conclusion of the present work is that there is an urgent need to create an education system in the new concepts of AI and big data analysis not only for scientists but also for citizens. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG

    Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method

    No full text

    An algebraic framework for modeling of Mobile systems

    No full text
    corecore