Sciweavers

1916 search results - page 301 / 384
» Reconfiguring a state machine
Sort
View
131
Voted
AGS
2009
Springer
15 years 7 months ago
Two Case Studies for Jazzyk BSM
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
Michael Köster, Peter Novák, David Mai...
98
Voted
WEBI
2009
Springer
15 years 7 months ago
Learning Deep Web Crawling with Diverse Features
—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 ...
Lu Jiang, Zhaohui Wu, Qinghua Zheng, Jun Liu
ERSHOV
2009
Springer
15 years 7 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
94
Voted
ICCS
2009
Springer
15 years 7 months ago
On the Origin of Grid Species: The Living Application
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...
Derek Groen, Stefan Harfst, Simon Portegies Zwart
104
Voted
ICTAC
2009
Springer
15 years 7 months ago
Input-Output Model Programs
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
Margus Veanes, Nikolaj Bjørner