This paper considers completions of tope graphs complexes oriented matroids (COMs) to ample partial cubes the same Vapnik--Chervonenkis dimension (VC-dimension). We show that these exist for (OMs) and uniform (CUOMs). implies OMs CUOMs satisfy sample compression conjecture---one central open questions learning theory. conjecture graph every COM can be completed an cube without increasing VC-dim...

Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweight formal framework capable of capturing the essential components of service-oriented programming paradigm.

The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relatively new field, where many aspects still suffer from a lack of standardization. Also, the service-oriented approach is bringing together researchers from different communities or from organizations having developed their ...

We propose a methodology, based on Aspect-Oriented Modeling (AOM), for incorporating security mechanisms in an application. The functionality of the application is described using the primary model and the attacks are specified using aspects. The attack aspect is composed with the primary model to obtain the misuse model. The misuse model describes how much the application can be compromised. I...