Mobile Membranes - PDFSEARCH.IO - Document Search Engine

Mobile Membranes
Results: 13

#	Item
1	Microsoft Word - IBSNew_Trends_in_iTECH-final Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:11 Models of computation Robot Membrane computing Natural computing P system Computing Autonomous robot Engineering Academia Mobile Membranes Outline of robotics
2	Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 04:44:28 Π-calculus Process calculus Mathematics Congruence Calculus Type system Actor model and process calculi Mobile Membranes Process calculi Applied mathematics Computer science
3	Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:26:43 Mathematics Computer science Ambient calculus Π-calculus Bisimulation Lambda calculus Mobile Membranes Theoretical computer science Process calculi Applied mathematics
4	Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:57:37 Ambient calculus Mathematics Computer science Π-calculus Lambda calculus Mobile Membranes Process calculi Theoretical computer science Applied mathematics
5	Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:02:24 Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus
6	A Calculus of Bounded Capacities? F. Barbanera1 , M. Bugliesi2 , M. Dezani-Ciancaglini3 , and V. Sassone4 1 2 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:50:58 Mobile Membranes Process calculi Ambient calculus Calculus
7	Secrecy in Untrusted Networks? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2 , and Vladimiro Sassone 3 Abstract. We investigate the protection of migrating agents against the untrusted sites they traverse. The res Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:51 Process calculi Entailment Mobile Membranes Logic Deduction Ambient calculus
8	Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:01 Applied mathematics Computer science Mathematics Π-calculus Lambda calculus Calculus XTR Mobile Membranes Process calculi Theoretical computer science Ambient calculus
9	Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-08 08:30:15 Valuation Mathematics Mobile Membranes Π-calculus Process calculi Ambient calculus Calculus
10	Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:39 Applied mathematics Computer science Models of computation Mathematics Π-calculus Lambda calculus Model theory Mobile Membranes Process calculi Theoretical computer science Ambient calculus