1494 search results - page 224 / 299 » Monitored Software Components - A Novel Software Engineering... |
KBSE
2006
IEEE
14 years 3 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
PLDI
2006
ACM
14 years 3 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...
MUM
2005
ACM
14 years 2 months ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...