1942 search results - page 307 / 389 » Parse |
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Sophisticated middlebox services–such as network monitoring and intrusion detection, DDoS mitigation, worm scanning, XML parsing and protocol transformation–are becoming incre...
MMM
2008
Springer
14 years 3 months ago
2008
Springer
In this paper, we propose a novel query language for video indexing and retrieval that (1) enables to make queries both at the image level and at the semantic level (2) enables the...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
SIPS
2008
IEEE
14 years 3 months ago
2008
IEEE
In 2004, ISO/IEC SC29 better known as MPEG started a new standard initiative aiming at facilitating the deployment of multi-format video codec design and to enable the possibility...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...