1318 search results - page 70 / 264 » The formal semantics of the timeER model |
119
Voted
SEMWIKI
2008
15 years 3 months ago
2008
This paper presents a tool for semantic personal knowledge management called Hypertext Knowledge Workbench (HKW), an editor and browser for semantic personal knowledge models. The ...
119
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
135
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
111
click to vote
IEEEICCI
2006
IEEE
15 years 8 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
126
click to vote
AIME
2009
Springer
15 years 3 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...