1663 search results - page 101 / 333 » Description Logics for Interoperability |
141
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
154
click to vote
LOGCOM
2000
15 years 3 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
126
click to vote
APCCM
2007
15 years 5 months ago
2007
A business process may be modeled in different ways by different modelers even when utilizing the same modeling language. An appropriate method for solving ambiguity issues in p...
148
click to vote
CISIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
123
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...