We present an institution of observational logic suited for state-based systems specifications. The institution is based on the notion of an observational signature (which incorporates the declaration of a distinguished set of observers) and on observational algebras whose operations are required to be compatible with the indistinguishability relation determined by the given observers. In parti...

consists of a small knowledge-based system teaching and assisting designers of interactive applications in selecting appropriate interaction styles for a particular context of use. As any other tool for working with guidelines, five development milestones have been browsed. Guidelines for selecting interaction styles have been captured in a knowledge-base system as selections among an available...

With daily development of information technology supply chain of service-based organizations like financial institutions and the increased value of outsourced activities, also the importance of customer satisfaction, outsourced affairs must have done by the suppliers who have the ability of accomplishing the organizational demands. To mitigate the risk of invalid supplier selections, verificati...

A fundamental problem of object tracking is to adapt to unseen views of the object while not getting distracted by other objects. We introduce Dynamic Objectness in a discriminative tracking framework to sporadically re-discover the tracked object based on motion. In doing so, drifting is effectively limited since tracking becomes more aware of objects as independently moving entities in the sc...

Platform-based design faces an essential tension: it wants to reuse previous designs to leverage IP; but new designs must necessarily include work that is not complete or well-characterized. Synthesis and analysis methods are therefore important elements in platform-based design methodologies. This paper describes two aspects of this problem. First, we consider the first-generation dilemma, in ...

A space can be sacred, providing those who inhabit a particular space with sense of transcendence-being connected to something greater than oneself. The sacredness may be inherent in the space, as for a religious institution or a serene place outdoors. Alternatively, a space may be made sacred by the people within it and events that occur there. As medical providers, we have the opportunity to ...