1307 search results - page 137 / 262 » Follow the intellectual property |
164
click to vote
CONCUR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
197
click to vote
CSR
2007
Springer
16 years 19 days ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
163
click to vote
ODBIS
2007
Springer
16 years 17 days ago
2007
Springer
In order to cope with the expected size of the Semantic Web (SW) in the coming years, we need to benchmark existing SW tools (e.g., query language interpreters) in a credible manne...
209
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
152
click to vote
ICDM
2005
IEEE
16 years 1 days ago
2005
IEEE
Traditional data mining applications consider the problem of mining a single relation between two attributes. For example, in a scientific bibliography database, authors are rela...