2836 search results - page 185 / 568 » Model Checking for Software Architectures |
136
click to vote
CONCURRENCY
2006
15 years 4 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
121
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
141
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...
132
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
145
click to vote
SERA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...