5066 search results - page 397 / 1014 » Spectra of structures and relations |
203
click to vote
QSIC
2003
IEEE
16 years 28 days ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
187
click to vote
ATAL
2003
Springer
16 years 27 days ago
2003
Springer
Agents must decide with whom to interact, which is nontrivial when no central directories are available. A classical decentralized approach is referral systems, where agents adapt...
192
click to vote
CIA
2003
Springer
16 years 27 days ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
209
click to vote
TABLEAUX
2009
Springer
16 years 5 days ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
211
click to vote
BTW
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...