1180 search results - page 194 / 236 » Total Functional Software Engineering - Overview Paper |
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
DESRIST
2009
Springer
15 years 3 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
COBUILD
1998
Springer
15 years 3 months ago
1998
Springer
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
74
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...