Search
Now showing items 1061-1070 of 1136
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 ...
Improvement of the DSATUR algorithm for graph coloring
(
Arabian Gulf University
, 2003 , Article)
In this paper we discuss the deterministic Brelaz's DSATUR algorithm for graph coloring. We propose a simple modification that improves the performance of the algorithm. This modification consists of assigning the color ...
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 ...
Digital government service machine DGSM
(
IEEE
, 2008 , Conference Paper)
The rapid improvement in latest technologies motivates individuals to progress in their societies. Fast and worthy can be significant titles for the demands of this modern life. And because of technology improvements, there ...
Efficient forward error correction for reliable transmission in packet networks
(
dblp computer science bibliography
, 2008 , Conference Paper)
This paper proposes an approach that utilizes a new forward error correction mechanism for reconstructing lost or corrupted packets sent over a Network. Instead of retransmissions of lost or corrupted packets, the new ...
Effect of octylphenol polyethylene oxide on the corrosion inhibition of steel in 0.5 M H2SO4
(
Elsevier
, 2004 , Article)
A non-ionic surfactant, octylphenol polyethylene oxide (OPPEO), was evaluated as an inhibitor for corrosion of low-carbon steel in 0.5M H 2SO4. Potentiodynamic and potentiostatic methods and scanning electron microscopy ...
Activation and stabilization of gallium arsenide anode in an aqueous photoelectrochemical cell
(
Elsevier
, 2003 , Article)
The formation of a porous layer on the surface of gallium arsenide anode, n-GaAs, increases photogenerated currents significantly. This layer was formed as a result of an anodic polarization of illuminated n-GaAs in acidified ...
The role of type II FB (I):Tl+ defect in laser light generation and color image formation at the low coordination surface sites of AgBr: Ab initio calculations
(
Elsevier
, 2006 , Article)
The role of type II FB (I):Tl+ color center at low coordination surface sites of AgBr thin films in providing tunable laser activity and photographic sensitization is examined. The double-well potential at this site is ...
Impact of MD5 authentication on routing traffic for the case of: EIGRP, RIPv2 and OSPF
(
Science Publications
, 2008 , Article)
Problem Statement: With the free flow of routing data and the high availability of computer resources, possible threats to the networks can result in loss of privacy and in malicious use of information or resources that ...
Performance evaluation of secured versus non-secured EIGRP routing protocol
(
dblp computer science bibliography
, 2008 , Conference Paper)
Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermediate node is considered. Due to the major ...