Sciweavers

4096 search results - page 590 / 820
» An Object Model for Interoperable Systems
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: 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...
James C. Widmaier
IPPS
2010
IEEE
15 years 3 months ago
Runtime checking of serializability in software transactional memory
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 ...
Arnab Sinha, Sharad Malik
ICPR
2004
IEEE
16 years 7 months ago
Shooting the Lecture Scene Using Computer-controlled Cameras Based on Situation Understanding and Evaluation of Video Images
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...
Masaki Onishi, Kunio Fukunaga
EUROPAR
2007
Springer
16 years 24 days ago
Negotiation Strategies Considering Opportunity Functions for Grid Scheduling
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...
Jiadao Li, Kwang Mong Sim, Ramin Yahyapour
HICSS
2006
IEEE
88views Biometrics» more  HICSS 2006»
16 years 20 days ago
The Mediating Roles of Third Party Organizations in ECR Adoption
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...
Sherah Kurnia, Robert B. Johnston, Alexandra Dare