5113 search results - page 848 / 1023 » Model-integrated system development: models, architecture, a... |
179
click to vote
TON
2010
15 years 1 months ago
2010
This paper develops a new model that describes the queueing process of a communication network when data sources use window flow control. The model takes into account the burstines...
175
click to vote
JCDL
2006
ACM
16 years 13 days ago
2006
ACM
Measurements of the impact and history of research literature provide a useful complement to scientific digital library collections. Bibliometric indicators have been extensively...
216
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
164
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
151
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...