2500 search results - page 468 / 500 » Logical Semantics of Modularisation |
110
click to vote
JOT
2010
14 years 9 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
UTP
2010
14 years 9 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
102
click to vote
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
103
click to vote
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
133
click to vote
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...