A Syntactic Approach to Foundational Proof-Carrying Code

By Hamid Nadeem   Shao Zhong   Trifonov Valery   Monnier Stefan   Ni Zhaozhong  

Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. : 191-229

Springer Publishing Company

Access to resources Recommend Favorite

Accounting for networks: the consolidated network approach

By Laine Teemu   Paranko Jari   Lahikainen Tommi   Seppanen Marko   Suomala Petri  

International Journal of Networking and Virtual Organisations, Vol. 3, Iss. 3, 2006-09 ,pp. : 245-257

Inderscience Publishers

Access to resources Recommend Favorite

A dual approach to understanding information networks

By Assimakopoulos Dimitris   Macdonald Stuart  

International Journal of Networking and Virtual Organisations, Vol. 1, Iss. 1, 2003-07 ,pp. : 1-16

Inderscience Publishers

Access to resources Recommend Favorite

Design of Reliable IP/GMPLS Networks: An Integrated Approach

By Mobiot Florent   Sansò Brunilde   Girard André  

Journal of Network and Systems Management, Vol. 13, Iss. 1, 2005-03 ,pp. : 77-97

Springer Publishing Company

Access to resources Recommend Favorite

AGENT-BASED APPROACH TO THE DESIGN OF RBF NETWORKS

By Czarnowski Ireneusz   Jędrzejowicz Piotr  

Cybernetics and Systems, Vol. 44, Iss. 2-3, 2013-03 ,pp. : 155-172

Taylor & Francis Ltd

Access to resources Recommend Favorite