Search results for "ARCHITECTURE"

showing 10 items of 3706 documents

Improvement of a Service Level Negotiation Protocol using Formal Verification

2013

International audience; The goal of the pervasive connectivity is to enable mobile users to be permanently connected to the Internet. Mobile users are often connected to wireless networks and consuming services that require quality of service guarantees. Accessing services using wireless technologies may make the service delivery vulnerable to security attacks because of the open medium of these technologies. In this context, we need to guarantee both quality of service and security for mobile users communications. In this paper, we present a protocol for service level negotiation which covers both quality of service and security and assigns a profile to each user in order to optimize and a…

Service delivery frameworkComputer science[ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI]Service Level02 engineering and technologyNegotiation protocolComputer securitycomputer.software_genre[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]0202 electrical engineering electronic engineering information engineeringProtocol (object-oriented programming)Formal verificationPROMELAcomputer.programming_language060201 languages & linguistics[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]business.industryWireless networkQuality of service06 humanities and the artsFormal verificationSecurity servicePromelaSPINService level0602 languages and literature020201 artificial intelligence & image processingThe InternetMobile telephonyFSM modelbusinesscomputerComputer network
researchProduct

Trust management in tactical coalition software defined networks

2018

This paper reports from ongoing efforts related to trust management in tactical Software Defined Networks (SDN) when used with mobile nodes in a coalition operation. We analyze the problem space and suggests a set of security and contructional requirements, as well as an analysis on how existing technology may contribute to a solution. The proposed architecture serves as a guide for current and future experimentation on trust management and protection in SDN. The paper also reports from experimental investigations into the utility of these technology elements for the present purpose.

Set (abstract data type)AuthenticationComputer scienceTrust management (information system)ArchitectureSoftware-defined networkingComputer securitycomputer.software_genrecomputerProblem space2018 International Conference on Military Communications and Information Systems (ICMCIS)
researchProduct

Forbidden Factors and Fragment Assembly

2002

In this paper we approach the fragment assembly problem by using the notion of minimal forbidden factors introduced in previous paper. Denoting by M(w) the set of minimal forbidden factors of a word w, we first focus on the evaluation of the size of elements in M(w) and on designing of an algorithm to recover the word w from M(w). Actually we prove that for a word w randomly generated by a memoryless source with identical symbol probabilities, the maximal length m(w) of words in M(w) is logarithmic and that the reconstruction algorithm runs in linear time. These results have an interesting application to the fragment assembly problem, i.e. reconstruct a word w from a given set I of substrin…

Set (abstract data type)CombinatoricsLogarithmFragment (logic)Reconstruction algorithmFocus (optics)AlgorithmTime complexitySubstringWord (computer architecture)Mathematics
researchProduct

Words and Patterns

2002

In this paper some new ideas, problems and results on patterns are proposed. In particular, motivated by questions concerning avoidability, we first study the set of binary patterns that can occur in one infinite binary word, comparing it with the set of factors of the word. This suggests a classification of infinite words in terms of the "difference" between the set of its patterns and the set of its factors. The fact that each factor in an infinite word can give rise to several distinct patterns leads to study the set of patterns of a single finite word. This set, endowed with a natural order relation, defines a poset: we investigate the relationships between the structure of such a poset…

Set (abstract data type)Discrete mathematicsStructure (mathematical logic)Regular languageRelation (database)Binary numberComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Natural orderPartially ordered setComputer Science::Formal Languages and Automata TheoryWord (computer architecture)Mathematics
researchProduct

JASP: a program to estimate discovery and exclusion limits in prospective studies of searches

1997

Abstract This program computes the discovery and exclusion limits that can be set in prospective studies of new experiments in the search for new phenomena. It properly takes into account the different outcomes that the experiment can obtain including the possible signal and background fluctuations. The procedure gives in general more conservative limits than those obtained assuming that the experiment will obtain a number of events equal to the expected mean. The difference may be essential in those cases where only one experiment is foreseen to be carried out.

Set (abstract data type)Hardware and ArchitectureSIGNAL (programming language)EconometricsGeneral Physics and AstronomyAlgorithmMathematicsComputer Physics Communications
researchProduct

Yield and profitability of modified spanish bush and Y-trellis training systems for peach

2015

Peach trees trained to modified Spanish bush (MSB) and Y-trellis (Y) were evaluated and compared in the Mediterranean settings of Southern Italy. The observations included two peach (Rich May and Summer Rich) and two nectarine (Big Bang and Nectaross) cultivars. In the MSB system, trees were spaced at 4.5 x 2.5 m (888 trees/ha), whereas in the Y system, trees were spaced at 5.5 x 2 m (909 trees/ha). Costs at planting, yield per tree, fruit size grade, unit price of sold peaches for each size grade, amount and cost of materials and labor for cultural management, and grower's profit were quantified throughout all six years from planting and at full crop (year 4-6). Fixed costs of the MSB syst…

