10038 search results - page 1812 / 2008 » Model Checking for Managers |
159
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...
190
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
Developing models and methods to manage data vagueness is a current effervescent research field. Some work has been done with supervised problems but unsupervised problems and unce...
172
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we formalize the notion of a ring signature, which makes it possible to specify a set of possible signers without revealing which member actually produced the signatu...
170
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Many document-based applications, including popular Web browsers, email viewers, and word processors, have a ‘Find on this Page’ feature that allows a user to find every occur...
172
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Data fusion on the Web refers to the merging, into a unified single list, of the ranked document lists, which are retrieved in response to a user query by more than one Web search...