464 search results - page 25 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
136
click to vote
AIME
2011
Springer
13 years 11 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
100
click to vote
ILP
2007
Springer
15 years 6 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
BTW
2003
Springer
15 years 5 months ago
2003
Springer
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
111
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
UML
1998
Springer
15 years 4 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...