Sciweavers

9182 search results - page 42 / 1837
» Requirements for Requirements Management Tools
Sort
View
DELTA
2008
IEEE
14 years 3 months ago
Addressing Heterogeneous Bandwidth Requirements in Modified Fat-Tree Networks-on-Chips
— A novel approach for satisfying heterogeneous bandwidth requirements of clients connected using a modified Fat Tree network-on-chip is presented. The new approach allows the No...
A. Bouhraoua, M. E. Elrabaa
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
14 years 2 months ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
SIGSOFT
2003
ACM
14 years 9 months ago
A strategy for efficiently verifying requirements
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
Ralph D. Jeffords, Constance L. Heitmeyer
WWW
2006
ACM
14 years 9 months ago
Requirements for multimedia document enrichment
Nowadays a large and growing percentage of information is stored in various multimedia formats. In order for multimedia information to be efficiently utilised by users, it is very...
Ajay Chakravarthy, Vitaveska Lanfranchi, Fabio Cir...
CAISE
2003
Springer
14 years 2 months ago
Are There Requirements for BPS?
A huge amount of effort is consumed in modelling business processes, and then in developing and maintaining tools, documentation, and training courses to support the modelled proce...
Ian F. Alexander