3571 search results - page 254 / 715 » Cohen and Set Theory |
159
click to vote
AIMS
2007
Springer
16 years 27 days ago
2007
Springer
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
168
click to vote
APN
2007
Springer
16 years 27 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
174
click to vote
CONCUR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
148
click to vote
CONTEXT
2007
Springer
16 years 27 days ago
2007
Springer
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
147
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....