Settore AGR/03 - Arboricoltura Generale E Coltivazioni ArboreeAgroforestryFixed costs fruit size management labor pay-back period profit Prunus persica unit priceYield (finance)Profitability indexTrellis (architecture)Agricultural engineeringHorticultureMathematics
researchProduct

Precision Management of Fruit Trees

2022

The aim of the Special Issue “Precision Management of Fruit Trees” was to collect new insights to support the adoption of advanced, efficient, and sustainable management techniques in the fruit production sector. Indeed, this is an opportunity offered by the technological innovations adopted using new-generation sensors and implemented through precise management operations. This Special Issue contains 11 scientific articles contributing to our knowledge on the precision management of fruit trees, indicating the high activity of this sector and possibly leading to the application of new techniques/protocols to overcome global and rapidly changing environmental issues. Scalisi et al. [1], in …

Settore AGR/03 - Arboricoltura Generale E Coltivazioni ArboreeCanopy architecture olive apple LiDAR Colour Development Index nectarine table-grape soil-less cultivation systems water status pomegranatePlant ScienceHorticulture
researchProduct

Relationship between canopy architecture and fruit quality on 'Rich May' peach grafted onto 'Penta' and 'GF677' rootstocks

2006

Observations on crop efficiency and fruit quality of peach trees of ‘Rich May’ grafted onto ‘GF677’ (peach x almond) and ‘Penta’ (Prunus domestica L.) rootstocks are reported. Results were related to canopy architecture parameters, particularly to scaffold branches, shoot and leaf blade inclination angles, to the pattern of light distribution, and to the area of sunflecks projected at midday on the ground. Trees grafted onto ‘GF677’ were more vigorous, in terms of trunk cross-sectional area, summer pruning weight and leaf area. Within canopy light distribution profiles were in agreement with foliage density, with a higher light interception observed in trees grafted on ‘GF677’. Within canop…

Settore AGR/03 - Arboricoltura Generale E Coltivazioni ArboreeHorticulturePrunus persica PPFD tree vigorCanopy architecturemedia_common.quotation_subjectQuality (business)HorticultureBiologyRootstockmedia_common
researchProduct

Survival, morphological variability, and performance of Opuntia ficus-indica in a semi-arid region of India

2022

Cactus pear (Opuntia ficus-indica (L.) Mill.) can survive extreme environmental condition and is known for its fodder potential in many parts of the world. The morphological diversity of 15 introduced accessions was evaluated at Jhansi, Uttar Pradesh, India. The plants were established in 2013. Survival and nutrient status were evaluated after two years. Above-ground plant height, biomass, primary and secondary cladode numbers, primary and secondary cladode lengths and below-ground root length, weight, and surface area measurements were done six years after cladode planting. Yellow San Cono, White Roccapalumba, and Seedless Roccapalumba survived 100%. The discriminant traits according to pr…

Settore AGR/03 - Arboricoltura Generale E Coltivazioni ArboreeSoil ScienceCactus pear cladode fodder principal component analysis root architectureAgronomy and Crop Science
researchProduct

$N$ identical particles and one particle to entangle them all

2017

In quantum information W states are a central class of multipartite entangled states because of their robustness against noise and use in many quantum processes. Their generation however remains a demanding task whose difficulty increases with the number of particles. We report a simple scalable conceptual scheme where a single particle in an ancilla mode works as entanglement catalyst of W state for other $N$ separated identical particles. A crucial novel aspect of the scheme, which exploits basically spatial indistinguishability, is its universality, being applicable without essential changes to both bosons and fermions. Our proposal represents a new paradigm within experimental preparati…

Settore FIS/02 - Fisica Teorica Modelli E Metodi MatematiciQuantum opticFOS: Physical sciencesQuantum entanglement01 natural sciencesSettore FIS/03 - Fisica Della MateriaQuantum state engineeringQuantum entanglement010309 opticsplatform[PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]Quantum measurement0103 physical sciencesQuantum information architectures &ampStatistical physicsQuantum information010306 general physicsQuantumComputingMilieux_MISCELLANEOUSBosonPhysicsQuantum PhysicsFermionEntanglement productionUniversality (dynamical systems)MultipartiteQuantum Physics (quant-ph)Identical particles
researchProduct