612 search results - page 47 / 123 » Division for Foundation of Software |
175
click to vote
ER
1997
Springer
15 years 8 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
155
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
124
click to vote
CACM
2010
15 years 4 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
129
click to vote
ECAIW
1994
Springer
15 years 8 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
107
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...