19979 search results - page 383 / 3996 » Decision support systems |
192
click to vote
LPAR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
183
click to vote
IPPS
2002
IEEE
16 years 18 days ago
2002
IEEE
In this paper, we present the overall design for an auctioning based resource trading/acquiring system that can be deployed in wide-area computing systems such as Grid systems. Se...
184
click to vote
HICSS
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper addresses a purely software-based solution to the multiprocessor cache coherence problem by structuring an operating system to provide for the coherence of its own data...
140
click to vote
ICALT
2009
IEEE
15 years 11 months ago
2009
IEEE
This study proposed the multi-user G-Math PeerTutoring System for facilitating students' tutoring strategies in math learning in the remedial instruction. The G-Math Peer-Tut...
201
click to vote
DFG
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...