498 search results - page 67 / 100 » A Formal Foundation for ODRL |
WRLA
2010
14 years 8 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
VLC
2011
14 years 4 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
FTRTFT
1998
Springer
15 years 2 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
FM
2006
Springer
15 years 1 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
AISB
2008
Springer
15 years 1 hour ago
2008
Springer
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...