423 search results - page 49 / 85 » Formal access control analysis in the software development p... |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
This paper describes the development of EyeDraw, a software system that enables children with severe motor impairments to draw pictures by just moving their eyes. EyeDraw will hel...