in the portfolio selection problem, the manager considers several objectives simultaneously such as the rate of return, the liquidity and the risk of portfolios. these objectives are conflicting and incommensurable. moreover, the objectives can be imprecise. generally, the portfolio manager seeks the best combination of the stocks that meets his investment objectives. the imprecise goal program...

Computer networks have become ubiquitous in our society and thus, the various types of resources hosted by them are becoming increasingly important. In this paper we study the resource availability in networks by defining a dedicated middleware language. This language is a conservative extension of the action system formalism, a general state-based approach to modeling and analyzing distributed...

This paper describes the adaptation and extension of an existing morphological system, Word Manager, and its integration into an intranet service of a large international bank. The system includes a tool for the analysis and extraction of simple and complex terms. As a side-effect the procedure for the definition of new terms has been consolidated. The intranet service analyzes HTML pages on th...

In this paper, we propose an extension of classical finite state machine as it called a timer embedded finite state machine (TEFSM) with its formal modeling methods. In the proposed state-based approach, a discrete event system is modeled as a coupled TEFSM. Also presented is a systematic procedure and architecture of developing a simulation executor with a synchronization manager for the coupl...

In this paper, we focus on an application and extension of Artificial Intelligence temporal reasoning techniques in order to represent and reason with temporal constraints in clinical guidelines. Particular attention is dedicated to the treatment of repeated (periodic) events, which play a major role in clinical therapies. We also discuss some limitations of our current approach, highlighting p...

The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by control structures for controlled rule applications. The control structures comprise well-known imperative structures like sequences and conditions on rule applications. Moreover, application conditions for individual r...

The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by control structures for controlled rule applications. The control structures comprise well-known imperative structures like sequences and conditions on rule applications. Moreover, application conditions for individual r...

The primary care physician is described as many things-generalist, information manager, chronic care coordinator, and specialist in disease prevention. But midlevel clinicians, the Internet, and self-motivated patients can provide most of these services quite ably on their own. Why, then, are we here? One indispensable role for the family doctor is to be an agent of change for our patients and ...