2635 search results - page 171 / 527 » Refactoring Process Models in Large Process Repositories |
115
click to vote
AIM
2006
15 years 5 months ago
2006
: The aim of this study is to assess quality perception of information system (IS) services outsourced by a large Brazilian bank, both from a technical (results) as well as from a ...
112
click to vote
JGS
2010
14 years 11 months ago
2010
The purpose of this paper is to suggest estimators for the parameters of spatial models containing a spatially lagged dependent variable, as well as spatially lagged independent va...
122
click to vote
IJEB
2008
15 years 4 months ago
2008
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...
122
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Wireless data broadcasting is well known for its excellent scalability. Most geographical data, such as weather and traffic, is public information and has a large number of potenti...
167
click to vote
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...