Abstract Ultimate Taipan integrates trace abstraction with algebraic program analysis on path programs. supports data race checking in concurrent programs through a reduction to reachability checking. Though the subsequent verification is not tuned for checking, results are encouraging.

One of the supreme perplexing problems of cloud service provisioning is to motivate users to believe and to trust the security of cloud service and upstream their sensitive data. Even though cloud service providers can say that their services are heavily protected by extravagant encryption methodologies, modern cloud systems still cannot convince the users that even if the cloud servers are exp...

Everyone starts life with some feelings of inferiority. Subsequent success or failure is determined by the ability to adjust the inferiority feeling to the demands of life. Normal development requires the recognition of one’s limitations and capacities in order to achieve a profitable balance in emotional maturity. The inferiority complex is different from the inferior feeling of which the form...

This essay rejoins Merinda Simmons’s protection of Russell McCutcheon’s critic vs. caretaker dichotomy in her response to my “Can a Critic be a Caretaker Too? Religion, Conflict and Conflict Transformation” (JAAR 2011). While Simmons aims to preserve McCutcheon’s binary as a purportedly benignly unavoidable opposition, I expose the perils of epistemic anti-realism at the heart of that dichotomy...

one of the most important issues concerned with causation is that of ultimate cause. the ultimate in philosophy is used in two senses; one means: “something to which movement is directed”; the other means: “something for which movement takes place.” there are three theories with regand to “what is ultimate cause?” 1. the external existence of the ultimate of act; 2. the conception of the ultima...

Abstract I explain how philosophy, science and theology can continue to work together concerning the issue of ultimate origins. In reply objection that we should try find a scientific explanation rather than accepting conclusion design, KCA-TA demonstrates cannot be one, because first event must have been brought about by First Cause with libertarian freedom not mechanism describable law nature...