2693 search results - page 373 / 539 » French Order Without Order |
160
click to vote
IEEESCC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
111
click to vote
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers achieve greater security. Proof of possession of authorisation values known as authdata is require...
154
click to vote
IFM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
175
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
186
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper we present GDR, a Guided Data Repair framework that incorporates user feedback in the cleaning process to enhance and accelerate existing automatic repair techniques...