8828 search results - page 286 / 1766 » Formal methods in practice |
169
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
197
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...
179
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
It is now common practice in machine vision to define the variability in an object's appearance in a factored manner, as a combination of shape and texture transformations. I...
165
Voted
ICALT
2006
IEEE
16 years 22 days ago
2006
IEEE
A big part of life long learning is the move from residential lectures to distance education. Distance education falls under the multi-modal policy of the teaching institution and...
187
click to vote
ISW
2004
Springer
16 years 1 days ago
2004
Springer
Due to the low entropy of human-memorable passwords, it is not easy to conduct password authenticated key agreement in a secure manner. Though there are many protocols achieving th...