3495 search results - page 301 / 699 » On the random satisfiable process |
216
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
192
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
147
click to vote
PERCOM
2008
ACM
16 years 7 months ago
2008
ACM
Users and developers require some way to identify by human readable names the many resources that comprise a ubiquitous computing environment. In addition, naming in such environm...
196
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Web services have emerged as a de facto standard for encapsulating services within or across organization boundaries. Various proposals have been made to compose Web services into...
201
Voted
CSIE
2009
IEEE
16 years 2 months ago
2009
IEEE
Customers are usually passive in an electronic commerce transaction. Based on a new two times concurrent signature, this article presents a fair electronic payment (E-payment) pro...