963 search results - page 87 / 193 » Formal Analysis of BPMN Models Using Event-B |
108
click to vote
TAMODIA
2008
15 years 2 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
180
click to vote
CLIMA
2011
14 years 1 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
111
click to vote
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
129
click to vote
FAC
2008
15 years 1 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
122
click to vote
TCBB
2008
15 years 1 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...