2500 search results - page 468 / 500 » Logical Semantics of Modularisation |
151
click to vote
JOT
2010
15 years 29 days 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...
126
Voted
UTP
2010
15 years 27 days 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...
146
Voted
FSTTCS
2010
Springer
15 years 16 days 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...
144
Voted
KBSE
2010
IEEE
15 years 13 days 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, ...
170
Voted
QEST
2010
IEEE
15 years 12 days 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...