2265 search results - page 168 / 453 » Recovering Exchanged Data |
144
click to vote
DPD
2002
15 years 3 months ago
2002
Certifying the execution of a service is a critical issue for an e-government infrastructure. In fact being able to document that an e-service was actually carried out, given the l...
146
click to vote
CLEIEJ
1999
15 years 3 months ago
1999
Collaborative applications provide a group of users with the facility to communicate and share data in a coordinate way. This paper shows an object-based platform for the developm...
134
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
114
Voted
GVD
2009
15 years 1 months ago
2009
Database management systems comprise various algorithms for efficiently retrieving and managing data. Typically, algorithm efficiency or performance is correlated with execution s...
133
click to vote
CPP
2011
14 years 3 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...