2700 search results - page 436 / 540 » The role of abstraction in software engineering |
164
click to vote
ELPUB
2004
ACM
15 years 11 months ago
2004
ACM
tions, allowing interlinking of abstracting and indexing databases with full-text sources, and providing the ability to search across multiple databases simultaneously. Publishers ...
199
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
160
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
139
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...
172
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...