4241 search results - page 191 / 849 » A Knowledge-Based Software Information System |
99
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
141
Voted
ISJ
2006
15 years 3 months ago
2006
Abstract. While a large body of research exists on the development and implementation of software, organizations are increasingly acquiring enterprise software packages [e.g. enter...
122
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
119
Voted
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
138
Voted
AIPS
2003
15 years 5 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...