6794 search results - page 1252 / 1359 » Semantics of Visual Languages |
EKAW
2004
Springer
14 years 2 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
OTM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
Relational database systems may be turned into eļ¬cient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...