Multilingue
à â æ ç è é ê ë î ï ô ù û œ
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Publications scientifiques

▷
Un framework basé bigraphes pour la conception et l'analyse des systèmes sensibles au contexte
...Today, modern technologies have become a part of our daily life. Whether to be informed, entertained, or even to communicate with friends, ubiquitous computing offers numerous opportunities. For this to become reality, computer systems must be able to observe the environment and to adapt their behaviour according to the users expectations and needs. This is called context-awareness. Indeed, the literature shows that context-awareness is the focal point of ubiquitous computing. However, due to heterogeneity and dynamicity of context information, taking it into account requires establishing a model to represent these information at a high-level of abstraction.In this thesis, we propose a model called BigCAS (Bigraphical Context-Aware System) that supports the design of context-aware systems. To achieve this goal, BigCAS is based on formal specifications, derived from bigraphical reactive systems, for modelling structural and behavioural aspects of context aware systems. It provides a clear separation between the context-aware part and the context-unaware part of these systems. Each part is modelled separately as a distinct bigraph, where the composition of these bigraphs models the general structure of the system, particularly, its components interactions and their side effects. Moreover, BigCAS considers not only structural aspects, but also the different reconfigurations involved in the behaviour of context aware systems.We also propose an extension to BigCAS, named BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), that provides formal verification of safety and liveness properties of context aware systems. Furthermore, BigCAS-FA provides contract-based strategies to guide the dynamic reconfiguration according to the context.To validate our proposals, we develop a prototype, BigCAS-Tool (Bigraphical Context Aware System - Tool), devoted to the specification and verification of context-aware systems....
Europe / politique tarifaire / activité agricole - core.ac.uk - PDF: tel.archives-ouvertes.fr

Synonymes et termes associés français

spécifié, mesurable, acceptable, réaliste, situé dans le temps

•

SMART

Traductions en contexte français - anglais

Notre projet porte le nom de “Smart Cities Through

Smart Lighting

”.

The project was called “Smart Cities Through Smart Lighting”.

général - CCMatrix (Wikipedia + CommonCrawl)
Catégories présentées : LED Essentials (nouveau), Commercial Lighting, Household Lighting, LED & Green Lighting, Smart Lighting & Solutions, Testing & Certification, Trade Service & Publication

Major Exhibit Categories: Commercial Lighting, Green Lighting, Household Lighting, LED Lighting, Smart Lighting & Solutions, Testing & Certification and Trade Service & Publication

général - CCMatrix (Wikipedia + CommonCrawl)
1 – DxO Smart Lighting : exposition et dynamique

1 – DxO Smart Lighting: exposure and dynamic range

général - CCMatrix (Wikipedia + CommonCrawl)
Système OPPLE Smart Lighting - Simple et intelligent

OPPLE Smart Lighting system - Simple and Intelligent

général - CCMatrix (Wikipedia + CommonCrawl)
Président de la Smart Lighting Alliance : Marc ROZENBLAT

President of the Smart Lighting Alliance: Marc ROZENBLAT

général - CCMatrix (Wikipedia + CommonCrawl)
De quoi se compose le système Smart Lighting de TriLED ?

What does the TriLED Smart Lighting system consists of?

général - CCMatrix (Wikipedia + CommonCrawl)
Ici, j’ai augmenté le DxO Smart lighting de 25 à 28.

Here I increased the DxO Smart lighting from 25 to 28.

général - CCMatrix (Wikipedia + CommonCrawl)
Vinci Energies remporte un important projet de « smart lighting » en Australie

Vinci wins big smart lighting project in Australia

général - CCMatrix (Wikipedia + CommonCrawl)
Vinci Energies remporte un important projet de « smart lighting » en Australie

VINCI Energies wins smart lighting project in Australia

général - CCMatrix (Wikipedia + CommonCrawl)
Vinci Energies remporte un important projet de « smart lighting » en Australie

VINCI Energies wins smart lighting project in Australia

général - CCMatrix (Wikipedia + CommonCrawl)
Smart Lighting gagne en popularité chaque année et pour le bon

Smart lighting is gaining popularity year after year and for the right reasons.

général - CCMatrix (Wikipedia + CommonCrawl)
VINCI Energies remporte un important projet de « smart lighting » en Australie

Vinci wins big smart lighting project in Australia

général - CCMatrix (Wikipedia + CommonCrawl)
Vinci Energies remporte un important projet de « smart lighting » en Australie

Vinci wins big smart lighting project in Australia

général - CCMatrix (Wikipedia + CommonCrawl)
Correction DxO Smart Lighting en mode Uniforme / Correction avec Mesure Spot

DxO Smart Lighting correction in Uniform mode / Correction with Spot Processing.

général - CCMatrix (Wikipedia + CommonCrawl)
VINCI Energies remporte un important projet de « smart lighting » en Australie

VINCI Energies wins smart lighting project in Australia

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод