2152 search results - page 208 / 431 » On Automating the Calculus of Relations |
194
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
158
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
183
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
154
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
165
click to vote
IRI
2003
IEEE
15 years 11 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...