35 search results - page 3 / 7 » Non-deterministic Computations in ELAN |
RTA
2000
Springer
13 years 9 months ago
2000
Springer
SPAA
2003
ACM
13 years 11 months ago
2003
ACM
PAAMS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
TCS
2002
13 years 5 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
FORTE
2004
13 years 7 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...