2025 search results - page 43 / 405 » Software performance modelling using PEPA nets |
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
METRICS
2005
IEEE
14 years 1 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
LREC
2008
13 years 9 months ago
2008
The construction of a wordnet, a labour-intensive enterprise, can be significantly assisted by automatic grouping of lexical material and discovery of lexical semantic relations. ...
SMARTNET
2000
13 years 9 months ago
2000
During the recent years of research on mobile agents, significant effort has been directed towards the identification of models of agent mobility suitable for network management a...
ESOP
2003
Springer
14 years 28 days ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...