2935 search results - page 242 / 587 » An Integrated Approach to High Integrity Software Verificati... |
184
click to vote
ISSRE
2006
IEEE
16 years 20 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
158
click to vote
IRI
2005
IEEE
16 years 7 days ago
2005
IEEE
Legacy systems are valuable assets for organisations. They continuously evolve with new emerged technologies in rapidly changing business environment. ICENI provided an excellent ...
159
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The paper presents a brief survey of the fight between spammers and antispam software developers, and also describes new approaches to spam filtering. In the first two sections we...
174
click to vote
FSE
2001
Springer
15 years 11 months ago
2001
Springer
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
173
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...