Abstract Course management system (CMS) is now playing an important part in academic systems for students and teachers. As earlier, it lacks social interaction between teachers and students and managing assignments, courses and grading for educational institutes. Now solving these issues, provide such platform whose main objective is to provide effective and efficient usability. Different aspects are also highlighted like navigation,... Course management system (CMS) is now playing an important part in academic systems for students and teachers. As earlier, it lacks social interaction between teachers and students and managing assignments, courses and grading for educational institutes. Now solving these issues, provide such platform whose main objective is to provide effective and efficient usability. Different aspects are also highlighted like navigation, design layout, functionality available in CMS. The goal of this paper is the comparing the usability study between two CMS: MYCCNET and Schoology. Teachers and students participated in this usability study and positive and negative results are drawn out from different participants according to different aspects. From teacher’s perspective, both CMS are the solution to their problems as they can grade students, make announcements, upload handouts, make events and chat with students. From student’s perspective, Schoology got more votes as compared to MYCCNET due to its simple interface and all functions available on the screen Our research method was survey based analysis with qualitative approach to the data collection. Results drew that CMS should be interactive with simple interface which is easier understood by both teachers and students. Schoology possess main features which a standard CMS should have. [1] Read More Read Less

Abstract A multi-agent system is used to solve problem that is difficult or impossible to solve by centralized system. Our multi-agent system provides a system that is formally verified. We have analyzed the development process of a multi-agent system after classifying it in the major phases of formal verification specifications, architecture specifications and implementation. Formal verification helps confirm that your software... A multi-agent system is used to solve problem that is difficult or impossible to solve by centralized system. Our multi-agent system provides a system that is formally verified. We have analyzed the development process of a multi-agent system after classifying it in the major phases of formal verification specifications, architecture specifications and implementation. Formal verification helps confirm that your software models and code behave correctly. We are using Formal model-checking approaches for the architecture and verification specifications. Formal verification, architecture, and implementation of an excursionist multi-agent system are implemented by using JADE (Java Agent Development Framework). JADE is a software framework fully implemented in Java language. It simplifies the implementation of multiagent systems with FIPA specifications and through a set of graphical tools that supports the debugging and deployment phases. This multi-agent system informs a user about their exact location, and guides him to find other locations (i.e. faculties, offices, hostels, banks, other buildings etc) inside the Bagdad-ul-Jaded Campus. Our system is based on Cartesian coordinates. Depending on the type of problem under consideration, coordinate systems possessing special properties may allow particularly simple solution. In addition to locating the position of user it also locates and guides him towards the other locations. Read More Read Less

Abstract Components are the imperative parts and the unit of a system. It plays a fundamental role in smoothly running and proper functionality within a system. A component is said to be secure, if it has towering scope of security. Security is the shield from unauthorized right to use. Unofficial users are informally accessing and modifying the components within a system.... Components are the imperative parts and the unit of a system. It plays a fundamental role in smoothly running and proper functionality within a system. A component is said to be secure, if it has towering scope of security. Security is the shield from unauthorized right to use. Unofficial users are informally accessing and modifying the components within a system. Such accessing and modifications are ultimately affects the functionality and efficiency of a system. As software development activities are growing day by day, the security of components is important. In the proposed methodology fuzzy logic (FL) based approach is used to model and evaluate the security of component. The method is designed for some inputs which are availability, authentication, confidentiality, safety and stability. Read More Read Less

Abstract Course management system (CMS) is now playing an important part in academic systems for students and teachers. As earlier, it lacks social interaction between teachers and students and managing assignments, courses and grading for educational institutes. Now solving these issues, provide such platform whose main objective is to provide effective and efficient usability. Different aspects are also highlighted like navigation,... Course management system (CMS) is now playing an important part in academic systems for students and teachers. As earlier, it lacks social interaction between teachers and students and managing assignments, courses and grading for educational institutes. Now solving these issues, provide such platform whose main objective is to provide effective and efficient usability. Different aspects are also highlighted like navigation, design layout, functionality available in CMS.The goal of this paper is the comparing the usability study between two CMS: MYCCNET and Schoology. Teachers and students participated in this usability study and positive and negative results are drawn out from different participants according to different aspects. From teacher’s perspective, both CMS are the solution to their problems as they can grade students, make announcements, upload handouts, make events and chat with students. From student’s perspective, Schoology got more votes as compared to MYCCNET due to its simple interface and all functions available on the screen Our research method was survey based analysis with qualitative approach to the data collection. Results drew that CMS should be interactive with simple interface which is easier understood by both teachers and students. Schoology possess main features which a standard CMS should have. [1] Read More Read Less

Abstract A multi-agent system is used to solve problem that is difficult or impossible to solve by centralized system. Our multi-agent system provides a system that is formally verified. We have analyzed the development process of a multiagent system after classifying it in the major phases of formal verification specifications, architecture specifications and implementation. Formal verification helps confirm that your... A multi-agent system is used to solve problem that is difficult or impossible to solve by centralized system. Our multi-agent system provides a system that is formally verified. We have analyzed the development process of a multiagent system after classifying it in the major phases of formal verification specifications, architecture specifications and implementation. Formal verification helps confirm that your software models and code behave correctly. We are using Formal model-checking approaches for the architecture and verification specifications. Formal verification, architecture, and implementation of an excursionist multi-agent system are implemented by using JADE (Java Agent Development Framework). JADE is a software framework fully implemented in Java language. It simplifies the implementation of multiagent systems with FIPA specifications and through a set of graphical tools that supports the debugging and deployment phases. This multi-agent system informs a user about their exact location, and guides him to find other locations (i.e. faculties, offices, hostels, banks, other buildings etc) inside the Bagdad-ul-Jaded Campus. Our system is based on Cartesian coordinates. Depending on the type of problem under consideration, coordinate systems possessing special properties may allow particularly simple solution. In addition to locating the position of user it also locates and guides him towards the other locations. Read More Read Less

Abstract Components are the imperative parts and the unit of a system. It plays a fundamental role in smoothly running and proper functionality within a system. A component is said to be secure, if it has towering scope of security. Security is the shield from unauthorized right to use. Unofficial users are informally accessing and modifying the components within a system.... Components are the imperative parts and the unit of a system. It plays a fundamental role in smoothly running and proper functionality within a system. A component is said to be secure, if it has towering scope of security. Security is the shield from unauthorized right to use. Unofficial users are informally accessing and modifying the components within a system. Such accessing and modifications are ultimately affects the functionality and efficiency of a system. As software development activities are growing day by day, the security of components is important. In the proposed methodology fuzzy logic (FL) based approach is used to model and evaluate the security of component. The method is designed for some inputs which are availability, authentication, confidentiality, safety and stability. Read More Read Less