5946 search results - page 789 / 1190 » Visual requirement representation |
168
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
169
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
156
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
—A method of testing for parametric faults of analog circuits based on a polynomial representation of fault-free function of the circuit is presented. The response of the circuit...
207
click to vote
AFRICACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
180
Voted
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a cognitive process whereby t...