2911 search results - page 360 / 583 » A Logic of Graph Constraints |
175
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
152
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
168
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
171
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
175
click to vote
RISE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...