Conference Paper RDF
pages:- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- 115
- 116
- 117
- more...
- Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud
- Formal modeling for verifying SCA composition
- Formal Modeling for Verifying SCA Dynamic Composition with Event-B
- Formal Modeling of Elastic Service-Based Business Processes
- Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B
- Formal verification of tamper-evident storage for e-voting
- Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes
- Formalising the Requirements of an E-Voting Software Product Line Using Event-B
- Formalization and Management of Group Obligations
- Formalization of Viruses and Malware Through Process Algebras
- Formation des dirigeants des grands groupes français: quelle influence sur le financement de l’innovation ?
- Formation en ligne "Les réacteurs polyphasiques"
- Formation et réduction des NOx lors de la combustion de cokes de pétrole hautement soufrés
- Former au monde de demain : ODD, Compétences, Outils et scénarios de formation
- Former des managers responsables : vers de nouvelles pratiques pédagogiques
- Former des manageur.e.s responsables : des compétences à l'innovation pédagogique
- Formulation of oxide suspensions for liquid processing of ceramic matrix composites
- Formulation éléments finis du problème de corrélation d’image dans le repère monde: application à la stéréo corrélation et aux mesures couplées
- Foundation for Virtual Prototyping of Mechanical Power Management Functions in Actuators
- FPGA prototyping and performance evaluation of multi-standard Turbo/LDPC Encoding and Decoding
- Fractionation of green biomass in a continuous thermally-assisted mechanical dewatering process : preliminary experimental results
- Fracture numérique, fracture normative : opportunités et difficultés de l'innovation techno-pédagogique
- Fragmentation by high velocity impacts on a target
- Fragmentation dynamique d’anneaux métalliques au moyen d’impacts plans
- Fragmentation d’anneaux métalliques par expansion radiale dynamique
- Fragmentation of metallic rings by dynamic radial expansion
- Frame based Gaussian beam bouncing
- Frame decomposition of scattered fields
- Frame Synchronization Techniques for Non-Binary LDPC Codes over GF(q)
- Frame-based Gaussian beam shooting from experimental far field data