• Aucun résultat trouvé

[PDF] Top 20 Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study

Has 10000 "Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study" found on our website. Below are the top 20 most common "Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study".

Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study

Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study

... These cardinality-based expressions are implemented in the Saloon framework, which relies on an off-the-shelf CSP solver to automate the verification of configurations from fms that ... Voir le document complet

26

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

... call the verification of this quality the conformance checking ...interested in the conformance checking of Product Line Models ...(PLMs). The problem in the ... Voir le document complet

11

Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines

Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines

... enabling the derivation of product variants by assem- bling reusable assets. In this context, domain experts widely use Feature Models as the most accepted formalism for capturing ... Voir le document complet

11

Building a Virtual Globus Grid in a Reconfigurable Environment - A case study: Grid5000

Building a Virtual Globus Grid in a Reconfigurable Environment - A case study: Grid5000

... and the infrastructure of GRID5000 are designed having as main cri- terion deep reconfigurability ...capabilities. The design envisages running different operating systems, ...as the use of differ- ... Voir le document complet

25

Optimizing Resource allocation while handling SLA violations in Cloud Computing platforms

Optimizing Resource allocation while handling SLA violations in Cloud Computing platforms

... Moreover, the structure of Algorithm 1, in which decisions are depends only on the content of the current bin, and its parallel property as proven in Lemma ...easily in a ... Voir le document complet

10

Service-based applications provisioning in the cloud

Service-based applications provisioning in the cloud

... Moreover, the slicing facilitates the deployment of the applications and allows us to susbstitue the initial application components orchestrations by services choreographies when executing ... Voir le document complet

148

Supporting management and orchestration of cloud resources in a multi-cloud environment

Supporting management and orchestration of cloud resources in a multi-cloud environment

... model. The proposed ontologies include the most important and relevant concepts needed for the detection and recommendation ...Also, in case of any anti-pattern detec- tion, they ... Voir le document complet

200

Cloud computing models

Cloud computing models

... IaaS service delivery model is likely to keep losing market share to PaaS and SaaS models because companies realize more value and resource-savings from software and pl[r] ... Voir le document complet

80

Distributed data hiding in multi-cloud storage environment

Distributed data hiding in multi-cloud storage environment

... Discussion In this paper, we propose a steganographic scheme for secret distribution resistant to ...distributing the secret in multi-cloud storage environment, by hiding the ... Voir le document complet

16

Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study

Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study

... Meta- models in the design cycle gives the design models re-usability, variability, and commonality, and permits the configuration of each specific application to be se- lected ... Voir le document complet

13

Acoustic-phonetic constraints in continuous speech recognition: a case study using the digit vocabulary.

Acoustic-phonetic constraints in continuous speech recognition: a case study using the digit vocabulary.

... Lexical information is another type of speech knowledge which can be used to constrain the recognition problem. In the English language, many patterns exist in any subse[r] ... Voir le document complet

159

Cost optimization of business processes based on time constraints on cloud resources

Cost optimization of business processes based on time constraints on cloud resources

... More precisely, our objectives are: • to offer a modeling graphical tool to model/design graphically time-aware BPs deployed in cloud resources that are proposed under different pricing [r] ... Voir le document complet

187

Cost Models for View Materialization in the Cloud

Cost Models for View Materialization in the Cloud

... ABSTRACT In classical databases, query performance is casually achieved through physical data structures such as caches, indexes and materialized ...views. In this context, many cost models help ... Voir le document complet

9

Criteria for the verification of feature models

Criteria for the verification of feature models

... of the most used and accepted formalism to model product line systems, it is not the only one language and it cannot be used in all different views of a ...system. In this paper we explore ... Voir le document complet

17

On Breaking The Curse of Dimensionality in Reverse Engineering Feature Models

On Breaking The Curse of Dimensionality in Reverse Engineering Feature Models

... Breaking The Curse of Dimensionality in Reverse Engineering Feature Models Jean-Marc Davril and Patrick Heymans 1 and Guillaume B´ecan and Mathieu Acher 2 ...Abstract. Feature ... Voir le document complet

5

Transforming Very Large Models in the Cloud: a Research Roadmap

Transforming Very Large Models in the Cloud: a Research Roadmap

... A cloud virtual model that abstracts the composition of several distributed partial ...between cloud nodes. Distributing model elements. The criteria used to define which elements are stored ... Voir le document complet

11

'Timid encounters': a case study in the use of proximity-based technologies.

'Timid encounters': a case study in the use of proximity-based technologies.

... turning the game into a ‘proximity game’ (Soderlund, ...within the same range, players may ‘appear’ on each other’s screen: a window pops up on the screen with the name of the other ... Voir le document complet

11

Process-based environmental models tree transpiration: A case study of rubber tree (Hevea brasiliensis)

Process-based environmental models tree transpiration: A case study of rubber tree (Hevea brasiliensis)

... investigated in several plant species especially the commercial trees such as the rubber ...droughts, the modeling for prediction of E Tree is also interest. The aim of this ... Voir le document complet

13

The environment for managing invisible handicap in France: A case study of dyslexic workers’ idiosyncratic skills

The environment for managing invisible handicap in France: A case study of dyslexic workers’ idiosyncratic skills

... to the INSERM, France’s biggest health research institute, dyslexia is defined as: “poor association between graphemes (written signs) and phonemes (sounds), as well as an inability to quickly grasp a word ... Voir le document complet

22

WebFML: Synthesizing Feature Models Everywhere

WebFML: Synthesizing Feature Models Everywhere

... an environment with an interac- tive support for synthesizing feature models from various kinds of artefacts ...key feature of WebFML is to address both configuration and ontological aspects ... Voir le document complet

6

Show all 10000 documents...