For analyzing parallel and distributed programs, a systematic method for understanding the complex dynamic behavior of concurrent process interactions and dependencies is a must. Integrating functional modeling and trace-driven post-mortem debugging, we have developed a new approach for debugging parallel programs. Bevor executing measurements, a model is created for defining events systematica...

In this paper we present an approach for the Automatic Display Layout of Web applications based on the WebML modeling language. The WebML development method is model-driven: its conceptual models contain several elements that can be exploited for defining a procedure for the automatic displacement of page contents. In this paper we describe the development life cycle of our Web Engineering appr...

Increased regulation forces financial companies to assure their business processes’ compliance with legal and company-internal rules. In this paper, we introduce a model-driven business process compliance checking approach. It allows for defining compliance rules and identifying their occurrences in process models based on a graph theory-based approach. We outline the challenges to be met in th...

In this paper, after defining pure proportional navigation guidance in the 3-dimensional state from a new point of view, range estimation for passive homing missiles isexplained. Modeling has been performed by using line of sight coordinates with a particulardefinition. To obtain convergent estimates of those state variables involved particularly inrange channel and unavailable from IR trackers...

Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defining how complex systems can be structured in order to conform with those class models and, further, which constraints class models must adhere to so that such conformity is affordable. This paper focuses on instance mod...

Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defining how complex systems can be structured in order to conform with those class models and, further, which constraints class models must adhere to so that such conformity is affordable. This paper focuses on instance mod...

In this paper we present an automatic method for extraction of synonyms of verbs from an explanatory dictionary based only on hyponym/hyperonym relations existing between the verbs defined and the genus used in their definitions. The set of pairs verb-genus can be considered as a directed graph, so we applied an algorithm to identify cycles in these kind of structures. We found that some cycles...

gravity acceleration data have grand pursuit for marine applications. due to environmental effects, marine gravity observations always hold a high noise level. in this paper, we propose an approach to produce marine gravity data using satellite altimetry, high-resolution geopotential models and harmonic splines. on the one hand, harmonic spline functions have great capability for local gravity ...