Publication

Export 15 results:
Sort by: [ Author (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Bacarin E, Madeira ERM, Medeiros CB.  2007.  Using Choreography to Support Collaboration in Agricultural Supply Chains. :18.
Bacarin E, Madeira ERM, Medeiros CB.  2008.  Contract E-Negotiation in Agricultural Supply Chains. 12:71-97.
Bacarin E, Madeira ERM, Medeiros CB, van der Aalst WMP.  2011.  SPICA's Multi-party Negotiation Protocol: Implementation using YAWL. Intl. J. of Coop. Info. Sys.. 20:221-259.
Bacarin E, Madeira ERM, Medeiros CB.  2009.  SPICA's Multi-party Negotiation Protocol: Implementation using YAWL. :18.
Bacarin E, Medeiros CB, Madeira ERM.  2004.  A {Collaborative} {Model} for {Agricultural} {Supply} {Chains}. CoopIS 2004, LNCS 3290. :319-336.
Bacarin E, Madeira ERM, Medeiros CB.  2009.  Assembling and Managing Virtual Organizations out of Multi-party Contracts. ICEIS. :758-769.
Bacarin E, van der} Aalst {WMP, Madeira E, Medeiros CB.  2007.  Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. Proc. CPN 07 - 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.
Barioni MCN, Kaster DS, Razente HL, Traina AJM, Traina, Jr C.  2011.  Advanced Database Query Systems: Techniques, Applications and Technologies.
Bedo M V N, Ponciano-Silva M, Kaster DS, Bugatti P H, Traina A J M, Jr C T.  2012.  Higiia: A Perceptual Medical CBIR System Applied to Mammography Classification. Demo and Applications Session of the XXVII Brazilian Symposium on Databases (SBBD).
Bonifácio A L, Moura AV, Simao A.  2012.  Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science. 23:147-172.
Bonifácio A L, Gomes FAL.  2004.  Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso). 25:163–170.
Bonifácio A L, Moura A V, Simao A, Maldonado J C.  2008.  Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.
Bonifácio A L, Moura A V.  2011.  A new method for testing timed systems. Softw. Test., Verif. Reliab..
Bonifácio A L, Moura A V, da Simão A, Maldonado JC.  2006.  Conformance Testing by Model Checking Timed Extended Finite State Machines. Brazilian Symposium on Formal Methods (SBMF'06). :43–58.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  2000.  Formal Parameters Synthesis for Track Segments of a Subway Mesh. 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. :263–272.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  1999.  Análise e Verificação de Segmentos de Via de uma Malha Metroviária. Proceedings of the II Workshop on Formal Methods. :13–22.
Bonifácio A L, Moura A V.  2000.  Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.
Bonifácio A L, Moura A V, da Simão A.  2008.  A Generalized Model-Based Test Generation Method. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM. :139–148.
Bonifácio A L, Moura AV.  2012.  Attaining a more Flexible and Manageable Discretization for Complex Timed Systems. :39.
Bonifácio A L, Moura AV, da Simão A.  2009.  Exponentially more Succinct Test Suites. :27.
Bonifácio A L, Moura A V.  2009.  A New Timed Discretization Method for Automatic Test Generation for Timed Systems. :1–33.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  1999.  Análise, Verificação e Síntese de Segmentos de Via de uma Malha Metroviária. :48.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr J R.  2000.  Formal Verification and Synthesis for an Air Traffic Management System. :37.
Bonifácio A L, Moura A V.  2005.  Formal Verification and Parameters Synthesis for Hybrid Real Systems. :42.
Bonifácio A L, Moura A V, da Simão A.  2008.  A Generalized Model-based Test Generation Method. :22.
Bonifácio A L, Moura A V.  2009.  Generating Test Suites for Timed Systems with Context Variables. :41.
Bueno R, Kaster DS, Traina AJM, Traina, Jr C.  2009.  Time-Aware Similarity Search: A Metric-Temporal Representation for Complex Data. 11th International Symposium on Spatial and Temporal Databases (SSTD), Aalborg, Denmark. 5644:302-319.
Bueno R, Kaster DS, Traina AJM, Traina, Jr C.  2008.  A New Approach for Optimization of Dynamic Metric Access Methods Using an Algorithm of Effective Deletion. 20th International Conference on Scientific and Statistical Database Management (SSDBM), Hong Kong, China. :366-383.
Bueno R, Kaster DS, Razente HL, Barioni MCN, Traina AJM, Traina, Jr C.  2011.  Using Visual Analysis to Weight Multiple Signatures to Discriminate Complex Data. 15th International Conference on Information Visualisation (IV), London, UK. :282-287.
Bueno R, Razente HL, Kaster DS, Barioni MCN, Traina AJM, Traina, Jr C.  2010.  Metric Data Analysis Enhanced through Temporal Visualization. 14th International Conference on Information Visualisation (IV), London, UK. :116-121.
Bueno R, Kaster DS, Paterlini AA, Traina AJM, Traina, Jr C.  2009.  Unsupervised scaling of multi-descriptor similarity functions for medical image datasets. 22nd IEEE International Symposium on Computer-Based Medical Systems (CBMS), Albuquerque, New Mexico, USA. :1-8.
Bugatti PH, Kaster DS, Ponciano-Silva M, Traina AJM, Traina, Jr C.  2011.  Integrating User Profile in Medical CBIR Systems to Answer Perceptual Similarity Queries. SPIE Medical Imaging: Computer-Aided Diagnosis Conference, Lake Buena Vista, Florida, USA. :282-287.
K
Kaster DS, Bugatti PH, Traina AJM, Traina, Jr C.  2010.  FMI-SiR: A Flexible and Efficient Module for Similarity Searching on Oracle Database. Journal of Information and Data Management. 1:229-244.
Kaster DS, Medeiros CB, Rocha HV.  2005.  Supporting modeling and problem solving from precedent experiences: the role of workflows and case-based reasoning. Environmental Modelling and Software. 20:689-704.
Kaster DS, Oliveira WD, Bueno R, Traina AJM, Traina, Jr C.  2011.  Nearest Neighbor Queries with Counting Aggregate-based Conditions. Journal of Information and Data Management. 2:401-416.
Kaster DS, Bugatti PH, Traina AJM, Traina, Jr C.  2009.  Incorporating Metric Access Methods for Similarity Searching on Oracle Database. XXIV Simpósio Brasileiro de Banco de Dados (SBBD), Fortaleza, CE, Brasil. :1-15.
Kaster DS, Cordeiro RLF, Fortes RPM.  2007.  Um Framework Web Colaborativo Baseado em Ontologias para Recuperação e Descoberta de Conhecimento em Imagens Médicas. XIII Simpósio Brasileiro de Sistemas Multimídia e Web. :1-8.
Kaster DS, Bugatti PH, Ponciano-Silva M, Traina AJM, de Marques P M A, Santos A C, Traina, Jr C.  2011.  MedFMI-SiR: A Powerful DBMS Solution for Large-Scale Medical Image Retrieval. 2nd International Conference on Information Technology in Bio- and Medical Informatics (ITBAM), Toulouse, FR. 6865:16-30.
Kaster DS, Traina, Jr C.  2012.  Inclusão de Consultas por Similaridade em SGBDs: Teoria e Prática. Lectures of the XXVII Brazilian Symposium on Databases. :31-60.
Kondo AK, Medeiros CB, Bacarin E, Madeira ERM.  2007.  {Traceability in Food for Supply Chains}. Proc. 3rd International Conference on Web Information Systems and Technologies (WEBIST). :121-127.