780 search results - page 15 / 156 » Correctness of Component-Based Adaptation |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
SIGCOMM
1990
ACM
13 years 11 months ago
1990
ACM
Traditionally, a transport protocol corrects errors in a computer communication network using a simple ARQ protocol. With the arrival of broadband networks, forward error correcti...
ACL
1998
13 years 9 months ago
1998
This paper describes a spelling correction system that functions as part of an intelligent tutor that carries on a natural language dialogue with its users. The process that searc...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
Recently, service orientation has increasingly been debated both in research and practice. While researchers postulate a paradigm shift towards services as the basic unit of excha...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...