9503 search results - page 360 / 1901 » Authenticated System Calls |
232
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
201
click to vote
TASE
2008
IEEE
16 years 2 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
198
click to vote
TASE
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
195
click to vote
DEEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Supplier relationship management (SRM) is an important contributor to a company’s efficiency and credibility. Although several ways are used to provide SRM functionality, these a...
192
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The paper proposes a new multiplexing scheme for the OFDM-based systems with significant coding gain and diversity gain, which is called Convolutional Multi-code Multiplexing ...