1622 search results - page 194 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
112
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...
107
click to vote
TGC
2007
Springer
15 years 8 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
109
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
Potential sanitary effects related to electromagnetic fields exposure raise public concerns, especially for fetuses during pregnancy. Human fetus exposure can only be assessed thro...
109
click to vote
PIMRC
2008
IEEE
15 years 8 months ago
2008
IEEE
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...