1336 search results - page 61 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
110
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
141
Voted
ICANN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
116
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
152
Voted
JUCS
2000
15 years 3 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
136
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
In software development, resources for quality assurance are limited by time and by cost. In order to allocate resources effectively, managers need to rely on their experience bac...