( en | de | ru )

 

Disambiguation of "Toro, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Supporting Requirements Verification Using XSLT.

, , , and . RE, page 165-172. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aletta Török

Mauricio Toro

Fernando Toro

Alfonso Toro

Toro Drabo

 

Other publications of authors with the same name

Three geometric approaches for representing decision rules in a supervised learning system, , and . Late Breaking Papers at the 1999 Genetic and Evolutionary Computation Conference, page 8--15. Orlando, Florida, USA, (13 July 1999)Three Geometric Approaches for representing Decision Rules in a Supervised Learning System., , and . GECCO, page 771. Morgan Kaufmann, (1999)A Tool to Obtain a Hierarchical Qualitative Rules form Quantitative Data., , and . IEA/AIE (Vol. 1), volume 1415 of Lecture Notes in Computer Science, page 336-346. Springer, (1998)Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet., and . JISBD, page 7. (2002)Automated Analysis of Cloud Offerings for Optimal Service Provisioning., , , , and . ICSOC, volume 10601 of Lecture Notes in Computer Science, page 331-339. Springer, (2017)A technique for distributed systems specification., , and . PDP, page 563-570. IEEE Computer Society, (1995)Defeasible Argumentation of Software Architectures., , and . WICSA, page 115-121. IEEE Computer Society, (2016)Implementing Multiparty Interactions on a Network Computer., , , and . EUROMICRO, page 2458-2465. IEEE Computer Society, (1999)An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions., , , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 563-572. Springer, (2002)An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions., , , and . COORDINATION, volume 2315 of Lecture Notes in Computer Science, page 250-257. Springer, (2002)