The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic manner. These methods are based on an instantiate-projectand-generalize heuristic for the automatic generation of auxiliary constructs and a small model property implying that it is sufficient to check validity of a deductive ru...

This work was based on a previously developed methodology using shape modal description for matching image objects. With this methodology, the objects points were matched using a local search approach. This paper presents a global search methodology using optimization techniques to establish the correspondences between two objects. It was also developed a solution to match excess points after t...

Information system development can be considered a collaboration between users and developers. The inability to leverage the localized knowledge embedded in these two stakeholders hinders software development work to achieve high performance. Exploring the ways to counter this difficulty is then critical. This study applies an intellectual capital perspective to address the issues around spanni...

This paper presents an overview of the Agile Aerospace Manufacturing Research Center (AAMRC) at the Automation & Robotics Research Institute of The University of Texas at Arlington. The AAMRC is an industryled institute funded by the National Science Foundation and the Advanced Research Projects Agency of DoD. The center is a partnership of academia, industry, and state and local government whi...

extended abstract 1. introduction the important roles played by green space are the social, economic, cultural and environmental aspects of sustainable development. thus, the quality and quantity of green space should be appropriate to the physical size of the city and the needs of society and also it should be developed according to the ecological conditions of the city and its future developm...

Background There is an increasing trend of international migration of health professionals from low- and middle- income countries to high-income countries as well as across middle-income countries. The WHO Global Code of Practice on the International Recruitment of Health Personnel was created to better address health workforce development and the ethical conduct of international recruitment. T...

The “rules of the game” embodied in municipal documents constrain as well as provide opportunities for local government officials to capture individual benefits related to policy action. We test the mediating effect form of government has on the probability of joint venture formation for economic development purposes. Data is generated from a survey of local officials in 2004 and 2007. We find ...

In this paper we present a study conducted within the framework of an inservice professional development program for junior and senior high school mathematics teachers. The focus of the study is the analysis of processes encountered by the staff members, as members of a community of practice, which contributed to their growth as teacher educators. We offer a three-layer model of growth through ...