713 search results - page 73 / 143 » Syntax and Semantics of Babel-17 |
155
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
180
click to vote
ADBIS
2003
Springer
15 years 11 months ago
2003
Springer
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...
182
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
149
click to vote
COOPIS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...
174
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...