510 search results - page 58 / 102 » An Algebraic Framework for Urgency |
144
click to vote
MOVEP
2000
15 years 10 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
195
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
165
click to vote
DLT
2004
15 years 7 months ago
2004
New results on the recognizability of sets of finite graphs, hypergraphs and relational structures are presented. The general framework of this research which associates tightly a...
159
click to vote
CLASSIFICATION
2008
15 years 6 months ago
2008
Dendrograms used in data analysis are ultrametric spaces, hence objects of nonarchimedean geometry. It is known that there exist p-adic representations of dendrograms. Completed b...
171
click to vote
IJAR
2008
15 years 6 months ago
2008
This paper reviews probabilistic approaches to rough sets in granulation, approximation, and rule induction. The Shannon entropy function is used to quantitatively characterize pa...