3452 search results - page 499 / 691 » On the Study of Negotiation Strategies |
131
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
265
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
In wireless sensor networks (WSNs), energy consumption and data quality are two important issues due to limited energy resources and the need for accurate data. In this scenario, i...
273
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
The current SQL standard for access control is coarse grained, in that it grants access to all rows of a table or none. Fine-grained access control, which allows control of access...
250
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Data streaming systems are becoming essential for monitoring applications such as financial analysis and network intrusion detection. These systems often have to process many simi...
275
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Although integrity constraints have long been used to maintain data consistency, there are situations in which they may not be enforced or satisfied. In this paper, we present Con...