3357 search results - page 500 / 672 » Controlling Complexity |
103
Voted
EPEW
2007
Springer
15 years 8 months ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
140
Voted
ESAW
2007
Springer
15 years 8 months ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
105
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
107
Voted
EUC
2007
Springer
15 years 8 months ago
2007
Springer
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...
107
Voted
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...