Environmental management and planning problems cover important real life areas. These problems may include the scarcity of groundwater resource, the optimality of a multi-reservoir system, the management of forest resources, the air quality monitoring networks, the municipal solid waste policies, etc. Management and planning targets by authorities consist in allocations at appropriate places an...

For the verification of concurrent programs, it is essential to be able to show that synchronisation mechanisms are implemented correctly. A common way to implement such sychronisers is by using atomic operations. This paper identifies what different synchronisation patterns can be implemented by using atomic read, write and compare-and-set operation. Additionally, this paper proposes also a sp...

In the last 20 years, both public and private expenditures on resource conservation and environmental protection have increased dramatically. However, there are numerous technical and political barriers to the efficient use of conservation funds. This paper discusses some of these barriers and approaches to overcoming them. It argues that ecosystem complexities such as threshold effects, ecosys...

Modular reasoning about non-blocking concurrent data structures is crucial to establish the correctness of concurrent applications. To achieve this, specifications of the synchronization mechanisms used by these nonblocking concurrent classes to prevent concurrent access to shared data, are essential. This paper presents an approach to specifying such lock-free synchronization mechanisms in ter...

With the widespread use of real-time applications (VoIP, IPTV, Video conference, etc.) in Internet, protection and resource optimization become increasingly desired. Network protection aims to decrease the interruption time of communications by precomputing backup paths capable to receive and route traffics of affected primary paths upon failures. Resource optimization is achieved by improving ...