12774 search results - page 392 / 2555 » A Framework for Proof Systems |
202
click to vote
IIWAS
2004
15 years 9 months ago
2004
The `SemanticLIFE' system is designed to store, manage and retrieve ones lifetime's information entities. It enables the acquisition and storage of data while giving ann...
203
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—The proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...
197
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...
252
click to vote
ENTCS
2006
15 years 7 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
186
click to vote
TCOM
2008
15 years 7 months ago
2008
The study of Joint Source-Channel Coding (JSCC) systems faces one major challenge in obtaining an analytical expression for the function that links end-to-end distortion with chann...