Abstract In a world inundated with information, it’s becoming increasingly difficult to filter out the unwanted, retain what is needed, and finally garner insight from it. It’s not just information in the ‘traditional’ sense that is adding to this deluge, but with the proliferation of affordable and versatile sensors, information chunks in the form of discrete events are pouring in from places hitherto unthinkable...... In a world inundated with information, it’s becoming increasingly difficult to filter out the unwanted, retain what is needed, and finally garner insight from it. It’s not just information in the ‘traditional’ sense that is adding to this deluge, but with the proliferation of affordable and versatile sensors, information chunks in the form of discrete events are pouring in from places hitherto unthinkable... or unreachable. Compass focuses on taming this fire-hose towards providing a smarter way to analyze and process events. Compass takes the n-dimensional event space through a series of transformation which makes the event space more amenable for analysis. Firstly, it aggregates the discrete events across time and space along the component axis. Secondly, it reduces the dimensionality of the state space by partitioning the state space into several spatio-temporal Regions of Interests (RIs). The RIs are composed of one or more Space- Time Elements (STEs), which are the lowest level units monitoring the incoming events. These RIs themselves cycle through various states like ‘hot’, ‘warn’, ‘alert’, which will enable remedial actions to be triggered. With these two transformations, Compass paves the way for ‘emergent’ behavior; where the system can be analyzed at macro-level states by making use of the micro-level events. Read More Read Less

Abstract In this paper formal methods are discussed for software engineering. Formal methods are very important for critical systems development where system properties such as security, reliability, and safety are very important. Critical systems have very high validation costs and the costs of system failure are large and increasing. Formal methods can reduce these costs. They are used to improve the software... In this paper formal methods are discussed for software engineering. Formal methods are very important for critical systems development where system properties such as security, reliability, and safety are very important. Critical systems have very high validation costs and the costs of system failure are large and increasing. Formal methods can reduce these costs. They are used to improve the software quality, reliability, usability, dependability and maintainability. Formal methods based on mathematical models; two basically tools are used to build the mathematical model that are logics and set theory. Formal techniques use the discrete mathematics and mathematical logics. Formal methods also provide the correctness proofs. The formal method’s area of application is requirement analysis, specification, design & implementation and verification & validation that are briefly discussed. In this paper the some important formal methods, techniques and their importance is elaborated with example. Especially propositional logic and Calculate assignment are also discussed with examples. Read More Read Less

Abstract Today dashboards are a clear factor of differentiation for decision-makers, providing critical business indicators in useful time. They are very important data visualization mechanisms, simple to interpret, easy to deal, and fast on showing pertinent data. Dashboards provide means for reducing time of information analysis, disposing business indicators in quite understandable and attractive interface platforms – a “simple and beautiful” way to support... Today dashboards are a clear factor of differentiation for decision-makers, providing critical business indicators in useful time. They are very important data visualization mechanisms, simple to interpret, easy to deal, and fast on showing pertinent data. Dashboards provide means for reducing time of information analysis, disposing business indicators in quite understandable and attractive interface platforms – a “simple and beautiful” way to support business analysis. However, they use to be static software artifacts having not the ability to evolve, to adapt by themselves to new user needs, tendencies or preferences. In order to provide such abilities, we designed and implemented a personalization system for data visualization platforms. All system’s services, ranging from data gathering to data profiling, were developed using a community of autonomous agents with the ability to act together using a private data cloud as a cooperative environment. In this paper we present how the system was conceived, its functional architecture and services, and how agents were implemented, especially the ones related to the personalization of business dashboards. Read More Read Less