900 search results - page 110 / 180 » Formalizing Ontological Commitment |
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
IJSWIS
2008
14 years 9 months ago
2008
One of the main strengths of the web is that it allows any party of its global community to share information with any other party. This goal has been achieved by making use of a u...
ECLIPSE
2006
ACM
15 years 3 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The upper-level ontologies are theories that capture the most common concepts, which are relevant for many of the tasks involving knowledge extraction, representation, an...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
The governance of open multi-agent systems is particular important since those systems are composed by heterogeneous, autonomous and independently designed agents. Such governance ...