464 search results - page 40 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
76
Voted
ADC
2004
Springer
15 years 3 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
AAAI
2006
14 years 11 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...
110
Voted
SOCO
2009
Springer
15 years 4 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
130
Voted
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...
118
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...