4636 search results - page 77 / 928 » Modelling and Validation with VipTool |
JLP
2010
13 years 2 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ICCV
2009
IEEE
15 years 21 days ago
2009
IEEE
We present a novel approach for detecting global behaviour
anomalies in multiple disjoint cameras by learning
time delayed dependencies between activities cross camera
views. Sp...
TOMACS
2002
13 years 7 months ago
2002
The utility of simulations and analysis heavily relies on good models of network traffic. While network traffic constantly changing over time, existing approaches typically take y...
NAR
2007
13 years 7 months ago
2007
CellCircuits (http://www.cellcircuits.org) is an openaccess database of molecular network models, designed to bridge the gap between databases of individual pairwise molecular int...