532 search results - page 30 / 107 » Process Algebras for Quantitative Analysis |
ANSS
2006
IEEE
14 years 1 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
WOTUG
2007
13 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
ESOP
2001
Springer
14 years 5 days ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
SCIA
2005
Springer
14 years 1 months ago
2005
Springer
We compare three hierarchical structures, S15, C15, C19, that are used to steer a segmentation process in 3d voxel images. There is an important topological difference between C19...
WSC
1998
13 years 9 months ago
1998
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...