503 search results - page 92 / 101 » A Framework for Reasoning on Component Composition |
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Advances in internetworking technology and the decreasing cost-performance ratio of commodity computing components have enabled Volunteer Computing (VC). VC platforms aggregate te...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
KI
2001
Springer
13 years 12 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
FMLDO
1999
Springer
13 years 11 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
SIGIR
2006
ACM
14 years 1 months ago
2006
ACM
Despite its intuitive appeal, the hypothesis that retrieval at the level of “concepts” should outperform purely term-based approaches remains unverified empirically. In addit...