This paper considers optimal supervisory control of probabilistic discrete event systems (PDESs). PDESs are modeled as generators of probabilistic languages. The probabilistic supervisors employed enable/disable events with certain probabilities. We consider the case when there exists no probabilistic supervisor to match the behaviour of a plant to a probabilistic requirements specification. Fi...

We present an approach to integrating voice-based natural language instruction and action in the three-tiered robot architecture. Voice inputs activate goals organized in a semantic network. Activated goals enable and disable behaviors. We describe how we implemented and tested our approach on two autonomous agents: a software agent and a mobile robot. Our implementation offers a proof by const...

This demo shows how we have used a stream reasoning mechanism, C-SPARQL, as the main component of a Monitoring Platform for multi-Clouds applications, that is, applications replicated or distributed on multiple Clouds. The C-SPARQL engine executes monitoring queries on data gathered both from application-level components deployed on the Cloud and from Cloud-level resources. We show how, through...

Standard client-server workflow management systems have an intrinsic scalability limitation: the central server is a bottleneck for large scale applications. It is also a single fault point that may disable the whole system. We propose a fully distributed architecture for workflow management systems. It is based on the idea that the case (an instance of the process) migrates from host to host, ...

We describe a new approach to providing adaptable thin client interfaces for web-based information systems. Developers specify web-based interfaces using a high-level mark-up language based on the logical structure of the user interface. At run-time this single interface description is used to automatically provide an interface for multiple web devices e.g. desk-top HTML and mobile WML-based sy...

We experimentally investigate the security of several smartphone point-of-sale (POS) systems that consist of a software application combined with an audio-jack magnetic stripe reader (AMSR). The latter is a small hardware dongle that reads magnetic stripes on payment cards, (sometimes) encrypts the sensitive card data, and transmits the result to the application. Our main technical result is a ...

Rule-based model transformation approaches show two kinds of non-determinism: (1) Several rules may be applicable to the same model and (2) a rule may be applicable at several different matches. If two rule applications to the same model exist, they may be in conflict, i.e., one application may disable the other one. Furthermore, rule applications may enable others leading to dependencies. The ...

For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic scripture. Words and the grammar are given as pictograms. The pictographic lexicon must be organized following the mental lexicon of the user to propose the pictograms of grammar in order to facilitate his task of wri...

A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in order to support such a specification is however tedious for administrators to manually handle. By compiling the choreography into enhanced authorization policies, we are able to automatically derive the minimal authorizations requ...

Goods producers in Canada rely on transportation networks to move raw materials and intermediate goods among production sites and finished goods to domestic and international markets. Firms in the retail, tourism and other service sectors also depend on transportation networks to assemble supplies and goods for sale and to bring customers to their facilities. Events that disable parts of the tr...