5785 search results - page 591 / 1157 » Approximability of Probability Distributions |
199
Voted
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...
209
click to vote
ISAAC
2005
Springer
16 years 17 days ago
2005
Springer
Consider an information network with harmful procedures called attackers (e.g., viruses); each attacker uses a probability distribution to choose a node of the network to damage. O...
212
click to vote
WINE
2005
Springer
16 years 16 days ago
2005
Springer
Consider a network vulnerable to viral infection. The system security software can guarantee safety only to a limited part of the network. Such limitations result from economy cos...
193
click to vote
ISSTA
2004
ACM
16 years 15 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
180
click to vote
JELIA
2004
Springer
16 years 13 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...