Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...
Mor Naaman, Ron B. Yeh, Hector Garcia-Molina, Andr...
Background: With ever increasing numbers of closely related virus genomes being sequenced, it has become desirable to be able to compare two genomes at a level more detailed than ...
Ryan Brodie, Alex J. Smith, Rachel L. Roper, Vasil...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its ...
V. Chandru, N. Mahesh, M. Manivannan, Swami Manoha...