1307 search results - page 137 / 262 » Follow the intellectual property |
126
Voted
CONCUR
2007
Springer
15 years 7 months 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...
141
click to vote
CSR
2007
Springer
15 years 7 months 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...
106
click to vote
ODBIS
2007
Springer
15 years 7 months 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...
149
click to vote
CSFW
2005
IEEE
15 years 7 months 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...
103
click to vote
ICDM
2005
IEEE
15 years 7 months 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...