162 search results - page 25 / 33 » Foundations of a Generic Framework for Distributed Applicati... |
LOGCOM
2010
13 years 6 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
CSI
2007
13 years 7 months ago
2007
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...
INTERNET
2008
13 years 7 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
AGENTS
2000
Springer
14 years 1 days ago
2000
Springer
Numerous agencies and agent systems are being developed or portrayed as vehicles to deliver novel types of e-commerce services to users. However service agents in one agency are p...