655 search results - page 35 / 131 » Automata, Logic, and XML |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
WIDM
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we investigate the problem of XML Schema evolution. We first discuss the different kinds of changes that may be needed on an XML Schema. Then, we investigate how to...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
107
click to vote
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
DATESO
2008
14 years 11 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...