Driving a car is a complex task, and it requireres complete attention of the driver. Distracted driving is an activity that takes away the driver's focus and attention from the road. Worldwide number of road accid...
详细信息
The Internet of Things (IoT) conceptualizes the idea of remotely connecting and monitoring a network of real-world objects (things) through the Internet. The 'Thing' in IoT can be any device with any kind of b...
详细信息
An Intrusion Detection System (IDS) monitors and analyses data to find any intrusions into a system or network. The network generates data at a tremendous volume, variety, and speed, making it difficult to detect atta...
详细信息
Pervasive Computing plays an integral role in our daily life. Due to the mobility and resource limit of devices in pervasive computing environments, the design and implementation of service composition will be a more ...
详细信息
ISBN:
(纸本)9781605588728
Pervasive Computing plays an integral role in our daily life. Due to the mobility and resource limit of devices in pervasive computing environments, the design and implementation of service composition will be a more complex and challenging task. In this paper, an approach based on behavioral modeling and analysis techniques for modeling service composition is proposed. A service behavior model is represented as Concurrent Regular Expressions and then is modeled as a Labelled Transition System by transforming Concurrent Regular Expressions into Finite State Process notation. Verification of the service behavior against specified system properties, (i.e. behavior consistency, safety) is becoming more flexible and effective. Copyright 2009 ACM.
In today's day-to-day life where the internet, social media, and electronic communication have become so common, bullying has taken the form of cyberbullying. Cyberbullying is bullying the victim by using electron...
详细信息
5G networks make the IoT devices and mobile devices more widespread. In order to offload the traffic from core network to edge network, the service providers deploy its computing resources and services to the edge net...
详细信息
Genetic algorithms (GAs) are a subset of machine learning and can potentially solve complex biological challenges in agriculture, including crop improvement. These algorithms help simulate the process of nature select...
详细信息
Optimization (adaptation) of agents interacting with dynamic persistent environments (DPEs) poses a separate class of problems from those of static optimization. Such environments must be incorporated into models of i...
详细信息
Online service oriented networks are viewed as social networks, which consists of service providers and consumers. A prospective service consumer always wish to find the most trustworthy service provider. As trust is ...
详细信息
The development of in-network services in the IT industry influences cloud usage rapidly for storage and distribution. As such new computing and service technology needed data owners to entrust their important data to...
详细信息
暂无评论