1761 search results - page 39 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
113
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
152
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
166
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
157
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
130
click to vote
WSC
2008
15 years 6 months ago
2008
We develop and evaluate a semiparametric method to estimate the mean-value function of a nonhomogeneous Poisson process (NHPP) using one or more process realizations observed over...