10263 search results - page 273 / 2053 » From Use Cases to System Operation Specifications |
173
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
206
click to vote
CADUI
2004
15 years 8 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
183
click to vote
ISOLA
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
196
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
This paper presents the design and real-time implementation of a fall-detection system, aiming at detecting fall incidents in unobserved home situations. The setup employs two fix...
213
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A real world challenging task of the web master of an organization is to match the needs of user and keep their attention in their web site. So, only option is to capture the intu...