anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
As the operating frequencies of SAR-systems are increasing, the visible distortions due to precipitation in SAR-images are becoming more frequent. This holds especially for the ca...
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
The primary goal of the study presented in this paper is to develop a novel and comprehensive approach to decision making using fuzzy discrete event systems (FDES) and to apply su...
Feng Lin, Hao Ying, R. D. MacArthur, J. A. Cohn, D...
: Addressing new public challenges such as the one-stop government and improved service quality, we introduce serviceflow management as a generic concept to coordinate cross-organi...