7058 search results - page 560 / 1412 » Modelling Business Process Performance |
220
click to vote
ASPDAC
2004
ACM
16 years 1 months ago
2004
ACM
— It is predicted that 70% of the chip area will be occupied by memories in future system-onchips. The minimization of on-chip memory hence becomes increasingly important for cos...
187
click to vote
EUROPKI
2004
Springer
16 years 1 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...
187
click to vote
SNPD
2008
15 years 9 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
201
click to vote
IANDC
2006
15 years 7 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
231
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
We propose new methods to exploit contemporaneous text, such as on-line news articles, to improve language models for automatic speech recognition and other natural language proce...