936 search results - page 29 / 188 » FSM-Hume is finite state |
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
ICFCA
2005
Springer
14 years 2 months ago
2005
Springer
WIA
2005
Springer
14 years 2 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...
ARCS
2004
Springer
14 years 2 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...
CONCUR
2004
Springer
14 years 2 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 ...