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...

ion from C H bonds. The impinging H is simply reflected from the n-hexane surface with reduced intensity due to charge neutralization at the molecular solid.

Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in cluster middleware layer can simplify the programming task of parallel tool developers. This paper presents the design and implementation of dynamic process management in a cluster middleware called KSIX. KSIX provid...

The objective of this paper is to define a decision support system over SOX (Sarbanes-Oxley Act) compatibility and quality of the Suppliers Selection Process based onArtificial Intelligence andArgumentationTheory knowledge and techniques.The present SOX Law, in effect nowadays, was created to improve financial government control over US companies. This law is a factor standard out United States...

Temporary streams represent a significant yet understudied and particularly vulnerable portion of river networks. While the vast majority of stream and river research to date has focused on perennial flowing waters, recent work reveals that temporary streams are not only abundant and widely distributed, but also play a significant role in the hydrological and ecological integrity of lotic netwo...