423 search results - page 32 / 85 » Specifying Strategies for Exercises |
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes, for the FPGA-based embedded systems, a reliability-aware process scheduling strategy that operates under performance bounds. A unique characteristic of the pr...
CPAIOR
2005
Springer
15 years 3 months ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
SETN
2004
Springer
15 years 3 months ago
2004
Springer
Collecting digital materials is time-consuming and can gain from automation. Since each source—and even each acquisition—may involve a separate negotiation of terms, a collecto...
FLAIRS
2001
14 years 11 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...