1802 search results - page 60 / 361 » Model-based Theory Combination |
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
ISSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
FM
1999
Springer
14 years 1 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
JCNS
2008
13 years 9 months ago
2008
Information theoretical approaches to sensory processing in electric fish have focused on the encoding of amplitude modulations in a single sensory pathway in the South American gy...