5227 search results - page 365 / 1046 » Enterprise modeling using class and instance models |
168
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
189
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
203
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Using MPI as communication interface, one or several applications may introduce complex communication behaviors over the network cluster. This effect is increased when n...
184
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
181
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present the index-permutation (IP) graph model, and apply it to the systematic development of efficient hierarchical networks. We derive several classes of inter...