11436 search results - page 65 / 2288 » Modeling Real Reasoning |
128
click to vote
BPM
2005
Springer
15 years 6 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...
HPCA
1999
IEEE
15 years 5 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...
112
Voted
ACSC
2004
IEEE
15 years 4 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...
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE
74
Voted
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM