2255 search results - page 146 / 451 » High Assurance Software Systems |
170
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
215
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
175
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
To execute a shared memory program efficiently, we have to manage memory consistency with low overheads, and have to utilize communication bandwidth of the platform as much as pos...
157
click to vote
SCAM
2005
IEEE
15 years 12 months ago
2005
IEEE
The concept of software cohesion in both the procedural and object-oriented paradigm is well known and documented. What is not so well known or documented is the perception of wha...
167
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...