2136 search results - page 29 / 428 » A Game-Theoretic Operational Semantics |
ENTCS
2002
13 years 7 months ago
2002
TCS
2002
13 years 7 months ago
2002
BIRTHDAY
2009
Springer
13 years 5 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
EWSN
2004
Springer
14 years 7 months ago
2004
Springer
We consider the problem of inter-cluster routing between cluster heads via intermediate sensor nodes in a hierarchical sensor network. Sensor nodes having limited and unreplenishab...
ICDCSW
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...