127
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
QoS (Quality of Service) support in Web services is an important issue since it ensures service usability and utility for each client and, in addition, improves server utilization...
111
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
The performance of information retrieval on the Web is heavily influenced by the organization of Web pages, user navigation patterns, and guidance-related functions. Having observ...
119
click to vote
CIE
2006
Springer
15 years 7 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
124
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
CIE
2006
Springer
15 years 7 months ago
2006
Springer
le conservative rational abstract geometrical computation is Turing-universal d abstract) J