5326 search results - page 401 / 1066 » On what we can ensure |
167
click to vote
ADC
2005
Springer
16 years 11 days ago
2005
Springer
We study the design issues of data-centric XML documents where (1) there are no mixed contents, i.e., each element may have some subelements and attributes, or it may have a singl...
168
click to vote
SDMW
2004
Springer
16 years 5 days ago
2004
Springer
For many data providers, the “crown jewels” of their business are the data that they have organized. If someone could copy their entire database, it would be a competitive cata...
185
click to vote
WEBDB
2010
Springer
15 years 12 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
172
click to vote
PLILP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
180
click to vote
ICPP
2000
IEEE
15 years 10 months ago
2000
IEEE
The idle computers on a local area, campus area, or even wide area network represent a significant computational resource--one that is, however, also unreliable, heterogeneous, an...