Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This paper gives the first systematic treat...
详细信息
The pervasive use of wireless networks and mobile devices has been changing our living style significantly. Along with great convenience and efficiency, there are new challenges in protecting sensitive and/or private ...
详细信息
Alongside multitude of innovations and consequential changes in lifestyle, the ability to access home appliances or security cameras over the Internet has been in demand for some years now. In this paper, we propose a...
详细信息
We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We model these dynamics by quantifying over pr...
详细信息
We study the scaling capacity of wireless sensor networks in case of multiple gateways are presented. In such a heterogeneous network, many gateways are needed to gather data from the sensor nodes in network. Differen...
详细信息
ISBN:
(纸本)9781424453320
We study the scaling capacity of wireless sensor networks in case of multiple gateways are presented. In such a heterogeneous network, many gateways are needed to gather data from the sensor nodes in network. Different from the previously studied single-gateway model, our proposed gateway access model allows multiple gateway nodes being seamlessly connected with high speed wire-line or wide-band radios. Once the data from the sensor node is sent to any gateway node, it can be collaboratively sent to the appropriate sink node among multiple gateways, which could effectively avoid throughput reduction due to multi-hop routing among the sensor node. This mechanism is called "Destination-hub", which could ensure the bounded time delay and network capacity. However under such a cooperative scheme, two research issues need to be tackled. One is the number of nodes in network and the second is the scaling capacity for each node when multiple gateway nodes are presented. Our proposed model is a fundamental research work for scaling capacity, which could also provide an instructive proposal for future gateway deployment. In this paper, we characterize the scaling capacity between gateways and sensor nodes under different gateway access model. If gateway nodes are randomly deployed, the number is Omega(log n), and there are at least 4 log l gateway nodes are needed in each squarelet region so as to keep the gateway connectivity, where r is the transmitting range of sensor nodes, and l is the side length of the deployed square region. And we can conclude that, the gateway nodes can be tightly bounded by Theta(log n). For random placement, the scaling capacity for such a scheme is Theta(n). And we have also proposed an optimized scheme for reducing the number of gateway nodes. Considering the interference Voronoi cell, the reduced gateway nodes can be 2 ln l, and still bounded by Theta(log n).
The difficulty of writing, reading, and understanding formal specifications remains one of the main obstacles in adopting formal verification techniques such as model checking, theorem and runtime verification. In ord...
详细信息
Frequent pattern mining over large database is fundamental to many data mining applications. Various approaches have been proposed for pattern mining with respectable computational performance. However, our study has ...
详细信息
This paper proposes a fast approach to spectral image segmentation. In the algorithm, two popular techniques are extended and applied to spectral color images: the mean-shift filtering and the kernel-based clustering....
详细信息
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, we analyzed how people make paper origa...
详细信息
ISBN:
(纸本)9781605582474
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, we analyzed how people make paper origami models and mapped the common actions into two-touch gestures. The user study suggested that people enjoyed the simulator and think the techniques can be applied to other 3D modeling environments.
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considering the active role of agents in them. Th...
详细信息
暂无评论