Design process of computing systems gradually evolved to a level that encompasses formal verification techniques. However, the integration of formal verification techniques into a methodical design procedure has many inherent miscomprehensions and problems. The paper explicates the discrepancy between the real system implementation and the abstracted model that is actually used in the formal ve...

In this position paper, the two terms design-oriented research and research-oriented design are studied and discussed in some detail in relation to HCI. In designoriented research—where research is the area and design the means—the production of new knowledge and the questioning of problem descriptions and other kinds of limitations to the freedom of design are seen as characterizing elements. ...

We examine the economics literature on tacit collusion in oligopoly markets and take steps toward clarifying the relation between economists’ analysis of tacit collusion and those in the legal literature. We provide an example to motivate the idea that collusive profits can be achieved via tacit coordination in an environment where there is a unique, salient way for colluders to maximize and di...

Management theory teaches that successful innovation requires concomitant changes among the system ’ s components to achieve congruence or fi t . 1 Similar thinking has been applied to changing the U.S. health care system. 2 In recent years, there has been growing recognition that payment reform of the U.S. health care system must be accompanied by corresponding reforms in the delivery system. ...

In this article, we are concerned with the following problem: let X be a Banach space, over the field F (F = C or R), V ⊂ X is an n-dimensional subspace of X and u1, . . . ,um are m linearly independent functionals on X. given x∈X we want to recover x on the basis of the values u1(x), . . . ,um(x)∈ F. Hence we are looking for a map F : X → V such that uj (Fx) = uj (x) for all j = 1, . . . ,m. S...

Electronic communications have become the most important kind of communications in business. However, trust, privacy and security have become the great challenges for business and governments around the globe. The Public Key Infrastructure (PKI) model tries to solve these issues and make the Internet more secure. This paper explains the main purposes of PKI and addresses some of the major issue...

in this paper a new method is proposed for path planning of planar manipulators amid obstacles through mathematical programming in a way that the robot’s links avoid collision with obstacles throughout their motion from an initial to a goal configuration. after inputting the workspace geometry, the shortest feasible path for the robot’s end-effector is planned toward its goal position using gen...

this paper consists of two parts. the first section describes the index and process of globalization and presents kof and a.t. kearney models and index. it also shows the situation of iran in the process of globalization. the results of this section indicate that based on the above mentioned index, iran does not have a good situation in the globalization process (iran’s position is the lowest a...

in recent years, various attempts have been made by media managers to achieve a framework to move from conventional newsrooms to convergent newsrooms.so it seems that the recognition of obstacles and barriers faced by newsrooms attaches of great importance. this research is a complete series of these challenges in four categories, including: technological, organizational, cultural and instituti...