Most of current systems which play video data produced remotely in a real time manner transfer video packets without retransmission. However, corrupted packets can be retransmitted if the time of playing is delayed for the fixed amount time. This paper proposes a new reliable real time protocol, based on SSCOP for ATM networks, which retransmits the only corrupted packets which reach the receiv...

Headwater streams constitute the majority of watersheds in the United States and many in the midwest have been channelized for agricultural drainage. Public health implications of water chemistry and aquatic insects within channelized and unchannelized headwater streams have not been explored. We sampled water chemistry and aquatic insects in two channelized and two unchannelized headwater stre...

In this paper, we propose and study a method using bare LR 115 SSNTDs for passive monitoring of the equilibrium factor F inside a radon exposure chamber. The method is based on the proxy equilibrium factor Fp which is defined as Fp 1⁄4 r=ðriC0tÞ 1, where ri is the partial sensitivity (i.e., the number of tracks per unit area per unit exposure), C0 is the radon gas concentration and t is the exp...

The vnode interface has succeeded in supporting a wide range of file system implementations over its 6-year history. During that time it has also had to accommodate evolution in file system semantics, and in the relationship between the file system and the virtual memory system. The effects of this evolution have been less than elegant, and pressures for further evolution are mounting. The evol...

The concentrations and relative abundances of aquatic hyphomycete conidia in water were followed during a three-year study in two headwater streams at Coweeta Hydrologic Laboratory, North Carolina, using the membrane-filtration technique. After a one-year pretreatment period, one of the streams was enriched continuously with inorganic nutrients (N+P) for two years while the other stream served ...

The male sex of Tyloridasataraensis Kulkarni, 2014 is described based on specimens from the type locality. The distinguishing characters from its closest species Tyloridaventralis (Thorell, 1877) are detailed. An interesting behaviour of going underwater by T.sataraensis, on disturbance is recorded and tested for significance. The surveys have shown sighting of this species only to the perennia...

This paper describes a new idea of rapid protocol implementation starting from its formal specification, namely to generate Unix STREAMS modules. We have exercised this idea using Estelle formal specification technique. The generator was written for Linux system. The paper demonstrates how the semantic problems were resolved and gives some conclusions from generations we have performed.

According to the ISO-IEC 9126-1 standard [5], interoperability is a software functionality sub-characteristic defined as “the capability of the software product to interact with one or more specified systems”. In order to interact with other systems a DLBS must conform to the standard input formats and must be able to perform standard inference services. In our setting, the standard input forma...

Most automatic programming research has focused on programs which terminate and which produce output values upon termination. By contrast, programs which operate on streams of data usually do not terminate and usually produce streams of output data during execution. Such stream programs may be specified with a technique which is a generalization of specification techniques for conventional prog...

We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network querying, where data is pulled into streams, the semantics contributed in the paper also encompasses the case in which data is pushed onto streams or else lies stored in classical relations. The approach taken is that continuou...