3820 search results - page 635 / 764 » Bounded Model Debugging |
117
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...
104
click to vote
COCO
2005
Springer
15 years 7 months ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
139
click to vote
COCOON
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
157
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
107
click to vote
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
— We consider the problem of energy efficient random deployment of sensor network. Our goal is to find the sensor node density, or alternatively, the energy resource density at e...