Search
Now showing items 21-30 of 109
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
(
IEEE
, 2003 , Conference Paper)
In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ...
Environmental impact of fuel spills on land
(2006 , Conference Paper)
This study considers the toxicity and flammability of emitted fuel vapor from un-ignited pools of spilled chemicals on land. It also estimates the thermal radiation levels emitted from such pools in case they catch fire. ...
Security-oriented service composition and evolution
(
IEEE
, 2006 , Conference Paper)
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the security objectives and properties at the ...
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
(
IEEE
, 2003 , Conference Paper)
Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...
A neural network algorithm for hardware-software verification
(
IEEE
, 2003 , Conference Paper)
Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ...
Positron annihilation studies of the effect of gamma irradiation dose in polymers
(
Elsevier Ltd
, 2003 , Conference Paper)
Positron annihilation lifetime (PAL) technique has been applied to study the effect of gamma irradiation dose on the structure of low-density polyethylene and polystyrene. The positron annihilation lifetime measurements ...
Electron irradiated low-density polyethylene studied by positron annihilation lifetime spectroscopy
(
Elsevier Ltd
, 2003 , Conference Paper)
A study of the degree and rate of cross-linking of low-density polyethylene (LDPE) as a result of irradiation by high-energy electron beam has been performed using positron annihilation lifetime (PAL) technique. The PAL ...
Applications of virtual construction environments in improving construction site safety
(
10th International Conference on Civil, Structural and Environmental Engineering Computing, Civil-Comp 2005
, 2005 , Conference Paper)
The complex nature of construction site safety during construction is a major issue to be considered. Among the top reasons affecting the safety of the construction site is the available workplace and the surrounding ...
Selecting Web services with security compliances: A managerial perspective
(
dblp computer science bibliography
, 2007 , Conference Paper)
This paper proposes a framework of a decision support system (DSS) for the assessment process of selecting Web services with security compliances consistent with the enterprise business goal. The proposed DSS framework is ...
A system for automatic gathering and intelligent analyses of Doha traffic data
(
Institute of Electrical and Electronics Engineers Inc.
, 2008 , Conference Paper)
In recent years, Intelligent Transportation Systems (ITS) have gained increased attention. ITS [1] [2] provide opportunities for traffic engineers and decision-makers to deal with problems related to highway traffic operation ...