5084 search results - page 62 / 1017 » Proving Possibility Properties |
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
We investigate the statistical properties of both originated and terminated call arrivals in sets of real GSM telephone traffic data (TIM, Italy), emphasizing results obtained ...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
AIPS
2009
13 years 11 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
FOCM
2010
13 years 8 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—While the cost of nodes in a wireless mesh network is decreasing, the price tag of the network as a whole is best minimized by deploying the fewest number of nodes that ...