661 search results - page 51 / 133 » A Logic of Capabilities |
FPL
2009
Springer
14 years 17 days ago
2009
Springer
Clock gating is a power reduction technique that has been used successfully in the custom ASIC domain. Clock and logic signal power are saved by temporarily disabling the clock si...
HPCNCS
2007
13 years 9 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
DLOG
2004
13 years 9 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
AEI
2007
13 years 8 months ago
2007
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...
LOBJET
2008
13 years 8 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...