506 search results - page 50 / 102 » Contracts as Pairs of Projections |
119
click to vote
ISPE
2003
15 years 1 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
107
click to vote
OSDI
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
105
click to vote
EUROSYS
2006
ACM
15 years 5 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
120
click to vote
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
EJC
2007
14 years 11 months ago
2007
We prove that the translation plane and the shift plane defined by a planar partition function form an oval pair of projective planes in the sense that the planes share a line pe...