We introduce and illustrate basic notions of abstract interpretation theory and its applications by relying on the readers general scientific culture and basic knowledge of computer programming.

law is the follower of social changes and its final main aim is to make law system of relation resulted from. simultaneously by human social improvements in the field of communication in recent decades- which calls the present age the age of communication- a concept names electronic government has formed and has changed the model of general services presentation. the entrance of technical infor...

Purpose (mandatory): This study aims to understand young children’s knowledge of visual literacy elements as well as their ability to comprehend newly introduced visual literacy concepts. The study also examined existing support for visual literacy programs from parents and educators. Design/methodology/approach (mandatory): The study explored the knowledge of basic visual literacy elements of ...

in this paper, a mechanized system for self-assessment based on process-oriented approach of iso 9004:2000 has been developed. to design of this mechanized system, the expert system has been used as in providing the assessment and scoring questions the experts’ knowledge, head auditors of quality management system, has been used and this knowledge has been saved in the access software database....

Man-machine communication with natural language requires the integration of heterogeneous knowledges within a homogeneous framework. This problem concerns more particularly the speech/natural language interface. We propose in this paper an HPSG view of prosody illustrated with French intonation phenomena. We show that this linguistic theory is adapted for the integration representation: typed f...

Developing countries are increasingly relying on Information and Communication Technology (ICTs) for their socio-economic development. Many countries have achieved faster gross domestic product (GDP) growth through information technology (IT) outsourcing, which is now largely recognized as a strategic management practice that can provide a competitive advantage in business. The East African Com...