1128 search results - page 211 / 226 » Little Engines of Proof |
VLDB
2004
ACM
15 years 2 months ago
2004
ACM
The Web is becoming a universal information dissemination medium, due to a number of factors including its support for content dynamicity. A growing number of Web information prov...
EUROMICRO
2003
IEEE
15 years 2 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Customer Relationship Management (CRM) is critical to the success of a business. Recent work in CRM has focused on the mining of customer-related data and the construction of cust...
106
click to vote
INFOCOM
2003
IEEE
15 years 2 months ago
2003
IEEE
— Multiprotocol Label Switching or MPLS technology is being increasingly deployed by several of the largest Internet service providers to solve problems such as traffic engineer...
HT
2003
ACM
15 years 2 months ago
2003
ACM
Despite the multitude of existing interfaces for annotation, little is known about their influence on the created annotations. In this paper, first findings of a comparative video...