Filter your results
- 248
- 97
- 1
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 21
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 3
- 3
- 3
- 3
- 3
- 3
- 3
346 Results
Access Control in Probative Value CloudThe 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
Conference papers
hal-02287110v1
|
|||
Access control in probative value cloud8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
Conference papers
hal-03042230v1
|
|||
Profile centric modellingINDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles
hal-02354927v1
|
|||
The Algorithmic Governance Of Common-Pool ResourcesFrom Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014
Book sections
hal-02287022v1
|
|||
Handling criticality mode change in time-triggered systems through linear programmingAda User Journal, 2014, 35 (2), pp.133-137
Journal articles
cea-01844456v1
|
|||
Profile Centric Model.International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles
hal-02287105v1
|
|||
|
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports
hal-00970244v2
|
||
PDP 4PS : Periodic-Delayed Protocol for Partitioned SystemsInternational Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers
hal-01115671v1
|
|||
CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défisGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles
hal-02287057v1
|
|||
A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMIIEEE Journal on Selected Areas in Communications, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
Journal articles
hal-01113214v1
|
|||
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers
hal-01111647v1
|
||
Formal Analysis of Secure Device Pairing ProtocolsIEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
Conference papers
hal-02287084v1
|
|||
Automatic Production of Transformation Chains Using Structural Constraints on Output ModelsEuromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers
hal-01115708v1
|
|||
Sensemaking in the autonomic smart-homeUBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers
hal-02288439v1
|
|||
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph TransformationAMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers
hal-02287272v1
|
|||
Technology for Collective Action [Special Section Introduction]IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles
hal-02287021v1
|
|||
Self-Managing Pervasive Computing2014 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Sep 2014, Imperial College, France. pp.5-5
Conference papers
hal-02023539v1
|
|||
|
SuperVision : controler spatialement les objets connectés dans une maison intelligenteIHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩
Conference papers
hal-01442956v1
|
||
PCM in cloudIEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers
hal-02288436v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers
hal-01115723v1
|
|||
Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation ChainsMODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers
hal-01115716v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers
hal-01121019v1
|
|||
Algorithmic Self-Governance and the Design of Socio-Technical SystemsEuropean Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers
hal-02287024v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
Conference papers
hal-02343634v1
|
|||
Data Integrity and Availability Verification Game in Untrusted Cloud StorageGameSec, Nov 2014, Los Angeles, United States
Conference papers
hal-01110522v1
|
|||
Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
Conference papers
hal-01212126v1
|
|||
A Secure and Effective Device Pairing Protocol12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers
hal-02288430v1
|
|||
Scheduling algorithms to reduce the static energy consumption of real-time systemsExperiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles
cea-01846864v1
|
|||
An Attack Execution Model for Industrial Control Systems Security Assessment.CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
Conference papers
hal-02287737v1
|
|||
Safety and Deferred Update in Transactional MemoryTransactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections
hal-02287873v1
|
|||
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical InfrastructuresHASE, IEEE, Jan 2015, Daytona Beach, United States
Conference papers
hal-01110552v1
|
|||
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical InfrastructuresIEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
Conference papers
hal-01113223v1
|
|||
|
SuperVision: Spatial Control of Connected Objects in a Smart HomeCHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩
Conference papers
hal-01147717v1
|
||
A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-GridsACM Transactions on Autonomous and Adaptive Systems, 2015, 10 (2), pp.9:1-9:21
Journal articles
hal-02287025v1
|
|||
optimal Chudnovsky Chudnovsky multiplication algorithmsWAIFI 2014, Jul 2015, gebze, Turkey
Conference papers
hal-02287379v1
|
|||
Fast Selective Encryption Methods for Bitmap ImagesInternational Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
Journal articles
hal-01212143v1
|
|||
Data protection by means of fragmentation in distributed storage systemsCFIP-Notere, Jul 2015, Paris, France
Conference papers
hal-02288464v1
|
|||
|
The Weakest Failure Detector for Eventual Consistency34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Conference papers
hal-01213330v1
|
||
|
Translating ATL Model Transformations to Algebraic Graph Transformations8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
Conference papers
hal-01229113v1
|
||
|
On the Uncontended Complexity of Anonymous Consensus[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports
hal-01180864v1
|
||
Value Sensitive Design for Self-Organising Digital CommunitiesCharting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
Conference papers
hal-02287385v1
|
|||
Improving Reusability of Model Transformations by Automating their CompositionEUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Conference papers
hal-02287271v1
|
|||
Safe box cloud authentication using TLS extesion2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC), Aug 2015, Shanghai, France. pp.1-6, ⟨10.1109/SSIC.2015.7245679⟩
Conference papers
hal-02354926v1
|
|||
Data Protection: combining fragmentation, encryption, and dispersion2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
Conference papers
hal-01212158v1
|
|||
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Conference papers
hal-01166136v1
|
||
Progressive Transactional Memory in Time and SpacePaCT, Sep 2015, Petrozavodsk, Russia
Conference papers
hal-02287223v1
|
|||
Automatic selection and composition of model transformations alternatives using evolutionary algorithmsECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers
hal-02292448v1
|
|||
Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone AgentsThe 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
Conference papers
hal-02287382v1
|
|||
Scheduling of mixed-criticality systems with RUN2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
Conference papers
hal-02922757v1
|
|||
Exchange between the German and French Compiler Communities18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
Conference papers
hal-02287275v1
|