3765 search results - page 396 / 753 » Qualitative Action Systems |
224
click to vote
FMCO
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
183
click to vote
FM
2003
Springer
16 years 3 days ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
175
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a visual tool for comparing different mountain pine-beetle management approaches is presented. This comparison tool gives the users the possibility of viewing their ...
182
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
169
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...