DCM 2005 Preliminary Version Splitting Mobility and Communication in Boxed Ambients (2008)
Pablo Garralda, Adriana Compagnoni
Stemming from our previous work on BACI, a boxed ambients calculus with communication interfaces, we define a new calculus that further enhances communication mechanisms and mobility control by...
Abstract BASS: Boxed Ambients with Safe Sessions ∗ (2008)
Pablo Garralda, Adriana Compagnoni
We define BASS, a typed boxed ambients calculus with safe sessions. Sessions offer the possibility of using the same channel to transmit information of different types in a prescribed order. A...
BOOSTING CLASSIFIERS FOR WEED SEEDS IDENTIFICATION (2007)
Pablo M. Granitto, Pablo Garralda, Pablo F. Verdes, H. Alej, Ro Ceccatto
Abstract: The identification and classification of seeds are of major technical and economical importance in the agricultural industry. To automate these activities, like in ocular inspection one...
Pablo Garralda, Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, P. Garralda, E. Bonelli, ...
an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed communication policy determining the kind of information that can be exchanged with a...
Pablo Garralda, Eduardo Bonelli, Adriana Compagnoni
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed communication policy...
Boxed Ambients with Communication Interfaces (2004)
Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, Pablo Garralda
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus allowing a liberal communication policy. Each ambient carries its local view of the topic of conversation (the type...
Boxed Ambients with Communication Interfaces (2004)
Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, Pablo Garralda
Abstract. We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus allowing a liberal communication policy. Each ambient carries its local view of the topic of conversation...