6978 search results - page 1019 / 1396 » On Proofs in System P |
250
Voted
PCI
2005
Springer
16 years 1 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
217
Voted
EGPGV
2004
Springer
16 years 1 months ago
2004
Springer
Interactive ray tracing in a cluster environment requires paying close attention to the constraints of a loosely coupled distributed system. To render large scenes interactively, ...
235
Voted
POLICY
2004
Springer
16 years 1 months ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
200
Voted
ACSD
2003
IEEE
16 years 1 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
177
Voted
HOTOS
2003
IEEE
16 years 1 months ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...