4.6 Article

Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications

Related references

Note: Only part of the references are listed.
Article Computer Science, Artificial Intelligence

iMOPSE: a library for bicriteria optimization in Multi-Skill Resource-Constrained Project Scheduling Problem

Pawel B. Myszkowski et al.

SOFT COMPUTING (2019)

Article Thermodynamics

Automated Building Energy Modeling and Assessment Tool (ABEMAT)

Ehsan Kamel et al.

ENERGY (2018)

Article Automation & Control Systems

Fog Computing for Energy-Aware Load Balancing and Scheduling in Smart Factory

Jiafu Wan et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2018)

Article Computer Science, Interdisciplinary Applications

SCORE: Simulator for cloud optimization of resources and energy consumption

Damian Fernandez-Cerero et al.

SIMULATION MODELLING PRACTICE AND THEORY (2018)

Article Green & Sustainable Science & Technology

Who Uses Smart City Services and What to Make of It: Toward Interdisciplinary Smart Cities Research

Miltiadis D. Lytras et al.

SUSTAINABILITY (2018)

Review Chemistry, Analytical

Securing Real-Time Internet-of-Things

Chien-Ying Chen et al.

SENSORS (2018)

Article Computer Science, Software Engineering

Comparative Analysis of Simulation Tools with Visualization based on Real-time Task Scheduling Algorithms for IoT Embedded Applications

Shabir Ahmad et al.

INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING (2018)

Article Management

Rescaling and refocusing smart cities research: from mega cities to smart villages

Anna Visvizi et al.

JOURNAL OF SCIENCE AND TECHNOLOGY POLICY MANAGEMENT (2018)

Article Telecommunications

Towards a smart city based on cloud of things, a survey on the smart city vision and paradigms

Riccardo Petrolo et al.

TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES (2017)

Article Computer Science, Interdisciplinary Applications

SDMSim: A manufacturing service supply-demand matching simulator under cloud environment

Fei Tao et al.

ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING (2017)

Article Biotechnology & Applied Microbiology

Developing an App by Exploiting Web-Based Mobile Technology to Inspect Controlled Substances in Patient Care Units

Ying-Hao Lu et al.

BIOMED RESEARCH INTERNATIONAL (2017)

Article Mathematical & Computational Biology

A Web-Based Tool for Automatic Data Collection, Curation, and Visualization of Complex Healthcare Survey Studies including Social Network Analysis

Jose Alberto Benitez et al.

COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE (2017)

Article Computer Science, Hardware & Architecture

The Promise of Edge Computing

Weisong Shi et al.

COMPUTER (2016)

Article Computer Science, Information Systems

Enabling the IoT Machine Age With 5G: Machine-Type Multicast Services for Innovative Real-Time Applications

Massimo Condoluci et al.

IEEE ACCESS (2016)

Review Computer Science, Information Systems

Edge Computing: Vision and Challenges

Weisong Shi et al.

IEEE INTERNET OF THINGS JOURNAL (2016)

Article Biochemical Research Methods

Orchestrating high-throughput genomic analysis with Bioconductor

Wolfgang Huber et al.

NATURE METHODS (2015)

Article Computer Science, Information Systems

Improving Heterogeneous SOA-Based IoT Message Stability by Shortest Processing Time Scheduling

Jenq-Shiou Leu et al.

IEEE TRANSACTIONS ON SERVICES COMPUTING (2014)

Article Biotechnology & Applied Microbiology

Performance Enhancement of a Web-Based Picture Archiving and Communication System Using Commercial Off-the-Shelf Server Clusters

Yan-Lin Liu et al.

BIOMED RESEARCH INTERNATIONAL (2014)

Article Engineering, Electrical & Electronic

Enabling Smart Cities through a Cognitive Management Framework for the Internet of Things

Panagiotis Vlacheas et al.

IEEE COMMUNICATIONS MAGAZINE (2013)

Article Computer Science, Artificial Intelligence

An Intelligent Self-Organization Scheme for the Internet of Things

Yongsheng Ding et al.

IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE (2013)

Article Computer Science, Information Systems

TCNet: Trellis Coded Network - Implementation of QoS-aware Routing Protocols in WSNs

D. F. L. Filho et al.

IEEE LATIN AMERICA TRANSACTIONS (2013)

Article Computer Science, Hardware & Architecture

Opportunistic IoT: Exploring the harmonious interaction between human and the internet of things

Bin Guo et al.

JOURNAL OF NETWORK AND COMPUTER APPLICATIONS (2013)

Article Computer Science, Information Systems

RFID-based indoor location tracking to ensure the safety of the elderly in smart home environments

Soo-Cheol Kim et al.

PERSONAL AND UBIQUITOUS COMPUTING (2013)

Article Automation & Control Systems

Automated Cognitive Health Assessment Using Smart Home Monitoring of Complex Tasks

Prafulla N. Dawadi et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2013)

Article Engineering, Electrical & Electronic

Design of a WSN Platform for Long-Term Environmental Monitoring for IoT Applications

Mihai T. Lazarescu

IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS (2013)

Editorial Material Engineering, Electrical & Electronic

Internet of Things

Feng Xia et al.

INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS (2012)

Article Computer Science, Theory & Methods

A Survey of Hard Real-Time Scheduling for Multiprocessor Systems

Robert I. Davis et al.

ACM COMPUTING SURVEYS (2011)

Article Automation & Control Systems

Enterprise Systems: State-of-the-Art and Future Trends

Li Da Xu

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)

Article Evolutionary Biology

GGT 2.0: Versatile software for visualization and analysis of genetic data

Ralph van Berloo

JOURNAL OF HEREDITY (2008)

Article Computer Science, Information Systems

A smart sensor to detect the falls of the elderly

A Sixsmith et al.

IEEE PERVASIVE COMPUTING (2004)

Article Automation & Control Systems

Real-time Ethernet -: The EtherCAT solution

D Jansen et al.

COMPUTING & CONTROL ENGINEERING JOURNAL (2004)