12774 search results - page 2263 / 2555 » A Framework for Proof Systems |
174
Voted
COOPIS
2003
IEEE
16 years 1 days ago
2003
IEEE
Longevity of distributed computing middleware standards, such as CORBA, depend on their ability to support a range of applications by providing low overhead access in a uniform man...
196
click to vote
CVPR
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
160
click to vote
EDOC
2003
IEEE
16 years 1 days ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
233
Voted
EDOC
2003
IEEE
16 years 1 days ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
155
click to vote
FTDCS
2003
IEEE
16 years 1 days ago
2003
IEEE
Service providers have been motivated to develop and offer new services to their customers. The key question is what kind of futuristic and practical services customers need. This...