10038 search results - page 1812 / 2008 » Model Checking for Managers |
126
click to vote
EDBT
2009
ACM
15 years 9 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...
158
click to vote
HAIS
2009
Springer
15 years 9 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...
142
click to vote
ASIACRYPT
2001
Springer
15 years 9 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...
142
click to vote
CIKM
2001
Springer
15 years 9 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...
138
click to vote
CIKM
2001
Springer
15 years 9 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...