بحث بسيط
السجلات المعروضة 21 -- 30 من 102
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 ...
A decision support system based on ranking methods
(
IEEE
, 2003 , Conference Paper)
The complexity of decision making in industrial and economic fields is a phenomenon that has become difficult to surmount. This makes the decision maker feel powerless in front of unpredictable, non understandable and ...
A toolset for the specification and verification of embedded systems
(
IEEE
, 2003 , Conference Paper)
Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ...