512 search results - page 32 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
CCGRID
2002
IEEE
15 years 2 months ago
2002
IEEE
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
SIES
2007
IEEE
15 years 4 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...