2467 search results - page 71 / 494 » Finite State Machines |
78
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
ICFCA
2005
Springer
15 years 6 months ago
2005
Springer
98
Voted
WIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a scheme for automatically generating compressors for XML documents from Document Type Definition(DTD) specifications. Our algorithm is a lossless adaptive a...
117
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
100
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...