Filtrer vos résultats
- 39
- 1
- 16
- 13
- 6
- 3
- 1
- 1
- 12
- 1
- 39
- 1
- 1
- 2
- 1
- 3
- 2
- 3
- 4
- 11
- 7
- 4
- 1
- 1
- 40
- 31
- 14
- 14
- 7
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 40
- 17
- 10
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
40 résultats
|
|
|
triés par
|
|
|
Feed me, Feed me: An Exemplar for Engineering Adaptive Software11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, May 2016, Austin, United States. ⟨10.1145/2897053.2897071⟩
Communication dans un congrès
hal-01285290v1
|
||
|
|
Won't Take No for an Answer: Resource-driven Requirements Adaptation14th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2019, Montréal, Canada
Communication dans un congrès
hal-02104304v1
|
||
|
|
Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems[Research Report] 2010
Rapport
inria-00512440v1
|
||
|
|
Final CONNECT Architecture[Research Report] 2012
Rapport
hal-00796387v1
|
||
|
|
Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment[Research Report] 2012
Rapport
hal-00805618v1
|
||
|
|
Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things[Research Report] The Open University. 2016
Rapport
hal-01366261v1
|
||
|
|
Automatic Service Categorisation through Machine Learning in Emergent MiddlewareFMCO 2011 - 10th International Symposium on Formal Methods for Components and Objects, Oct 2011, Turin, Italy. pp.133-149, ⟨10.1007/978-3-642-35887-6_7⟩
Communication dans un congrès
hal-00718655v1
|
||
|
|
Dynamic connector synthesis: revised prototype implementation[Research Report] 2012, pp.81
Rapport
hal-00695592v1
|
||
|
|
Requirements EngineeringHandbook of Software Engineering, 2018
Chapitre d'ouvrage
hal-01758502v1
|
||
|
|
Dynamic Synthesis of Mediators in Ubiquitous EnvironmentsUbiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English. ⟨NNT : ⟩
Thèse
tel-00849402v2
|
||
|
|
Achieving Interoperability through Semantics-based Technologies: The Instant Messaging CaseISWC 2012 - 11th International Semantic Web Conference, Nov 2012, Boston, United States
Communication dans un congrès
hal-00721280v1
|
||
|
|
Experiment scenarios, prototypes and report - Iteration 2[Research Report] 2012, pp.117
Rapport
hal-00695639v1
|
||
|
|
Project Final Report Final Publishable Summary Report[Research Report] 2012
Rapport
hal-00805639v1
|
||
|
|
The Role of Models@run.time in Supporting On-the-fly InteroperabilityComputing, 2012
Article dans une revue
hal-00733338v1
|
||
|
|
Modeling of application- and middleware-layer interaction protocols[Technical Report] 2010
Rapport
inria-00464661v1
|
||
|
|
Automated Synthesis of Mediators to Support Component InteroperabilityIEEE Transactions on Software Engineering, 2015, pp.22
Article dans une revue
hal-01076176v1
|
||
|
|
The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.410-430, ⟨10.1007/978-3-642-25821-3_21⟩
Communication dans un congrès
inria-00629059v1
|
||
|
|
Machine Learning for Emergent MiddlewareTrustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Aug 2012, Montpellier, France. pp.16-29, ⟨10.1007/978-3-642-45260-4_2⟩
Communication dans un congrès
hal-00722051v1
|
||
|
|
The iBICOOP middleware: Enablers and Services for Emerging Pervasive Computing EnvironmentsPerWare 2009 IEEE Middleware Support for Pervasive Computing Workshop, Mar 2009, Galveston, TX, United States. pp.1-6, ⟨10.1109/PERCOM.2009.4912851⟩
Communication dans un congrès
inria-00422412v1
|
||
|
|
A Novel Architecture for Mobile Distributed Trie Hashing SystemSoftware Engineering and Data Engineering, Jun 2008, Los Angeles, California, United States
Communication dans un congrès
inria-00424894v1
|
||
|
|
Mechanisms for Leveraging Models at Runtime in Self-adaptive SoftwareNelly Bencomo; Robert France; Betty H. Cheng; Uwe Assmann. Models@run.time, 8378, Springer, pp.19-46, 2014, Lecture Notes in Computer Science, 978-3-319-08914-0. ⟨10.1007/978-3-319-08915-7_2⟩
Chapitre d'ouvrage
hal-01018734v1
|
||
|
|
OASIS: Weakening User Obligations for Security-critical Systems28th IEEE International Requirements Engineering Conference, Aug 2020, Zurich, Switzerland
Communication dans un congrès
hal-02896256v1
|
||
|
|
Inferring Affordances Using Learning TechniquesInternational Workshop on Eternal Systems (EternalS'11), May 2011, Budapest, Hungary. ⟨10.1007/978-3-642-28033-7_7⟩
Communication dans un congrès
inria-00591264v1
|
||
|
|
The Many Facets of Mediation A Requirements-driven Approach for Trading-off Mediation SolutionsManaging trade-offs in adaptable software architectures, 2016
Chapitre d'ouvrage
hal-01285288v1
|
||
|
|
Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware InteroperabilityMarco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.217-255, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩
Chapitre d'ouvrage
inria-00586630v1
|
||
|
|
Automated Mediator Synthesis: Combining Behavioural and Ontological ReasoningSEFM - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain
Communication dans un congrès
hal-00838788v1
|
||
|
|
Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments[Research Report] 2013
Rapport
hal-00793920v1
|
||
|
|
Towards an architecture for runtime interoperabilityISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.206-220
Communication dans un congrès
inria-00512446v1
|
||
|
|
Layered Connectors: Revisiting the Formal Basis of Architectural Connection for Complex Distributed SystemsECSA'14 - The 8th European Conference on Software Architecture, Aug 2014, Vienna, Austria
Communication dans un congrès
hal-01015897v1
|
||
|
|
A Unifying Perspective on Protocol Mediation: Interoperability in the Future InternetJournal of Internet Services and Applications, 2015, pp.14. ⟨10.1186/s13174-015-0027-3⟩
Article dans une revue
hal-01152426v2
|
- 1
- 2