11436 search results - page 65 / 2288 » Modeling Real Reasoning |
142
Voted
BPM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
120
Voted
HPCA
1999
IEEE
15 years 7 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
127
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
69
Voted
ICEIS
2009
IEEE
15 years 9 months ago
2009
IEEE
87
Voted
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM