2518 search results - page 52 / 504 » Using Communication Objects During Requirements Analysis |
104
click to vote
IFM
2000
Springer
15 years 5 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
122
click to vote
ANOR
2010
15 years 2 months ago
2010
For capacity planning issues in health care, such as the allocation of hospital beds, the admissions rate of patients is commonly assumed to be constant over time. In addition to ...
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
103
click to vote
EWC
2008
15 years 2 months ago
2008
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
MASCOTS
2007
15 years 3 months ago
2007
Abstract— Wireless Mesh Networks are a scalable and costeffective solution for next-generation wireless networking. In the present work, we consider the Round Weighting Problem (...