81 search results - page 12 / 17 » A Formalisation of Finite Automata Using Hereditarily Finite... |
214
click to vote
ASC
2011
15 years 21 days ago
2011
: PSO, like many stochastic search methods, is very sensitive to efficient parameter setting such that modifying a single parameter may cause a considerable change in the result. I...
226
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
156
click to vote
CONCUR
2009
Springer
16 years 11 days ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
159
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
173
click to vote
JALC
2006
15 years 5 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...