1209 search results - page 173 / 242 » Universal Algebra and Computer Science |
100
click to vote
NIXDORF
1992
15 years 6 months ago
1992
We present some quantitative performance measurements for the computing power of Programmable Active Memories (PAM), as introduced by [2]. Based on Field Programmable Gate Array (...
128
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
117
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
As the science of multi-agent systems matures, many developers are looking to deploy mission critical applications on distributed multi-agent systems (DMAS). Due to their distribu...
124
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 ...
112
click to vote
IJCAI
2007
15 years 3 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...