The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
Multi-body structure-and-motion (MSaM) is the problem to establish the multiple-view geometry of an image sequence of a 3D scene, where the scene consists of multiple rigid objects...
A system is presented to visualize information about city with a three-dimensional web user interface. We present a novel way to connect a VRML world to an information database. A...
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...