3357 search results - page 500 / 672 » Controlling Complexity |
162
click to vote
EPEW
2007
Springer
16 years 20 days 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...
194
click to vote
ESAW
2007
Springer
16 years 20 days 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...
163
click to vote
ESORICS
2007
Springer
16 years 20 days 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...
158
click to vote
EUC
2007
Springer
16 years 20 days 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...
165
click to vote
FROCOS
2007
Springer
16 years 20 days 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:...