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...
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
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...
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...