4961 search results - page 300 / 993 » Homomorphism-Homogeneous Relational Structures |
212
click to vote
ICSM
2003
IEEE
15 years 12 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 ...
170
click to vote
QSIC
2003
IEEE
15 years 12 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...
163
click to vote
ATAL
2003
Springer
15 years 12 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...
166
click to vote
CIA
2003
Springer
15 years 12 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...
189
click to vote
TABLEAUX
2009
Springer
15 years 11 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...