5775 search results - page 118 / 1155 » A Rationale-based Analysis Tool |
207
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Analysis of terrorist social networks is essential for discovering knowledge about the structure of terrorist organizations. Such knowledge is important for developing effective co...
159
click to vote
TELSYS
2002
15 years 6 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
127
click to vote
PAM
2009
Springer
16 years 1 months ago
2009
Springer
This paper analyzes the performance of two implementations of J-Flow, the flow measurement tool deployed on most Juniper routers. Our work relies on both controlled experiments an...
133
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
Various studies have indicated that many students in the world faced difficulties in solving word problems especially when the problems involve fractions. A study conducted on Mal...
214
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...