Sciweavers

570 search results - page 94 / 114
» concurrency 2006
Sort
View
64
Voted
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
77
Voted
ATAL
2006
Springer
15 years 1 months ago
No-commitment branch and bound search for distributed constraint optimization
We present a new polynomial-space algorithm for solving Distributed Constraint Optimization problems (DCOP). The algorithm, called NCBB, is branch and bound search with modificati...
Anton Chechetka, Katia P. Sycara
ATAL
2006
Springer
15 years 1 months ago
Competing sellers in online markets: reserve prices, shill bidding, and auction fees
In this paper, we consider competition between sellers offering similar items in concurrent online auctions, where each seller must set its individual auction parameters (such as ...
Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, N...
BPM
2006
Springer
103views Business» more  BPM 2006»
15 years 1 months ago
IT Support for Release Management Processes in the Automotive Industry
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
Dominic Müller, Joachim Herbst, Markus Hammor...
CAV
2006
Springer
113views Hardware» more  CAV 2006»
15 years 1 months ago
Causal Atomicity
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
Azadeh Farzan, P. Madhusudan