8022 search results - page 343 / 1605 » Predictability in Critical Systems |
196
click to vote
JSC
2007
15 years 6 months ago
2007
Given a monoid string rewriting system M, one way of obtaining a complete rewriting system for M is to use the classical Knuth-Bendix critical pairs completion algorithm. It is we...
258
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
178
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
193
Voted
SC
2004
ACM
16 years 5 days ago
2004
ACM
In petabyte-scale distributed file systems that decouple read and write from metadata operations, behavior of the metadata server cluster will be critical to overall system perfo...
164
click to vote
HT
2003
ACM
16 years 8 hour ago
2003
ACM
This paper argues that the existence of a developer support framework is a critical issue to the usage of Open Hypermedia Systems (OHSs). For this reason, the OHS Community would ...