6978 search results - page 1185 / 1396 » On Proofs in System P |
IJCAI
1997
13 years 12 months ago
1997
Like middle-men in physical commerce, middleagents support the flow of information in electronic commerce, assisting in locating and connecting the ultimate information provider ...
COMAD
2009
13 years 11 months ago
2009
Data migration is one of the key operations in many enterprise data integration projects. While there are standard and well established tools for data migration, the enterprises r...
ESORICS
2010
Springer
13 years 11 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
CHI
2010
ACM
13 years 11 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
AVSS
2007
IEEE
13 years 10 months ago
2007
IEEE
People tracking is of fundamental importance in multicamera surveillance systems. In recent years, many approaches for multi-camera tracking have been discussed. Most methods use ...