Sciweavers

2951 search results - page 322 / 591
» Trustable Task Processing Systems
Sort
View
IJCAI
1989
15 years 7 months ago
A Focused, Context-Sensitive Approach to Monitoring
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...
Richard J. Doyle, Suzanne M. Sellers, David Atkins...
COR
2007
80views more  COR 2007»
15 years 6 months ago
A heuristic approach to simultaneous course/student timetabling
Many approaches have been taken in academic environments to address the problem of student and course timetabling. Typically, student scheduling and course scheduling have been tr...
Christopher Head, Sami Shaban
DSS
2007
89views more  DSS 2007»
15 years 6 months ago
MSMiner - a developing platform for OLAP
Since the early 1970s, decision support systems (DSS) have evolved significantly. In this paper, the design and implementation of MSMiner, a developing platform for DSS, is introd...
Zhongzhi Shi, Youping Huang, Qing He, Li Da Xu, Sh...
CORR
2011
Springer
128views Education» more  CORR 2011»
15 years 1 months ago
Load Balancing in a Networked Environment through Homogenization
Distributed processing across a networked environment suffers from unpredictable behavior of speedup due to heterogeneous nature of the hardware and software in the remote machine...
M. Shahriar Hossain, M. Muztaba Fuad, Debzani Deb,...
183
Voted
JAR
1998
134views more  JAR 1998»
15 years 6 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge