The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
This paper deals with multidimensional ICA and its performance analysis, applied to cosmological observations. Our purpose is the separation of the cosmic microwave background rad...
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...