1458 search results - page 204 / 292 » The sequentially realizable functionals |
151
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
137
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
129
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
137
click to vote
FUN
2010
Springer
15 years 9 months ago
2010
Springer
The Christmas gift exchange is a popular party game played around Christmas. Each participant brings a Christmas present to the party, and a random ordering of the participants, ac...
138
click to vote
FTDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...