1318 search results - page 23 / 264 » The formal semantics of the timeER model |
139
click to vote
RWEB
2010
Springer
14 years 11 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
106
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
119
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
117
click to vote
GI
2010
Springer
14 years 11 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
128
Voted
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...