This paper focuses on embedded system modeling, proposing a solution to obtain refined net via the refinement operation of an extended Petri net. Object-oriented technology and with inhibitor-arcs-based representation for systems (PIRES+) are combined object-oriented PIRES+ (OOPIRES+). A gateway method OOPIRES+ is proposed, preservation liveness, boundedness, reachability, functionality, timing...

Objective: To describe the technique and evaluate the immediate results of using an ultrasonic scalpel in the skeletonization of the internal thoracic artery for coronary artery bypass grafting surgery. Methods: From January 2000 to October 2006, 188 patients were submitted to coronary artery bypass grafting with the internal thoracic artery skeletonized using an ultrasonic scalpel. Seventy-one...

The World Wide Web provides an enormous amount of images easily accessible to everybody. The main challenge is to provide efficient search mechanisms for image content that are truly scalable and can support full coverage of web contents. In this paper, we present an architecture that adopts the peer-to-peer (P2P) paradigm for indexing, searching and ranking of image content. The ultimate goal ...

Isabela de Carlos Back Giuliano, Mário Sérgio Soares de Azeredo Coutinho, Sérgio Fernando Torres de Freitas, Maria Marlene de Souza Pires, João Nilson Zunino, Robespierre Queiroz da Costa Ribeiro Hospital Infantil Joana de Gusmão, Universidade Federal de Santa Catarina, Laboratório Médico Santa Luzia S.A, Florianópolis e Universidade Federal de Minas Gerais, Belo Horizonte Florianópolis, SC Bel...