1532 search results - page 114 / 307 » An Algebraic Process Calculus |
241
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
114
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
153
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
115
click to vote
DLOG
2010
15 years 2 months ago
2010
We develop a query algebra that supports efficient assertion retrieval--a natural extension of instance retrieval. The algebra is based on previously developed techniques for index...
125
click to vote
CISC
2009
Springer
15 years 2 months ago
2009
Springer
In [10], Buchmann, Pyshkin and Weinmann have described two families of Feistel and SPN block ciphers called Flurry and Curry respectively. These two families of ciphers are fully p...