4961 search results - page 300 / 993 » Homomorphism-Homogeneous Relational Structures |
177
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
134
click to vote
QSIC
2003
IEEE
15 years 9 months 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...
131
click to vote
ATAL
2003
Springer
15 years 9 months 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...
127
click to vote
CIA
2003
Springer
15 years 9 months 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...
148
click to vote
TABLEAUX
2009
Springer
15 years 8 months 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...