4327 search results - page 420 / 866 » Web presentation system using RST events |
213
click to vote
RTA
2005
Springer
16 years 9 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
177
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
183
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Many users are familiar with the interesting but limited functionality of Data Detector interfaces like Microsoft's Smart Tags and Google's AutoLink. In this paper we si...
205
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Publish/subscribe systems are used increasingly often as a communication mechanism in loosely-coupled distributed applications. With their gradual adoption in mission critical are...
206
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...