Sciweavers

2968 search results - page 153 / 594
» Network Programming Using PLAN
Sort
View
141
Voted
JSAC
2007
125views more  JSAC 2007»
15 years 2 months ago
Network Dimensioning under Scheduled and Random Lightpath Demands in All-Optical WDM Networks
— In WDM optical networks connection requests can be classified into three different types: Permanent Lightpath Demands (PLDs), Scheduled Lightpath Demands (SLDs), and Random Li...
Maurice Gagnaire, Mohamed Koubàa, Nicolas P...
ETFA
2006
IEEE
15 years 8 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
120
Voted
IFIP
2004
Springer
15 years 8 months ago
Reasoning about Secure Interoperation Using Soft Constraints
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
Stefano Bistarelli, Simon N. Foley, Barry O'Sulliv...
118
Voted
TE
2010
68views more  TE 2010»
14 years 9 months ago
Remote Spectroscopy in the Visible Using Fibers on the Optical Internet Network
The work presented here demonstrates the feasibility of using the single-mode fibers of an optical Internet network to deliver visible light between separate laboratories as a way ...
Rafael A. S. Ribeiro, Anderson R. de Oliveira, S&e...
120
Voted
CVBIA
2005
Springer
15 years 8 months ago
Registration of PET and MR Hand Volumes Using Bayesian Networks
Abstract. A method for the non-rigid, multi-modal, registration of volumetric scans of human hands is presented. PET and MR scans are aligned by optimising the configuration of a ...
Derek R. Magee, Steven Tanner, Michael Waller, Den...