1304 search results - page 202 / 261 » Model-Driven Engineering for Requirements Analysis |
125
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
ECIS
2004
15 years 2 months ago
2004
In a business environment, making the right decisions is vital for the success of a company. Making right decisions is inevitably bound to the availability and provision of releva...
106
click to vote
JCP
2008
15 years 1 months ago
2008
Complex numbers play a very important role in various applications of electrical and computer engineering. These days, arithmetic operations dealing with these numbers rely on a &q...
JDIM
2010
14 years 8 months ago
2010
ABSTRACT. The design process followed to produce traditional applications needs to be enhanced to cope with new contextaware ubiquitous application requirements. With the popularit...
115
click to vote
TC
2010
14 years 8 months ago
2010
A systematic approach to the comparison of the graphics processor (GPU) and reconfigurable logic is defined in terms of three throughput drivers. The approach is applied to five ca...