12981 search results - page 2286 / 2597 » Model Checking (Abstract) |
127
click to vote
WINE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In pay-per-click online advertising systems like Google, Overture, or MSN, advertisers are charged for their ads only when a user clicks on the ad. While these systems ha...
130
Voted
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
132
click to vote
ACOM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
145
click to vote
ADAEUROPE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...
126
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...