18204 search results - page 3240 / 3641 » Distributed Video Presentations |
180
click to vote
ENTCS
2006
15 years 6 months ago
2006
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
171
click to vote
ENTCS
2006
15 years 6 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
170
Voted
ENTCS
2006
15 years 6 months ago
2006
A network telescope is a portion of the IP address space which is devoted to observing inbound internet traffic. The purpose of a network telescope is to detect and log malicious ...
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
196
click to vote
FOCM
2006
15 years 6 months ago
2006
This paper considers the regularized learning algorithm associated with the leastsquare loss and reproducing kernel Hilbert spaces. The target is the error analysis for the regres...