41472 search results - page 7872 / 8295 » is 2006 |
192
click to vote
SYNASC
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
190
click to vote
TAICPART
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
162
click to vote
TPHOL
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
195
click to vote
TRIDENTCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
—In this paper, we investigate the applicability of simulation and emulation for denial of service (DoS) attack experimentation. As a case study, we consider low-rate TCP-targete...
213
click to vote
TRIDENTCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
CSMA-based MAC protocols require wireless nodes to share the transmission medium with other nodes that are within carriersensing (CS) range. Hence, operations that depend on and c...