3281 search results - page 318 / 657 » An Approach to use Executable Models for Testing |
117
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
161
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Indexing echocardiogram videos at different levels of structure is essential for providing efficient access to their content for browsing and retrieval purposes. We present a nove...
135
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
On-Line Analytical Processing (OLAP) technologies are being used widely, but the lack of effective means of handling data imprecision, which occurs when exact values are not known...
156
click to vote
INCDM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Spam is serious problem that affects email users (e.g. phishing attacks, viruses and time spent reading unwanted messages). We propose a novel spam email filtering appr...
145
click to vote
TEC
2008
15 years 4 months ago
2008
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...