1401 search results - page 227 / 281 » Tool Integration for Reasoned Programming |
ER
2009
Springer
14 years 2 months ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
SDB
1995
14 years 1 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
AVI
2008
14 years 9 days ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
ECBS
2007
IEEE
13 years 11 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...