4327 search results - page 285 / 866 » Web presentation system using RST events |
174
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Search engine switching describes the voluntarily transition from one Web search engine to another. In this paper we present a study of search engine switching behavior that combi...
173
Voted
ICS
2004
Tsinghua U.
15 years 12 months ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
176
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
181
click to vote
PLDI
1989
ACM
15 years 10 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
186
click to vote
JNCA
2007
15 years 6 months ago
2007
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...