All Outputs (3)

Any time probabilistic sensor validation (1997)
Thesis
Ibarguengoytia, P. Any time probabilistic sensor validation. (Thesis). University of Salford, UK

Many applications of computing, such as those in medicine and the control of manufacturing and power plants, utilize sensors to obtain information. Unfortunately, sensors are prone to failures. Even with the most sophisticated instruments and control... Read More about Any time probabilistic sensor validation.

A layered any time approach to sensor validation (1997)
Book Chapter
Ibarguengoyatia, P., Vadera, S., & Sucar, E. (1997). A layered any time approach to sensor validation. In Lecture Notes in AI. Springer

Sensors are the most usual source of information in many automatic systems such as automatic control These computerised systems utilise different models of the process being served which usually assume the value of the variables as a correct read... Read More about A layered any time approach to sensor validation.

Tools for producing formal specifications : a view of current architectures and future directions (1997)
Journal Article
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However... Read More about Tools for producing formal specifications : a view of current architectures and future directions.