1761 search results - page 69 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
TACAS
2000
Springer
14 years 18 days ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
EUROPKI
2004
Springer
14 years 2 months ago
2004
Springer
The use of PKI in large scale environments suffers some inherent problems concerning the options to adopt for the optimal cost-centered operation of the system. In this paper a Mar...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
ASPDAC
2009
ACM
14 years 1 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...