423 search results - page 35 / 85 » Formal access control analysis in the software development p... |
LREC
2008
13 years 10 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
The emergence of open-source libraries and development tools in the last decade has changed the process of academic software development in many ways. In medical image processing ...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
TKDE
2002
13 years 8 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...