1318 search results - page 44 / 264 » The formal semantics of the timeER model |
141
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
114
Voted
MMS
2002
15 years 1 months ago
2002
An intelligent annotation-based video data model called Smart VideoText is introduced. It utilizes the conceptual graph knowledge representation formalism to capture the semantic a...
107
Voted
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
109
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
120
Voted
PDSE
1998
15 years 3 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...