introduction:the human being always attempts to find a way to improve his physical and mental abilities. history shows that, despite the many promotions in every branch of science and technology, we cannot see much improvement in thinking abilities. with the advent of the iinternet and www, many thought that the problem will be solved. but nowadays we can see that the main problem remains: the ...

We propose a theory of abstract descriptions of state machines in a many-sorted rst-order logic with abstract and concrete sorts. State variables containing data values have abstract sorts while control state variables have concrete sorts. Data operations are represented by uninterpreted function symbols. The theory provides a foundation for automated state enumeration methods whose complexity ...

We propose a model-based methodology for integration of heterogeneous distributed systems, based on the multi-level modeling abstractions, automated conflict analysis and connector code generation. The focus in this paper is on the metamodeling foundation necessary for this process, and consequently we introduce computation independent, platform specific, platform independent and semantic metam...

Background: The purpose of this study is to prevent the prevalence of infectious diseases in vulnerable groups by anticipating the role of actors in implementing decision-making models in conditions of uncertainty in medical universities. Methods: This research is an applied research by combining qualitative and quantitative methods based on the foundation data theory (Grand Theory). To determ...

We present Guardat, an architecture that enforces rich data access policies at the storage layer. Users, application developers and system administrators can provide per-file policies to Guardat. Guardat enforces these policies and provides attestations about the state of stored files. With Guardat, the data integrity, confidentiality and access accounting rules for a collection of files can be...