Filtrer vos résultats
- 37
- 5
- 21
- 10
- 6
- 4
- 1
- 5
- 34
- 8
- 3
- 1
- 4
- 6
- 15
- 2
- 8
- 2
- 1
- 42
- 41
- 39
- 7
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 42
- 16
- 12
- 9
- 8
- 8
- 7
- 7
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
42 résultats
|
|
|
triés par
|
|
|
Dynamic Choreographies: Theory And ImplementationLogical Methods in Computer Science, 2017, 13, pp.1 - 57. ⟨10.23638/LMCS-13(2:1)2017⟩
Article dans une revue
hal-01631394v1
|
||
|
|
Automatic deployment of component-based applicationsScience of Computer Programming, 2015, ⟨10.1016/j.scico.2015.07.006⟩
Article dans une revue
hal-01233485v1
|
||
|
|
Feature Selection for SUNNY: a Study on the Algorithm Selection LibraryICTAI, Nov 2015, Vietri sul Mare, Italy
Communication dans un congrès
hal-01227600v1
|
||
|
|
On the Complexity of Reconfiguration in Systems with Legacy Components[Technical Report] INRIA Sophia Antipolis. 2015
Rapport
hal-01160369v1
|
||
|
|
On the Integration of Automatic Deployment into the ABS Modeling Language[Technical Report] Inria Sophia Antipolis. 2015
Rapport
hal-01170926v2
|
||
|
|
Why CP Portfolio Solvers Are (under)Utilized? Issues and ChallengesLOPSTR, Jul 2015, Siena, Italy
Communication dans un congrès
hal-01227598v1
|
||
|
|
Component Reconfiguration in the Presence of ConflictsICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
Communication dans un congrès
hal-00909336v1
|
||
|
|
Automatic Application Deployment in the Cloud: from Practice to Theory and BackProceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.1--16, ⟨10.4230/LIPIcs.CONCUR.2015.1⟩
Communication dans un congrès
hal-01233426v1
|
||
|
|
Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project2013
Rapport
hal-00816468v1
|
||
|
|
Parallelizing Constraint Solvers for Hard RCPSP Instances[Technical Report] Inria Sophia Antipolis. 2016
Rapport
hal-01295061v1
|
||
|
|
Optimal and Automated Deployment for MicroservicesFASE 2019 - 22nd International Conference on Held as Part of the European, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩
Communication dans un congrès
hal-02387483v1
|
||
|
|
NightSplitter: a scheduling tool to optimize (sub)group activitiesCP 2017 - 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. pp.370-386, ⟨10.1007/978-3-319-66158-2_24⟩
Communication dans un congrès
hal-01648192v1
|
||
|
|
Guess Who's Coming: Runtime Inclusion of Participants in ChoreographiesThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, ⟨10.1007/978-3-030-31175-9_8⟩
Chapitre d'ouvrage
hal-02376243v1
|
||
|
|
SUNNY-CP: a Portfolio Solver for Constraint Programming[Technical Report] Inria Sophia Antipolis. 2016
Rapport
hal-01336407v1
|
||
|
|
SUNNY-CP : a Sequential CP Portfolio SolverSAC, Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695741⟩
Communication dans un congrès
hal-01227589v1
|
||
|
|
A Multicore Tool for Constraint SolvingIJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238
Communication dans un congrès
hal-01227592v1
|
||
|
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Communication dans un congrès
hal-01227612v1
|
||
|
|
Programming Adaptive Microservice Applications: an AIOCJ TutorialSimon Gay; António Ravara. Behavioural Types: from Theory to Tools, River Publishers, 2017
Chapitre d'ouvrage
hal-01631422v1
|
||
Interface-Based Service Composition with AggregationFirst European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, 2012, Bertinoro, Italy. pp.48--63, ⟨10.1007/978-3-642-33427-6_4⟩
Communication dans un congrès
hal-00909379v1
|
|||
|
|
Self-Reconfiguring MicroservicesErika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Theory and Practice of Formal Methods, 9660, Springer, pp.194-210, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_14⟩
Chapitre d'ouvrage
hal-01336688v1
|
||
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle RoutingInternational Journal of Interactive Multimedia and Artificial Intelligence, 2013, 2 (4), pp.67-75
Article dans une revue
hal-00909296v1
|
|||
|
|
The expressive power of CHR with prioritiesInformation and Computation, 2013, 228-229, pp.62-82. ⟨10.1016/j.ic.2013.05.001⟩
Article dans une revue
hal-00909295v1
|
||
|
|
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction ProblemsInternational Journal of Interactive Multimedia and Artificial Intelligence, 2016
Article dans une revue
hal-01336684v1
|
||
Service integration via target-transparent mediationSOCA - 5th conference on service-oriented computing and applications - 2012, 2012, Taipei, Taiwan. pp.1 - 5, ⟨10.1109/SOCA.2012.6449432⟩
Communication dans un congrès
hal-00909380v1
|
|||
|
|
An Empirical Evaluation of Portfolios Approaches for Solving CSPsCPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, 2013, Yorktown Heights, United States. pp.316-324, ⟨10.1007/978-3-642-38171-3_21⟩
Communication dans un congrès
hal-00909297v1
|
||
|
|
On the modeling of optimal and automatized cloud application deploymentJournal of Logical and Algebraic Methods in Programming, 2019, 107, pp.108-135. ⟨10.1016/j.jlamp.2019.06.001⟩
Article dans une revue
hal-02401380v1
|
||
|
|
A Planning Tool Supporting the Deployment of Cloud Applications2013
Autre publication scientifique
hal-00843925v1
|
||
|
|
Aeolus: a Component Model for the CloudInformation and Computation, 2014, pp.100-121
Article dans une revue
hal-01091062v1
|
||
|
|
SUNNY with Algorithm ConfigurationOASC 2017 - Open Algorithm Selection Challenge, Sep 2017, Brussels, Belgium. pp.12-14
Communication dans un congrès
hal-01674691v1
|
||
|
|
An Efficient Management of Correlation Sets with Broadcast13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Communication dans un congrès
hal-01582988v1
|
- 1
- 2