314 search results - page 17 / 63 » A Calculus and logic of resources and processes |
263
click to vote
POPL
2005
ACM
16 years 6 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...
127
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
159
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
178
click to vote
DEBS
2010
ACM
15 years 9 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...