3717 search results - page 192 / 744 » Representing Multiple Theories |
143
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
128
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
121
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
128
click to vote
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes two very fast graph theoretic heuristics for the low power binding problem given fixed number of resources and multiple architectures for the resources. First...
131
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...