Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...