2482 search results - page 297 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
155
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
133
click to vote
JOT
2007
15 years 2 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
121
Voted
IJCM
2002
15 years 2 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
150
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
118
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...