Filter your results
- 3
- 3
- 3
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
LPM: Layered Policy Management for Software-Defined Networks28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.356-363, ⟨10.1007/978-3-662-43936-4_23⟩
Conference papers
hal-01284871v1
|
||
|
|
BIDS: Bridgehead-Employed Image Distribution System for Cloud Data Centers11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.269-280, ⟨10.1007/978-3-662-44917-2_23⟩
Conference papers
hal-01403093v1
|
||
|
|
Querying Parametric Temporal Logic Properties on Embedded Systems24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.136-151, ⟨10.1007/978-3-642-34691-0_11⟩
Conference papers
hal-01482426v1
|