1454 search results - page 107 / 291 » Stateful traits and their formalization |
113
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
138
click to vote
CL
2008
Springer
15 years 24 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...
112
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...