307 search results - page 46 / 62 » On Hierarchical Reasoning in Combinations of Theories |
86
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
111
Voted
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
113
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
107
click to vote
CIKM
2001
Springer
15 years 6 months ago
2001
Springer
Data fusion on the Web refers to the merging, into a unified single list, of the ranked document lists, which are retrieved in response to a user query by more than one Web search...
102
click to vote
IMECS
2007
15 years 3 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...