.:. Browse > Domain list > Computer Science .:.

38462 documents ordered by : Date Title first author name document type Submit date

... 4 - 5 - 6 - 7 - 8 - 9 - 10 ...

Compositional Verification of Software Product Lines Millo J.-V., Ramesh S., Krishna S. Narayanan, Narwane G. Khandu Dans iFM 2013 - 10th International Conference on integrated Formal Methods (2013) [hal-00799108 - version 1]

Energy Efficient Content Distribution Araujo J., Giroire F., Liu Y., Remigiusz M., Moulierac J. Dans ICC - International Conference on Communications (2013) [hal-00800273 - version 1]

MEDAL: a moving direction and destination location based routing algorithm for vehicular ad hoc networks Wu X., Tong H., Mitton N., Zheng J. Dans IEEE International Conference on Communications (ICC) (2013) [hal-00781202 - version 1]

A Privacy Preserving Distributed Reputation Mechanism Anceaume E., Guette G., Lajoie Mazenc P., Prigent N., Viet Triem Tong V. Dans International Conference on communications (ICC) (2013) 6 pages [hal-00763212 - version 3]

Operator-level GPU-accelerated Branch and Bound algorithms Chakroun I., Nouredine M. Dans International Conference on Computational Science, ICCS (2013) [hal-00807893 - version 1]

Observer design for nonlinear systems under unknown time-varying delays Ghanes M., Deleon J., Barbot J.-P. IEEE Transactions on Automatic Control (2013) [hal-00749682 - version 1]

In-Out Separation and Column Generation Stabilization by Dual Price Smoothing Pessoa A. Alves, Sadykov R., Uchoa E., Vanderbeck F. Dans 12th International Symposium on Experimental Algorithms (2013) 18 [hal-00750412 - version 3]

Pattern-Based Approach to Table Extraction K.C. S., Belaïd A. Dans IbPRIA 2013: 6th Iberian Conference on Pattern Recognition and Image Analysis (2013) [hal-00788323 - version 1]

Multimodal Interaction: a Survey from Model Driven Engineering and Mobile perspectives Elouali N., Rouillard J., Le Pallec X., Tarby J.-C. Journal on Multimodal User Interfaces (2013) [hal-00823086 - version 1]

Dynamic Deployment of Sensing Experiments in the Wild Using Smartphones Haderer N., Rouvoy R., Seinturier L. Dans 13th International IFIP Conference on Distributed Applications and Interoperable Systems (DAIS) (2013) [hal-00804114 - version 1]