1988 search results - page 321 / 398 » Engineering formal metatheory |
238
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Process?aware information systems have to be frequently adapted due to business process changes. One important challenge not adequately addressed so far concerns the evolution of ...
177
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
179
click to vote
ICML
1999
IEEE
16 years 7 months ago
1999
IEEE
Consider the task of exploring the Web in order to find pages of a particular kind or on a particular topic. This task arises in the construction of search engines and Web knowled...
169
click to vote
ICML
1998
IEEE
16 years 7 months ago
1998
IEEE
We study the problem of learning to accurately rank a set of objects by combining a given collection of ranking or preference functions. This problem of combining preferences aris...
137
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...