6800 search results - page 178 / 1360 » Testing with Functions as Specifications |
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
Consumer informedness plays a critical role in determining consumer choice. Companies now use hyperdifferentiation and resonance marketing strategies to benefit from the long-tail....
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
GROUP
2007
ACM
14 years 1 months ago
2007
ACM
This paper examines how software developers discuss users and how such discussions are intrinsic to the negotiation and settling of technical decisions in the development and test...
AUTOMATICA
2010
13 years 9 months ago
2010
In this paper, an original result in terms of a sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is give...
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
Abstract— An efficient algorithm for three-dimensional (3D) capacitance extraction on multi-layered and lossy substrate is presented. The new algorithm represents a major improv...