796 search results - page 61 / 160 » Generalized Commitment Alignment |
KCAP
2005
ACM
14 years 3 months ago
2005
ACM
In order to evaluate the performance of ontology matching algorithms it is necessary to confront them with test ontologies and to compare the results. The most prominent criteria ...
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
ICDE
1999
IEEE
14 years 11 months ago
1999
IEEE
As mobile computing devices become more and more popular, mobile databases have started gaining popularity. An important feature of these database systems is their ability to allo...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
We describe an optimize-and-dispatch approach for delivering pay-per-impression advertisements in online advertising. The platform provider for an advertising network commits to s...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...