Filter your results
- 175
- 14
- 107
- 25
- 22
- 14
- 9
- 7
- 5
- 18
- 3
- 182
- 8
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 10
- 12
- 7
- 2
- 11
- 5
- 10
- 5
- 24
- 12
- 11
- 5
- 10
- 10
- 14
- 9
- 8
- 5
- 5
- 1
- 2
- 2
- 4
- 1
- 178
- 11
- 136
- 30
- 22
- 19
- 18
- 15
- 10
- 9
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 189
- 32
- 20
- 19
- 17
- 17
- 17
- 16
- 12
- 11
- 9
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
189 Results
|
Security Benefits from Software Architecture[Research Report] RR-3114, INRIA. 1997
Reports
inria-00073576v1
|
||
|
Exception handling sequential processes : design, verification and implementation[Research Report] RR-1710, INRIA. 1992
Reports
inria-00076947v1
|
||
|
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⟩
Conference papers
inria-00422412v1
|
||
|
Mobile Crowd-Sensing as a Resource for Contextualized Urban Public Policies: A Study using Three Use Cases on Noise and Soundscape MonitoringCities & Health, 2019, ⟨10.1080/23748834.2019.1617656⟩
Journal articles
hal-02127052v2
|
||
Security and TrustSFM'11 - 11 th International School on Formal Methods for the Design of Computer, Communication and Software, Jun 2011, Bertinoro, Italy. pp.393-416
Conference papers
hal-00646860v1
|
|||
|
QoS Composition and Analysis in Reconfigurable Web Services ChoreographiesInternational Conference on Web Services, IEEE, Jun 2013, Santa Clara, California, United States
Conference papers
hal-00841485v1
|
||
|
Composing Continuous Services in a CoAP-based IoTAIMS - 6th IEEE International Conference on AI & Mobile Services, Jun 2017, Honolulu, United States
Conference papers
hal-01519132v1
|
||
|
Set-based Bi-level Optimisation for QoS-aware Service Composition in Ubiquitous EnvironmentsProceedings of the 22nd IEEE International Conference on Web Services (ICWS), Jun 2015, New York, United States. ⟨10.1109/ICWS.2015.14⟩
Conference papers
hal-01274038v1
|
||
|
4W1H in IoT semanticsIEEE Access, 2018, 6, pp.65488-65506. ⟨10.1109/ACCESS.2018.2878100⟩
Journal articles
hal-01898506v1
|
||
|
MEDUSA: Middleware for End-User Composition of Ubiquitous ApplicationsMastrogiovanni, F. and Chong, N.Y. Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives, 11, IGI Global, pp.197-219, 2011, 9781616928575. ⟨10.4018/978-1-61692-857-5.ch011⟩
Book sections
inria-00432675v1
|
||
|
Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE2013
Preprints, Working Papers, ...
hal-00912869v1
|
||
|
Inferring Affordances Using Learning TechniquesInternational Workshop on Eternal Systems (EternalS'11), May 2011, Budapest, Hungary. ⟨10.1007/978-3-642-28033-7_7⟩
Conference papers
inria-00591264v1
|
||
|
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⟩
Book sections
inria-00586630v1
|
||
|
A three round authenticated group key agreement protocol for ad hoc networksPervasive and Mobile Computing, 2007, 3 (1), pp.36-52. ⟨10.1016/j.pmcj.2006.07.001⟩
Journal articles
inria-00509215v1
|
||
|
Towards a Formalization of Mediating Connectors for on the Fly InteroperabilityJoint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009, Sep 2009, Cambridge, United Kingdom
Conference papers
inria-00404308v1
|
||
|
Service discovery in multi-radio networks: an assessment of existing protocols9th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems : MSWiM 2006, 2006, Torremolinos, Malaga, Spain. pp.229-238
Conference papers
inria-00415113v1
|
||
|
ubiSOAP: A Service Oriented Middleware for Seamless Networking6th International Conference on Service Oriented Computing : ICSOC 2008, 2008, Sydney, Australia. pp.195-209
Conference papers
inria-00415143v1
|
||
|
A Security Supervision System for Hybrid NetworksR. Lee. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Springer, pp.137-149, 2008
Book sections
inria-00415144v1
|
||
|
Dependability in the Web Services ArchitectureLemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.90-109, 2003
Book sections
inria-00414794v1
|
||
|
Cooperative Caching in Ad Hoc Networks4th International Conference on Mobile Data Management : MDM 2003, 2003, Melbourne, Australia. pp.13-28
Conference papers
inria-00414796v1
|
||
|
Model-Driven Dependability Analysis of WebServicesOTM confederated international conferences CoopIS, DOA, and ODBASE 2004, 2004, Agia Napa, Cyprus. pp.1608-1625
Conference papers
inria-00414800v1
|
||
|
Context-Aware Service Discovery in Heterogeneous NetworksIEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks : WOWMOM 2005, 2005, Taormina, Italy. pp.478-480
Conference papers
inria-00414949v1
|
||
|
A Semantic End-to-End QoS Model for Dynamic Service Oriented EnvironmentsPESOS 2009 - ICSE Workshop on Principles of Engineering Service Oriented Systems, May 2009, Vancouver, Canada. ⟨10.1109/PESOS.2009.5068817⟩
Conference papers
inria-00468220v1
|
||
|
Efficient soft QoS guarantee in mobile ad hoc networks20th International Conference on Parallel and Distributed Computing Systems : ISCA PDCS 2007, 2007, Las Vegas, Nevada, United States. pp.120-126
Conference papers
inria-00415922v1
|
||
|
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication23rd IEEE/ACM International Conference on Automated Software Engineering : ASE 2008, 2008, L'aquila, Italy. pp.65-70
Conference papers
inria-00415959v1
|
||
|
CONNECT: Emergent Connectors for Eternal Software Intensive Networked SystemsFET'09 - The European Future Technologies Conference and Exhibition, European Commission, Apr 2009, Prague, Czech Republic
Conference papers
inria-00379423v1
|
||
|
Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approachSERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems, ERCIM, Apr 2010, London, United Kingdom
Conference papers
inria-00465229v1
|
||
Policy-based Access Control in Mobile Social EcosystemsIEEE International Symposium on Policies for Distributed Systems and Networks, Jun 2011, Pisa, Italy
Conference papers
inria-00608201v1
|
|||
|
Sense2Health: A Quantified Self Application for Monitoring Personal Exposure to Environmental PollutionSENSORNETS 2015, Feb 2015, Angers, France
Conference papers
hal-01102275v1
|
||
|
CHOReOS State of the Art, Baseline, and Beyond (D1.1)2011
Preprints, Working Papers, ...
hal-00662510v1
|