2467 search results - page 422 / 494 » Finite State Machines |
168
click to vote
TPHOL
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
191
click to vote
AGS
2009
Springer
16 years 10 days ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
153
click to vote
WEBI
2009
Springer
16 years 9 days ago
2009
Springer
—The key to Deep Web crawling is to submit promising keywords to query form and retrieve Deep Web content efficiently. To select keywords, existing methods make a decision based ...
157
Voted
ERSHOV
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
151
click to vote
ICCS
2009
Springer
16 years 8 days ago
2009
Springer
We present the living application, a method to autonomously manage applications on the grid. During its execution on the grid, the living application makes choices on the resources...