780 search results - page 117 / 156 » Correctness of Component-Based Adaptation |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
IWQOS
2004
Springer
14 years 2 months ago
2004
Springer
This paper addresses the energy consumption of forward error correction (FEC) protocols as used to improve quality-of-service (QoS) for wireless computing devices. The paper also ...
WER
2004
Springer
14 years 2 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present a novel experience based sampling or experiential sampling technique which has the ability to focus on the analysis’s task by making use of the contextual information...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...