612 search results - page 43 / 123 » Division for Foundation of Software |
149
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Current sequencing technologies give access to sequence information for genomes and metagenomes at a tremendous speed. Subsequent data processing is mainly performed b...
125
Voted
TOSEM
1998
15 years 3 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
152
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
143
click to vote
CORR
1998
Springer
15 years 3 months ago
1998
Springer
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
123
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...