The Conditional DAG (CDAG) task model is used for modeling multiprocessor real-time systems containing conditional expressions which outcomes are not known prior to their evaluation. Feasibility analysis CDAG tasks upon platforms shown be complete the complexity class pspace ; assuming \({\rm np}\not= {\rm pspace} \) , this result rules out use of Integer Linear Programming solvers solving prob...

This paper characterizes several belief-revision rules in a uni…ed framework: Bayesian revision upon learning some event, Je¤rey revision upon learning new probabilities of some events, Adams revision upon learning some new conditional probabilities, and ‘dual-Je¤rey’revision upon learning a new conditional probability function. Despite their di¤erences, these revision rules can be characterize...

We introduce a novel conditional e-cash protocol allowing future anonymous cashing of bank-issued e-money only upon the satisfaction of an agreed-upon public condition. Payers are able to remunerate payees for services that depend on future, yet to be determined outcomes of events. Once payment complete, any double-spending attempt by the payer will reveal its identity; no double-spending by th...

autism is a neurodevelopmental disorder originating from early childhood; nevertheless, its diagnosis is in older ages. in addition to heredity, environmental factors are also of great significance in the etiology of the disease. dermatoglyphic patterns, albeit varied, remain stable for a lifetime and yield a large number of patterns upon examination. studies have shown a significant associatio...