CADiZ began as a type-checker for Z specifications, which were embedded within troff documents. In adding other functionality, such as expansion of schema calculus expressions, and alternative functionality, such as an embedding within LTEX documents, a more open architecture was created into which new tools can be added and alternative tools substituted. This paper gives an overview of CADiZ a...

we describe an object oriented design and flexible implementation of a set of graphing tools implemented by using only the standard graphical user interface widgets provided by an interactive program composition system developed at Siemens Corporate R&D. The system, SX/Tools, allows for the addition of arbitrary tools (widgets) by direct composition of a set of initial objects. Using this mecha...

The paper proposes an approach how to develop a configurator (tool) allowing defining a wide range of DSML tools. The configurator is based on the idea that DSML tool definition may be given by a universal metamodel (i.e., UML class diagram), and then it can be interpreted by a universal interpreter to obtain the working tool. But for non-standard cases when the existing metamodel facilities ar...

Recently, Semantic Annotations for WSDL (SAWSDL) standard emerged as a W3C recommendation to add semantics to WSDL components. SAWSDL annotates WSDL components with different semantics in order to automate Web service tasks, such as service discovery, composition, mediation, and invocation. In fact, certain service task requires a specific service semantic that semantically describes the servic...

The paper gives an overview of the different sentiment classification approaches and tools used for sentiment analysis. Starting from this overview the paper provides a classification of (i) approaches with respect to features/techniques and advantages/limitations and (ii) tools with respect to the different techniques used for sentiment analysis. Different application fields of application of ...

We describe an approach to hardware/software co-design that starts with a high-level specification of a target machine and a synchronous data flow representation of an algorithm. The instruction set description is translated into a netlist-level machine description. A set of independent tools successively transform the algorithm into a program for the target processor. We employ the machine des...

Three matlab-based tools have been developed for the convenient assessment of stability conditions for linear and nonlinear systems. The first is a more helpful and definitive version of nyquist, which has features of automatic zooming (to show all crossings of the real axis and thus display the corresponding critical gain points) and which displays on the real axis a numeral (‘0’, ‘1’ etc.) th...

Facilitating the implementation of continuous quality improvement (CQI) is a complex undertaking. Numerous contextual factors at a local, organizational, and health system level can influence the trajectory and ultimate success of an improvement program. Some of these contextual factors are amenable to modification, others less so. As part of planning and implementing healthcare improvement, it...

The Total Maximum Daily Load (TMDL) program, established by U.S. federal law, drives U.S. water quality policy and management today. Mathematical models, in combination with field monitoring data, are widely used when developing TMDLs since they can potentially save time, reduce cost, and minimize the need for experimentally evaluating management alternatives. This article introduces the collec...

Regulators often face the challenge of designing and implementing rules that both, respond to the policy objectives and that can be clearly referred to the day-to-day operations and practices in the marketplace. In many cases, the actual codes end up being a cumbersome collection of conditions that are very difficult to evaluate and re-design. This paper suggests that some of the most commonly ...