780 search results - page 15 / 156 » Correctness of Component-Based Adaptation |
116
Voted
WWW
2006
ACM
16 years 2 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...
131
click to vote
SIGCOMM
1990
ACM
15 years 6 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...
103
click to vote
ACL
1998
15 years 3 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...
124
click to vote
HICSS
2009
IEEE
15 years 5 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...
134
Voted
CAV
2008
Springer
15 years 3 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...