2268 search results - page 323 / 454 » The Essence of Form Abstraction |
124
click to vote
EPEW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
125
click to vote
EUROPAR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Many advances in grid resource management are still required to realize the grid computing vision of the integration of a worldwide computing infrastructure for scientifi...
139
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
112
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...