963 search results - page 158 / 193 » Formal Analysis of BPMN Models Using Event-B |
142
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
123
Voted
RECOMB
2000
Springer
15 years 7 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
129
Voted
ISER
1995
Springer
15 years 7 months ago
1995
Springer
We review the current state of research in autonomous mobile robots and conclude that there is an inadequate basis for predicting the reliability and behavior of robots operating ...
113
Voted
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
126
Voted
ISTA
2003
15 years 5 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...