4385 search results - page 399 / 877 » Abstraction for Concurrent Objects |
195
click to vote
COORDINATION
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
168
click to vote
DEON
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
181
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
116
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper describes GAPP – a framework for the execution of distributed genetic algorithms (GAs) using the H2O metacomputing environment. GAs may be a viable solution ...
194
click to vote
MEMOCODE
2003
IEEE
16 years 2 days 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...