371 search results - page 58 / 75 » Pushdown Automata Simulator |
165
Voted
ANCS
2009
ACM
14 years 11 months ago
2009
ACM
Although Regular Expressions (RegExes) have been widely used in network security applications, their inherent complexity often limits the total number of RegExes that can be detec...
125
click to vote
TACS
2001
Springer
15 years 6 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
103
click to vote
ENTCS
2006
15 years 1 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
102
click to vote
VIS
2007
IEEE
16 years 3 months ago
2007
IEEE
Modern unsteady (multi-)field visualizations require an effective reduction of the data to be displayed. From a huge amount of information the most informative parts have to be ext...
126
click to vote
ECOWS
2008
Springer
15 years 3 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...