Sciweavers

9325 search results - page 1754 / 1865
» The decentralized implementability problem
Sort
View
128
Voted
SELMAS
2004
Springer
15 years 8 months ago
A Software Framework for Automated Negotiation
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
Claudio Bartolini, Chris Preist, Nicholas R. Jenni...
115
Voted
SPIN
2004
Springer
15 years 8 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
108
Voted
VLDB
2004
ACM
93views Database» more  VLDB 2004»
15 years 8 months ago
Symmetric Relations and Cardinality-Bounded Multisets in Database Systems
In a binary symmetric relationship, A is related to B if and only if B is related to A. Symmetric relationships between k participating entities can be represented as multisets of...
Kenneth A. Ross, Julia Stoyanovich
135
Voted
DASFAA
2003
IEEE
108views Database» more  DASFAA 2003»
15 years 8 months ago
Spatial Query Processing for High Resolutions
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...
155
Voted
GLVLSI
2003
IEEE
146views VLSI» more  GLVLSI 2003»
15 years 8 months ago
A practical CAD technique for reducing power/ground noise in DSM circuits
One of the fundamental problems in Deep Sub Micron (DSM) circuits is Simultaneous Switching Noise (SSN), which causes voltage fluctuations in the circuit power/ground networks. In...
Arindam Mukherjee, Krishna Reddy Dusety, Rajsaktis...
« Prev « First page 1754 / 1865 Last » Next »