670 search results - page 81 / 134 » Software safety: relating software assurance and software in... |
177
click to vote
SSDBM
1999
IEEE
15 years 10 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
142
click to vote
HT
1997
ACM
15 years 10 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
145
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
151
click to vote
SCAM
2008
IEEE
16 years 15 days ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
147
click to vote
MMM
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...