264 search results - page 5 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
MATES
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
CODES
2007
IEEE
14 years 1 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
CAV
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
Measuring the accuracy of biometrics systems is important. Accuracy estimates depend very much on the quality of the test data that are used. Including poor quality data will degr...
DOLAP
1999
ACM
13 years 11 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...