3468 search results - page 585 / 694 » An open logical framework |
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
TEC
2010
13 years 3 months ago
2010
Abstract--Assuming that evolutionary multiobjective optimization (EMO) mainly deals with set problems, one can identify three core questions in this area of research: (i) how to fo...
HICSS
2011
IEEE
13 years 17 days ago
2011
IEEE
Abstract—The Kukui Cup is an advanced dorm energy competition whose goal is to investigate the relationships among energy literacy, sustained energy conservation, and information...