4356 search results - page 624 / 872 » Communicating Transactions - (Extended Abstract) |
145
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
187
click to vote
NOTERE
2010
15 years 5 months ago
2010
Abstract—Managing group membership in an ad hoc mcommerce trading forum is a challenging task as peers may only have partial knowledge of the current membership due to frequent n...
157
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
162
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. With the number of computing elements spiraling to hundred of thousands in modern HPC systems, failures are common events. Few applications are nevertheless fault toleran...
164
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...