2875 search results - page 398 / 575 » Model checking agentspeak |
136
click to vote
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
105
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
110
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
136
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
125
click to vote
DNA
2005
Springer
15 years 8 months ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...