2740 search results - page 151 / 548 » A Model-Based Approach To Requirements Analysis |
FIW
2009
13 years 8 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
ICCAD
2005
IEEE
14 years 7 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
LCN
2008
IEEE
14 years 5 months ago
2008
IEEE
—This paper presents the initial evaluation of a novel network device being located in edge nodes. It provides relaxed QoS guarantees to certain flows on a congested link by foc...