532 search results - page 31 / 107 » Process Algebras for Quantitative Analysis |
DISCO
1993
13 years 11 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
DAGM
2003
Springer
14 years 27 days ago
2003
Springer
The use of 3D-polar coordinate representations of the RGB colour space is widespread, although many of these representations, such as HLS and HSV, have deficiencies rendering them...
MVA
1994
13 years 9 months ago
1994
Image processing technology plays an important part in the analysis and evaluation of pavement surface cracking. The pattern recognition method for crack geometry proposed in this...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...