: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
In this paper, we propose a computer-controlled camera work that shoots object scenes to model the professional cameramen's work and selects the best image among plural video...
In Grid systems, nontrivial qualities of service have to be provided to users by the resource providers. However, resource management in a decentralized infrastructure is a complex...
The adoption of Efficient Consumer Response (ECR) by the grocery industry has become increasingly important in order to stay competitive. Due to the inter-organizational nature of...