4047 search results - page 46 / 810 » Algebraic Model Checking |
NETWORKING
2008
14 years 12 days ago
2008
The second smallest eigenvalue of the Laplacian matrix, also known as the algebraic connectivity, plays a special role for the robustness of complex networks since it measures the ...
COMPSAC
2003
IEEE
14 years 4 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
IJSEKE
2011
13 years 2 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
ACSD
2001
IEEE
14 years 2 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...