2634 search results - page 133 / 527 » Faster Than Uppaal |
VL
2009
IEEE
14 years 4 months ago
2009
IEEE
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— Sum rate maximization by power control is an important, challenging, and extensively studied problem in wireless networks. It is a nonconvex optimization problem and ac...
ISW
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we present free-start collisions for the TIB3 hash function with a complexity of about 232 compression function evaluations. By using message modification technique...
LION
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Probabilistic Neural Networks (PNNs) constitute a promising methodology for classification and prediction tasks. Their performance depends heavily on several factors, su...