2025 search results - page 72 / 405 » Software performance modelling using PEPA nets |
94
Voted
LREC
2008
15 years 2 months ago
2008
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
195
click to vote
CSE
2011
IEEE
14 years 11 days ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
112
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
111
Voted
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
110
Voted
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...