Filter your results
- 247
- 97
- 1
- 207
- 75
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 337
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 329
- 16
- 307
- 21
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 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
- 5
- 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
345 Results
|
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
|
|||
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
|
|||
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
|
|||
|
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
|
||
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
|