DE eng

Search in the Catalogues and Directories

Hits 1 – 14 of 14

1
SCEL: a Language for Autonomic Computing ⋆
In: http://rap.dsi.unifi.it/scel/pdf/SCEL-TR.pdf (2013)
BASE
Show details
2
Linguistic abstractions for programming and policing autonomic computing systems,” Univ.
In: http://cse.lab.imtlucca.it/%7Etiezzi/papers/MPT_atc2013.pdf (2013)
BASE
Show details
3
From flow logic to static type systems for coordination languages
In: http://people.cs.aau.dk/~rrh/pubs/coordination08.pdf (2008)
BASE
Show details
4
From flow logic to static type systems for coordination languages
In: http://wwwusers.di.uniroma1.it/~gorla/papers/DGHNNPP-COORD08.pdf (2008)
BASE
Show details
5
Basic Observables for a Calculus for Global Computing
In: http://wwwusers.di.uniroma1.it/~gorla/papers/DGP-IC07.pdf (2007)
BASE
Show details
6
Basic Observables for a Calculus for Global Computing
In: http://wwwusers.di.uniroma1.it/~gorla/papers/DGP-TR0704.pdf (2004)
BASE
Show details
7
An Infrastructure Language for Open Nets
In: http://mikado.di.fc.ul.pt/repository/bettini.loreti.pugliese_Infrastructure-language-open-nets.pdf (2002)
BASE
Show details
8
On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data
In: http://cse.lab.imtlucca.it/%7Etiezzi/papers/MMPT_healthinf.pdf
BASE
Show details
9
Divergence in Testing and Readiness Semantics
In: http://music.dsi.unifi.it/papers/safemust.ps.gz
BASE
Show details
10
Journal of Logic and Algebraic Programming, 78:665 – 689. c○Elsevier, 2009. Dynamic management of capabilities in a network aware coordination language ✩
In: http://wwwusers.di.uniroma1.it/~gorla/papers/GP-JLAP09.pdf
BASE
Show details
11
An Infrastructure Language for Open Nets
In: http://music.dsi.unifi.it/papers/SAC02-open-nets-DRAFT.ps.gz
BASE
Show details
12
An Infrastructure Language for Open Nets
In: http://lia.deis.unibo.it/confs/sac02/pdf/21.pdf
BASE
Show details
13
An Infrastructure Language for Open Nets
In: http://music.dsi.unifi.it/papers/SAC02-open-nets.ps.gz
BASE
Show details
14
Specifying and Analysing SOC Applications with COWS ⋆ – Dedicated to Ugo Montanari on the occasion of his 65th birthday –
In: http://rap.dsi.unifi.it/cows/papers/cows_ugo.pdf
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
14
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern