1829 search results - page 307 / 366 » Towards Validation of Requirements Models |
128
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
163
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Spectral expansion and matrix analytic methods are important solution mechanisms for matrix polynomial equations. These equations are encountered in the steady-state analysis of M...
151
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
167
click to vote
DIALM
2005
ACM
15 years 6 months ago
2005
ACM
Reducing interference is one of the main challenges in wireless communication, and particularly in ad hoc networks. The amount of interference experienced by a node v corresponds ...
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...