1604 search results - page 198 / 321 » Development Separation in Lambda-Calculus |
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
92
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
113
Voted
ISMAR
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper proposes a novel remote face-to-face Mixed Reality (MR) system that enables two people in distant places to share MR space. Challenging issues to realize such an MR sys...
124
Voted
NCA
2007
IEEE
15 years 6 months ago
2007
IEEE
We present FRAC, a Framework for Role-based Access Control in network file systems. FRAC is a reference monitor that controls the message flow between file system clients and s...
101
click to vote
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...