1318 search results - page 62 / 264 » The formal semantics of the timeER model |
134
click to vote
CAISE
2001
Springer
15 years 6 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
123
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
143
click to vote
ADAPTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
108
click to vote
ICDT
2003
ACM
15 years 7 months ago
2003
ACM
Interest in XML databases has been growing over the last few years. In this paper, we study the problem of incorporating probabilistic information into XML databases. We propose th...