407 search results - page 41 / 82 » Malleable Proof Systems and Applications |
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
EJIS
2007
13 years 7 months ago
2007
The adoption of information systems in healthcare is no less significant than in any other commercial or caring organisation. The literature on IS adoption in healthcare, makes it...
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
In an attempt to substitute NOR flash with NAND flash and provide more memory to applications, embedded systems have to use demand paging. However, demand paging drastically degra...
EEE
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we propose a new efficient and secure micro-payment scheme, named e-coupons, which can provide the users the facility of delegating their spending capability to oth...
IANDC
2006
13 years 7 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...