1356 search results - page 55 / 272 » The ideal of verified software |
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
AAI
2006
14 years 12 months ago
2006
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
CSEE
2007
Springer
15 years 6 months ago
2007
Springer
A wiki is a web tool that allows users to easily create and edit web pages collaboratively. The ease-of-editing feature and accessibility from anywhere by anyone make wikis ideal ...
TRUST
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...