dc – -Translation – Keybot Dictionary

Spacer TTN Translation Network TTN TTN Login Deutsch Français Spacer Help
Source Languages Target Languages
Keybot 3 Results  www.devinterface.com
  Universitat Oberta de C...  
Show textShow cached sourceOpen source URL
Toward a semantic approach for automatic composition of learning grid services. In: Barolli, L., Xhafa, F. Proceedings CISIS 2008: 2nd International Conference on Complex, Intelligent and Software Intensive Systems. Washington DC: IEEE Computer Society Press . Pag.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine research.uoc.edu as primary domain
Gutiérrez, G., Daradoumis, A., Jorba, J. (2007). Semantic Description and Matchmaking of Learning Grid Services. A: Capuano, N., Gaeta, M., Miranda, S., Orciuoli, F., Pierri, A., Ritrovato, P., Salerno, S. The Learning Grid Handbook. Amsterdam: IOS Press . Pàg. 37-54. ISBN. 978-1-58603-829-8
  Universitat Oberta de C...  
Show textShow cached sourceOpen source URL
Verification of UML/OCL Class Diagrams Using Constraint Programming . In: Gosh, S. Proceedings of the ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and Validation in MDE. Washington, DC: IEEE Computer Society. Pag.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine research.uoc.edu as primary domain
Cabot, J., Clarisó, R., Riera, D. (2007). UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming. A: Egyed, A., Fischer, B., Stirewalt, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Atlanta: ACM Press. Pàg. 547-548. ISBN. 978-1-59593-882-4