2513 search results - page 292 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
193
click to vote
IJCNN
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper argues that connectionist systems are a good approach to implement a speech understanding computational model. In this direction, we propose SUM, a Speech Understand...
174
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We advocate a network on silicon (NOS) as a hardware architecture to implement communication between IP cores in future technologies, and as a software model in the form of a prot...
161
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
147
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
153
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...