473 search results - page 67 / 95 » Aspect Validation Using Model Checking |
ICLP
2004
Springer
14 years 3 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
STTT
2008
13 years 10 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, invariant sonar texture characterization for seabed classification is addressed from the spatial distribution of image keypoints using log-Gaussian Cox processes. ...
HASE
1998
IEEE
14 years 2 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
ICMAS
1998
13 years 11 months ago
1998
We describe a framework that can be used to model and predict the behavior of MASs with learning agents. It uses a difference equation for calculating the progression of an agent&...