1992 search results - page 399 / 399 » Model Based Testing with Labelled Transition Systems |
138
Voted
JAR
2000
15 years 28 days ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
122
Voted
COMPSAC
2011
IEEE
14 years 28 days ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...