2162 search results - page 433 / 433 » Automated Reasoning on Feature Models |
LOGCOM
2000
13 years 5 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
ACSW
2007
13 years 6 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...