Software architecture has emerged as the foundational linch pin for designing systems that meet their behavioral and quality requirements, which include real-time constraints. Since architects presumably do not work randomly, but make architectural design decisions based on rational goal-based considerations, it follows that architectures (the sum of their design decisions) can be evaluated to ...

For ML and Haskell, accurate warnings when a function definition has redundant or missing patterns are mission critical. But today’s compilers generate bogus warnings when the programmer uses guards (even simple ones), GADTs, pattern guards, or view patterns. We give the first algorithm that handles all these cases in a single, uniform framework, together with an implementation in GHC, and evid...

in shī‘ism, the imams (a.s.) have been the perpetuators of the holy prophet’s (a.s.) prophetic mission. clarifying their role in perpetuation of the above-mentioned mission is among the questions that the thinkers have always inquired about. given the undeniable doctrines of the finality of the prophethood, this question has to be answered in a way that no other prophets are made out of the ima...

Distributed real-time embedded (DRE) systems often must perform sequences of coordination and heterogeneous data manipulation tasks to meet specified goals. Autonomous operation of DRE systems in dynamic and uncertain environments can benefit from the integrated operation of (1) a Spreading Activation Partial Order Planner that combines task planning and scheduling in uncertain environments wit...