348 search results - page 8 / 70 » di 2008 |
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
ICNS
2008
IEEE
14 years 2 months ago
2008
IEEE
The programmable network approach allows processing of passing user data in a network, which is highly suitable especially for multimedia streams processing. However, programming ...
LCN
2008
IEEE
14 years 2 months ago
2008
IEEE
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...
KDD
2008
ACM
14 years 8 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...