Mobile 1Pv6 allows mobile devices always addressable by its home address wherever it is located. In this paper the focus is given on a micromobility based test-bed development with improved scheme. The test-bed consis...
详细信息
InfiniBand is emerging as a high-performance interconnect. It is gaining popularity because of its high performance and open standard. Recently, PCI-Express, which is the third generation high-performance I/O bus used...
详细信息
One of the prime designs for the next generation IP routers is the IP-lookup mechanism. The IP lookup has become a major performance bottleneck for the routers. In this paper, we propose a complete hardware architectu...
详细信息
Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a fact, exploiting most of vulnerabiliti...
详细信息
An algorithm for time division multiple access (TDMA) is found to be applicable in converting existing distributed algorithms into a model that is consistent with sensor networks. Such a TDMA service needs to be self-...
详细信息
Human motion tracking mechanisms need to track multiple points on a human skeleton. Whether it is based on video or sensors, it is computationally expensive if the tracked skeleton needs to be embedded into a scenario...
详细信息
The growing complexity of distributed systems in terms of hardware components, operating system, communication and application software and the huge amount of dependencies among them have caused an increase in demand ...
详细信息
Routers are effective building blocks for Internet. It is almost impossible to modify router software only for applications. How to satisfy applications' specific requirements of communication is a big problem. No...
详细信息
This paper introduces the requirements, concept and effects of a high time-resolution traffic volume transition-shape monitoring system that enables us to observe selected traffic flow shapes using a well-considered t...
详细信息
ISBN:
(纸本)0780391322
This paper introduces the requirements, concept and effects of a high time-resolution traffic volume transition-shape monitoring system that enables us to observe selected traffic flow shapes using a well-considered time-resolution in a real-time manner. We determined the time-resolution to be one millisecond, based on the relationship between the behavior of the streaming applications and the statistical assumptions used to calculate the traffic volume. This prototype can display traffic volume transition shapes in an oscilloscope style and clearly indicates traffic shape differences that cannot be observed using conventional monitoring systems.
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facilitate the specification of critical pro...
详细信息
ISBN:
(纸本)9781581139631
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facilitate the specification of critical properties, such as those that must be satisfied by embedded systems. Thus far, no analogous repository has been compiled for real-time specification patterns. This paper makes two main contributions: First, based on an analysis of timing-based requirements of several industrial embedded system applications, we created real-time specification patterns in terms of three commonly used real-time temporal logics. Second, as a means to further facilitate the understanding of the meaning of a specification, we offer a structured English grammar that includes support for real-time properties. We illustrate the use of the real-time specification patterns in the context of property specifications of a real-world automotive embedded system. Copyright 2005 ACM.
暂无评论