6253 search results - page 314 / 1251 » Use Case Modeling Guidelines |
131
click to vote
DBISP2P
2003
Springer
15 years 9 months ago
2003
Springer
The popularity of peer-to-peer search networks continues to grow, even as the limitations to the scalability of existing systems become apparent. We propose a simple model for sear...
118
Voted
WICON
2008
15 years 5 months ago
2008
We present a fluid flow model to analyze backlog-based CSMA policies. The model is obtained using a CSMA fixed point approximation that has been recently proposed and analyzed. We...
133
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose a new provenance model which is tailored to a class of workflow-based applications. We motivate the approach with use cases from the astronomy community. ...
139
click to vote
WSC
1989
15 years 5 months ago
1989
One of the factors affecting the performance of distributed simulation models is the assignment of logical processes to processors. This paper outlines a dynamic allocation scheme...
117
click to vote
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...