1318 search results - page 54 / 264 » The formal semantics of the timeER model |
124
Voted
OTM
2005
Springer
15 years 7 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
114
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
123
Voted
FASE
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
146
Voted
DAGSTUHL
1993
15 years 3 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
127
click to vote
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...