28596 articles – 22090 Notices  [english version]
.:. Consultation > Par années > 2010 .:.
5499 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Security-by-Contract-with-Trust for Mobile Devices
Costa G., Lazouski A., Martinelli F., Matteucci I., Issarny V., Saadi R., Dragoni N., Massacci F.
Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JoWUA) 1, 4 (2010) 75-91 [inria-00549662 - version 1]
Functional Behavior of a Cardiac Pacing System
Méry D., Singh N. K.
International Journal of Discrete Event Control Systems (IJDECS) (2010) [inria-00540007 - version 1]
fulltext access Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design
Yu H., Gamatié A., Rutten E., Dekeyser J.-L.
Knowledge Engineering Review (2010) 21 pages [inria-00536883 - version 1]
Shaping Probability Density Function of Quantization Noise in Fixed Point Systems
Parashar K., Menard D., Rocher R., Sentieys O.
Dans 44th Annual Asilomar Conference on Signals, Systems, and Computers (2010) [inria-00534529 - version 1]
fulltext access Generating a Catalog of Unanticipated Schemas in Class Hierarchies using Formal Concept Analysis
Gabriela A., Ducasse S., Gordillo S., Nierstrasz O.
Information and Software Technology (2010) [inria-00531498 - version 1]
fulltext access Supporting Simultaneous Versions for Software Evolution Assessment
Laval J., Denier S., Ducasse S., Falleri J.-R.
Journal of Science of Computer Programming (2010) [inria-00531500 - version 1]
fulltext access Package Fingerprint: a visual summary of package interfaces and relationships
Abdeen H., Ducasse S., Pollet D., Alloui I.
Information and Software Technology (2010) pp. 1312-1330 [inria-00531496 - version 1]
fulltext access Geometric optics expansions with amplification for hyperbolic boundary value problems: linear problems
Coulombel J.-F., Gues O.
Annales de l'Institut Fourier 60, 6 (2010) 2183-2233 [hal-00419335 - version 1]
fulltext access Reduced minimax state estimation
Mallet V., Zhuk S.
N° RR-7500 (2010) [inria-00550729 - version 1]
fulltext access Sampling per Mode for Rare Event Simulation in Switching Diffusions
Krystul J., Le Gland F., Lezaud P.
N° RR-7499 (2010) [inria-00550716 - version 1]